Home
News
People
Publications
Seminar
Courses
Events
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
General Topics on August 14, 2024
Paper Venue
Title of the Presentation
Presenter
Time Slot
ICLR 2024
Don’t Trust: Verify – Grounding LLM Quantitative Reasoning with Autoformalization
Yutao Sun
10:00-10:30
–
Autoformalization with Large Language Models
Yutao Sun
10:30-11:00
Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
Presenter: Yutao Sun Authors: Jin Peng Zhou, Charles Staats, Wenda Li, Christian Szegedy, Kilian Q. Weinberger and Yuhuai Wu Abstract: Large language models (LLM), such as Google’s Minerva and OpenAI’s GPT families, are becoming increasingly capable of solving mathematical quantitative reasoning problems.
Aug 14, 2024
Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
Presenter: Yutao Sun Authors: Yuhuai Wu, Albert Qiaochu Jiang, Wenda Li, Markus Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy Abstract: Autoformalization is the process of automatically translating from natural language mathematics to formal specifications and proofs.
Aug 14, 2024
Cite
×