Publications

Axiom-Aware FunSearch for Non-Constructive Mathematics

• • Max Esposito
  • Besart Shyti
• 2025
• NeurIPS 2025