Astra produced an explicit non-sofic group with a proof checkable in Lean — AI-generated and mechani Barkha Adlakha 2 months ago Play Download
A brief introduction to sofic entropy theory – Lewis Bowen – ICM2018 Rio ICM2018 7 years ago Play Download
Non-amenable groups admitting no sofic approximation by expander graphs - Gabor Kun Institute for Advanced Study 5 years ago Play Download
Sebastián Barbieri: The Lanford-Ruelle theorem for sofic groups UT Groups & Dynamics 3 years ago Play Download
OpenAI's Non-sofic groups (Alon Dogon with intro by Benjamin Weiss) Midrasha OnGroups 2 months ago Play Download
Fundamental Groups of Algebraic Varieties and the Shafarevich Conjecture - Benjamin Thomas Bakker Institute for Advanced Study 9 months ago Play Download
#shorts 7th SFG & 160th putting on a show SOFIC #sofic #specialoperati Jiang Joyce 4 years ago Play Download
David Gao - Sofic actions on sets and graphs - IPAM at UCLA Institute for Pure & Applied Mathematics (IPAM) 1 year ago Play Download
Andreas Thom - Graph limits and applications to group theory I. HUN-REN Rényi Intézet 10 years ago Play Download
