Here I will discuss the frontier of research for formal reasoning via deep neural networks. I will highlight the most recent progress in the area, especially automated theorem proving and automated formalization of natural language text. Also, I will discuss the role of language models, contrastive training, retrieval augmented modeling, and reinforcement learning toward the long-term goal of creating a system that can formalize and verify theories starting from a large natural language corpus.
By Nathan Seiberg
By Vijay Balasubramanian
By Steve Zelditch
By Eva Silverstein
By Eliezer Rabinovici
By Alexander Gorsky
By Greg Moore
By Rémi Monasson
By David McAllester
By Luca Mazzucato
By Alexander Belavin
By Washington Taylor
By Anna Korba
By Anna Korba
By Anna Korba
