research
∙
07/19/2023
Generating Mathematical Derivations with Large Language Models
The derivation of mathematical results in specialised fields using Large...
research
∙
05/21/2023
A Symbolic Framework for Systematic Evaluation of Mathematical Reasoning with Transformers
Whether Transformers can learn to apply symbolic rules and generalise to...
research
∙
05/30/2022
A Survey in Mathematical Language Processing
Informal mathematical text underpins real-world quantitative reasoning a...
research
∙
01/12/2022
PhysNLU: A Language Resource for Evaluating Natural Language Understanding and Explanation Coherence in Physics
In order for language models to aid physics research, they must first en...
research
∙
03/24/2021