BERT is not The Count: Learning to Match Mathematical Statements with Proofs

18 February 2023

Papers citing "BERT is not The Count: Learning to Match Mathematical Statements with Proofs"

3 / 3 papers shown

Title
CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning Joshua Ong Jun Leang Aryo Pradipta Gema Shay B. Cohen ReLM LRM ReCod 43 2 0 14 Oct 2024
ARL2: Aligning Retrievers for Black-box Large Language Models via Self-guided Adaptive Relevance Labeling Lingxi Zhang Yue Yu Kuan-Chieh Jackson Wang Chao Zhang VLM RALM 38 4 0 21 Feb 2024
MathBERT: A Pre-Trained Model for Mathematical Formula Understanding Shuai Peng Ke Yuan Liangcai Gao Zhi Tang AIMat 49 105 0 02 May 2021