Mathematical reasoning and the computer

11 February 2025

Papers citing "Mathematical reasoning and the computer"

2 / 2 papers shown

Title
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 Laura Alessandretti Andrea Baronchelli Yang-Hui He 45 25 0 04 Nov 2019