About
I’m a machine learning engineer at Nexusflow. I worked on the post-training of Athene-70B, Athene-V2-Chat, and Athene-V2-Agent.
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