publicationAI4Math
Learning an Effective Premise Retrieval Model for Efficient Mathematical Formalization
Published in 2nd AI for Math Workshop @ ICML 2025. Hornoable Mention Award.
Premise SelectionLeanInformation Retrieval
Publication
Publication metadata validated with required arXiv links.
1 entries