Axiom
@axiommathai
The Starting Point for Reasoning
加入 September 2025
45 正在關注 16.2K 粉絲
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!
顯示更多
