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
Welcome to my blog
TimeZone
Blogs, publications and projects related to AI, mathematics and various other fields.
Blog
Notes, essays, and research updates.
Publications
Academic papers and preprints.
Projects
Research software and collaborations.
Search
Find entries across the static registry.