A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers

21 May 2023

Papers citing "A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers"

4 / 4 papers shown

Title
Formalizing Complex Mathematical Statements with LLMs: A Study on Mathematical Definitions Lan Zhang Marco Valentino André Freitas 44 0 0 17 Feb 2025
Integrating Expert Knowledge into Logical Programs via LLMs Franciszek Górski Oskar Wysocki Marco Valentino André Freitas 66 0 0 17 Feb 2025
MathBERT: A Pre-Trained Model for Mathematical Formula Understanding Shuai Peng Ke Yuan Liangcai Gao Zhi Tang AIMat 41 104 0 02 May 2021
Probing Classifiers: Promises, Shortcomings, and Advances Yonatan Belinkov 224 402 0 24 Feb 2021