My mathematical background is especially strong in differential geometry, with extensive university notes developed over years of study. More recently, I have been experimenting with Lean and machine-checked proofs.
I am interested in joining a team that combines Lean or formal verification, mathematical reasoning, and reinforcement-learning-based model training— including GRPO and adjacent approaches to training reasoning models.