Large Language Models and Neural Methods in Autoformalisation - Challenges and Complementary Approaches
Offered By: Hausdorff Center for Mathematics via YouTube
Course Description
Overview
Explore the role and challenges of large language models and neural methods in autoformalisation during this 43-minute conference talk moderated by Mateja Jamnik and Wenda Li. Gain insights into the potential complementary relationship between neural approaches and symbolic methods for parsing natural languages, with a focus on expert input in this field. Delve into the complexities of integrating artificial intelligence techniques in formal reasoning and mathematical proofs.
Syllabus
Workgroup - Moderation: Mateja Jamnik and Wenda Li
Taught by
Hausdorff Center for Mathematics
Related Courses
Introduction to Artificial IntelligenceStanford University via Udacity Probabilistic Graphical Models 1: Representation
Stanford University via Coursera Artificial Intelligence for Robotics
Stanford University via Udacity Computer Vision: The Fundamentals
University of California, Berkeley via Coursera Learning from Data (Introductory Machine Learning course)
California Institute of Technology via Independent