Learning an Effective Premise Retrieval Model for Efficient Mathematical Formalization
Published in 2nd AI for Math Workshop @ ICML 2025. Hornoable Mention Award.
publication · AI4Math · Premise Selection, Lean, Information Retrieval
Find entries across the static registry.
All types
Categories
Tags
1 results
Published in 2nd AI for Math Workshop @ ICML 2025. Hornoable Mention Award.
publication · AI4Math · Premise Selection, Lean, Information Retrieval