Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2312.08472
Cited By
AutoNumerics-Zero: Automated Discovery of State-of-the-Art Mathematical Functions
13 December 2023
Esteban Real
Yao Chen
Mirko Rossini
Connal de Souza
Manav Garg
Akhil Verghese
Moritz Firsching
Quoc V. Le
E. D. Cubuk
David H. Park
Re-assign community
ArXiv
PDF
HTML
Papers citing
"AutoNumerics-Zero: Automated Discovery of State-of-the-Art Mathematical Functions"
1 / 1 papers shown
Title
Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving
Sara Rajaee
Kumar Pratik
Gabriele Cesa
Arash Behboodi
OffRL
LRM
56
0
0
12 Mar 2025
1
