Share:
  • Title:Tony Wu - Autoformalization with Large Language Models - IPAM at UCLA
  • Duration: 54:32
  • Plays: 2.3K views
  • Published: 1 year ago
Download MP3
Download MP4


Simillar Videos

Soft Skills and Math Skills Needed For Research Success - RIPS Summer Program at UCLA▶️ 1:39
Soft Skills And Math Skills Needed For Research Success - Rips Summer Program At Ucla 2.3K views • 10 months ago
Michael Levin - Non-neural intelligence: biological architecture problem-solving in diverse spaces▶️ 59:42
Michael Levin - Non-neural Intelligence: Biological Architecture Problem-solving In Diverse Spaces 2.3K views • 3 weeks ago
Tom Griffiths - Understanding human intelligence through human limitations - IPAM at UCLA▶️ 55:11
Tom Griffiths - Understanding Human Intelligence Through Human Limitations - Ipam At Ucla 2.3K views • 3 weeks ago
Polyplane at IPAM at UCLA▶️ 0:31
Polyplane At Ipam At Ucla 2.3K views • 9 months ago
Patrick Massot - Formal mathematics for mathematicians and mathematics students - IPAM at UCLA▶️ 54:44
Patrick Massot - Formal Mathematics For Mathematicians And Mathematics Students - Ipam At Ucla 2.3K views • 1 year ago