Announcement_2

I give a Keynote at the 2026 AAAI Bridge Program on Logic & AI as a invited speaker and panelist. More information is here. You can watch the recording here.