CIS Seminar: “Bridging Informal and Formal AI Reasoning”

Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia

Neural language models have opened a fascinating, flexible platform for reasoning in mathematics, programming, and beyond. This talk will explore the intersection of these models and the rigor of formal […]