About
I do research at NVIDIA. Previously I worked on post-training at Nexusflow, where I was a core contributor to Athene-V2-Chat, Athene-V2-Agent, and Athene-V1.
Notes
Automated olympiad solving: towards a roadmap (May 14, 2024)
An exact parser from natural language math into logical forms (May 7, 2024)
An exploratory improvement operator for a forward-chaining prover (May 7, 2024)
A logical language for theorem proving and geometry solving (May 6, 2024)
Contact
[svefganzr]@[svefganzr][ynfganzr].arg