8th Conference on Artificial Intelligence and Theorem Proving (AITP 2023)

Activity: Participating in or organising an event types › Participation in conference

Description

Panelist on the topic: The "(L)LM revolution", its relation to A(G)I and possibly math, science, theorem proving/formalization, etc.