Seminars & Colloquia Calendar
Advancing Theorem Proving with AI: The Power of Large Language Models
Amitayush Thakur
Location: Zoom: https://rutgers.zoom.us/j/96753161671?pwd=SzV0OUsrUUpVT0FITVhoQ3doaWkwdz09
Date & time: Friday, 23 February 2024 at 4:00PM - 5:00PM
Abstract: This presentation explores the dynamic fusion of language models with the field of automated theorem proving, stretching across both general mathematics and software verification landscapes. It highlights the transformative potential of large language models (LLMs) to redefine formal mathematics, by framing theorem proving as a nuanced task of sequence generation. We will dive into the latest breakthroughs, showcasing projects like GPT-f, PACT, DSP, ReProver, and AlphaGeometry. A special focus will be placed on COPRA, an innovative methodology that empowers LLMs to autonomously craft formal proofs, leveraging the subtleties of in-context learning without needing domain-specific training. This discussion underscores the crucial synergy between LLMs and interactive theorem provers (ITPs), setting the stage for new approaches that involve close interactions between ITPs and LLMs.
Eilidh McKemmie -Charles Weibel Organizer's Page
Narek Hovsepyan and Ewerton Rocha Vieira Organizer's page
Ziming Shi, Sagun Chanillo, Xiaojun Huang, Chi Li, Jian Song Seminar website Old seminar website
Sepehr Assadi Seminar webpage
Jeffry Kahn, Bhargav Narayanan, Jinyoung Park Organizer's webpage
Robert Dougherty-Bliss and Doron Zeilberger --> homepage
Paul Feehan, Daniel Ketover, Natasa Sesum Organizer's webpage
Lev Borisov, Emanuel Diaconescu, Angela Gibney, Nicolas Tarasca, and Chris Woodward Organizer's webpage
Hong Chen Seminar webpage
Fanxin Wu and Nkhalo Malawo Organizer's website
James Holland; Organizer website
Organizers: Maxime Van de Moortel and Avy Soffer. Organizer's Page
Yanyan Li, Zheng-Chao Han, Jian Song, Natasa Sesum Organizer's Webpage
Organizer: Luochen Zhao
Yanyan Li, Zheng-Chao Han, Natasa Sesum, Jian Song Organizer's Page
Lisa Carbone, Yi-Zhi Huang, James Lepowsky, Siddhartha Sahi Organizer's webpage
Simon Thomas website
Kasper Larsen, Daniel Ocone and Kim Weston Organizer's page
Joel Lebowitz, Michael Kiessling
Yanyan Li, Dennis Kriventsov Organizer's Webpage
Alex V. Kontorovich, Vlada Sedláček seminar website
Stephen D. Miller
Organizers: Yanyan Li, Z.C. Han, Jian Song, Natasa Sesum
Kristen Hendricks, Xiaochun Rong, Hongbin Sun, Chenxi Wu Organizer's page
Fioralba Cakoni Seminar webpage
- Show events from all categories
Special Note to All Travelers
Directions: map and driving directions. If you need information on public transportation, you may want to check the New Jersey Transit page.
Unfortunately, cancellations do occur from time to time. Feel free to call our department: 848-445-6969 before embarking on your journey. Thank you.