Login / Signup
A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers.
Jordan Meadows
Marco Valentino
Damien Teney
André Freitas
Published in:
NAACL-HLT (2024)
Keyphrases
</>
main contribution
artificial intelligence
meta level
knowledge base
lightweight
logical framework
database
machine learning
case study
multiscale
theoretical framework
conceptual framework
computer algebra systems