Search Test Information Space

Found 5 bookmarks

Custom sorting

Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2

View PDF

#Mathematics #Geometry #Problem-Solving #DeepMind #Large Language Models #Paper #PDF #Symbolic Reasoning

·arxiv.org·Feb 7, 2025

Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2

PatternBoost: Constructions in Mathematics with a Little Help from AI

View PDF

#Mathematics #Transformers #AI #Paper #PDF

·arxiv.org·Nov 6, 2024

PatternBoost: Constructions in Mathematics with a Little Help from AI

A Careful Examination of Large Language Model Performance on Grade School Arithmetic

View PDF

#Large Language Models #Mathematics #Reasoning #Benchmark #Paper #PDF

·arxiv.org·May 2, 2024

A Careful Examination of Large Language Model Performance on Grade School Arithmetic

Llemma: An Open Language Model For Mathematics

#Mathematics #Large Language Models #Paper #PDF #EleutherAI

·arxiv.org·Oct 17, 2023

Llemma: An Open Language Model For Mathematics

Magnushammer: A Transformer-based Approach to Premise Selection

#Mathematics #Machine Learning #Paper #PDF

·arxiv.org·Mar 20, 2023

Magnushammer: A Transformer-based Approach to Premise Selection