Learning an Effective Premise Retrieval Model for Efficient Mathematical Formalization

Yicheng Tao, Haotian Liu, Shanwen Wang +1

Formalized mathematics has recently garnered significant attention for its ability to assist mathematicians across various fields. Premise retrieval, as a common step in mathematic…