ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2305.12563
  4. Cited By
A Symbolic Framework for Evaluating Mathematical Reasoning and
  Generalisation with Transformers

A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers

21 May 2023
Jordan Meadows
Marco Valentino
Damien Teney
André Freitas
ArXivPDFHTML

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
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
Integrating Expert Knowledge into Logical Programs via LLMs
Franciszek Górski
Oskar Wysocki
Marco Valentino
André Freitas
63
0
0
17 Feb 2025
MathBERT: A Pre-Trained Model for Mathematical Formula Understanding
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
Probing Classifiers: Promises, Shortcomings, and Advances
Yonatan Belinkov
224
402
0
24 Feb 2021
1