General Topics on August 14, 2024

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.

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.