ResearchTrend.AI
Mathematical reasoning and the computer

Mathematical reasoning and the computer

Kevin Buzzard
ArXiv (abs)PDFHTML

Papers citing "Mathematical reasoning and the computer"

2 / 2 papers shown
Title
APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
Azim Ospanov
Farzan Farnia
Roozbeh Yousefzadeh
LRM
147
0
0
09 May 2025
Machine Learning meets Number Theory: The Data Science of Birch-Swinnerton-Dyer
Machine Learning meets Number Theory: The Data Science of Birch-Swinnerton-Dyer
Laura Alessandretti
Andrea Baronchelli
Yang-Hui He
43
25
0
04 Nov 2019