Swarat Chaudhuri
swarat.bsky.social
Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
👤 Joined on 13 November 2024
1254
Followers
449
Following
29
Total Posts
📜 Kullanıcı Geçmişi
- 13 Kas 2024, 22:43
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@swarat.bsky.social
🚫 Blokladığı Kullanıcılar
❤️ Beğendiği Gönderiler
A simulator is a core scientific object. It asserts that we can identify what the salient properties of a system are and model them. This contrasts with purely data driven approaches which at their core assert that modeling is intractable
Show Post
We propose Neurosymbolic Diffusion Models! We find diffusion is especially compelling for neurosymbolic approaches, combining powerful multimodal understanding with symbolic reasoning 🚀 Read more 👇
Show Post
AlphaEvolve was developed by our wonderful team working on AI for algorithm discovery. On BlueSky: @emidup.bsky.social @swarat.bsky.social
Show PostWe’ve only scratched the surface of possible use cases of AlphaEvolve I’m looking forward to many more applications across the sciences and computational problems
Show PostAlphaEvolve advanced over 10 open problems across Maths. But one is particularly precious to me: It found the first improvement after 56 years to how fast we can multiply 4x4 matrices 🤯 (with complex number entries) And it did so by discovering a sophisticated search algorithm
Show Post