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"

4 / 4 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 45 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
An Investigation of LLMs' Inefficacy in Understanding Converse Relations Chengwen Qi Bowen Li Binyuan Hui Bailin Wang Jinyang Li Jinwang Wu Yuanjun Laili 35 11 0 08 Oct 2023
MathBERT: A Pre-Trained Model for Mathematical Formula Understanding Shuai Peng Ke Yuan Liangcai Gao Zhi Tang AIMat 49 107 0 02 May 2021