Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2305.12563
Cited By
A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers
21 May 2023
Jordan Meadows
Marco Valentino
Damien Teney
André Freitas
Re-assign community
ArXiv
PDF
HTML
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
1