BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Will mathematical theorem proving be solved by scaling laws? - Wen
 da Li (University of Edinburgh)
DTSTART:20250613T091500Z
DTEND:20250613T101500Z
UID:TALK231238@talks.cam.ac.uk
DESCRIPTION:Recent advances in generative models and reinforcement learnin
 g have enabled automatic theorem proving beyond the capabilities of classi
 cal methods. Scaling up data\, model size\, and inference compute has unde
 niably allowed us to prove more theorems. But is scaling alone enough to s
 olve mathematical theorem proving? If not\, what essential components migh
 t still be missing?
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR