Loading activity…
@regunivers
On the job market | PhD student @CarnegieMellon | Prev. mid- & post-training @ByteDanceSeed_, post-training @NVIDIAAI
AI
The creators say experts formalized the problems in Lean and built Leanimum-agent to compare models under one harness.
AI
The speaker shared slides from their talk at The Geometry of Machine Learning 2026, along with an arXiv link to the work discussed.
AI
A summary of FAR says the pipeline’s combinatorics pilot produced 1,050 claimed new resolutions and recommended 77 for expert review.
