Current

Workshop
Open for registration

AI for reasoning in formal mathematics

Workshop arranged by the CHAIR theme ´Large Language Models for Mathematics and Programming´.

Add to OutlookAdd to Google Calendar

Overview

Open for registration
Registration (Opens in new tab)

This workshop will bring together researchers at Chalmers and beyond to discuss new developments in AI and reasoning, such as large language models expanded with reasoning capabilities, and other methods for combining learning and reasoning.

Agenda

11.00 - 11.45 Mateja Jamnik (this is also a guest lecture in the Neuro-symbolic AI course - in room EC)

11.45 - 13.00 Lunch

All afternoon talks are in room EA:
13.00 - 13.30 Josef Urban
13.30 - 14.00 Vijay Ganesh
14.00 - 14.30 Sidhartha Gadgil 

14.30 - 15.00 Fika 

15.00 - 15.30 Natarjan Shankar
15.30 -16.00 Discussion on future directions in AI and reasoning

 

Location

EDIT building: Room EC before lunch, then room EA.

 

CHAIR Theme: Large Language Models for Mathematics and Software

Large language models, such as Chat-GPT, have demonstrated remarkable abilities to understand and generate human language. This theme explores their potential to contribute to mathematical reasoning and software creation, extending beyond traditional methods and potentially uncovering novel approaches and solutions.