6 citations · 8 across the 3 of their papers we have counts for
3 papers
cs.AI2025★ 1 cited
Aristotle: IMO-level Automated Theorem Proving
Tudor Achim, Alex Best, Alberto Bietti +20
We introduce Aristotle, an AI system that combines formal verification with informal reasoning, achieving gold-medal-equivalent performance on the 2025 International Mathematical O…
cs.LG2024★ 6 cited
CircuitVAE: Efficient and Scalable Latent Circuit Optimization
Jialin Song, Aidan Swope, Robert Kirby +4
Automatically designing fast and space-efficient digital circuits is challenging because circuits are discrete, must exactly implement the desired logic, and are costly to simulate…
cs.CL2023★ 1 cited
HelpSteer: Multi-attribute Helpfulness Dataset for SteerLM
Zhilin Wang, Yi Dong, Jiaqi Zeng +8
Existing open-source helpfulness preference datasets do not specify what makes some responses more helpful and others less so. Models trained on these datasets can incidentally lea…