Latest review note
Added verified GitHub profile and avatar; filled a short English bio from the public GitHub profile with topic match to DeepSeek-Prover.
Atlas / People / Detail
Researcher working on theorem proving and reinforcement learning.
Profile status: updated
Added verified GitHub profile and avatar; filled a short English bio from the public GitHub profile with topic match to DeepSeek-Prover.