Axiom
@axiommathai
The Starting Point for Reasoning
Joined September 2025
45 Following 16.2K Followers
June 27, Salt Lake City, @CarinaLHong will be there in person giving a talk at #STOC2026# AI for theory workshop.
Can AI do Theory?
Some of my friends are hosting a workshop on this topic at #STOC2026# in Salt Lake City
Speakers include Scott Aaronson, @CarinaLHong, @MarkSellke, David Woodruff, @SebastienBubeck, & Prabhakar Raghavan (@WittedNote)
Call for posters ddl: 5/29
Check it out!
Show more
