Exploring Recent LLMs
Talia Ringer discusses the team's exploration of more recent language models, including GPT Four, for proof generation. They are curious about the effect of pretraining on mathematics and the surprising topic breakdown of successful proofs.In this clip
From this podcast
The Gradient
Talia Ringer: Formal Verification and Deep Learning
Related Questions