Guy Van den Broeck
guyvdb.bsky.social
🎓 CS Prof at UCLA 🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI https://web.cs.ucla.edu/~guyvdb/
👤 Joined on 05 October 2023
2726
Followers
813
Following
7
Total Posts
📜 Kullanıcı Geçmişi
- 05 Eki 2023, 21:38
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@guyvdb.bsky.social - 13 Kas 2023, 00:09
🔄 Profil bilgileri güncellendi
❤️ Beğendiği Gönderiler
Happy GRFP letter day for all those who celebrate!
Show Post
The idea of a machine that mechanistically generates true theorems goes back to Hilbert 100 years ago. People lost interest when Gödel proved it was impossible to generate all of them (true things outnumber proofs) but that never implied the machine wouldn't produce a whole lot of them.
Show Post
Oh my. This is spectacular. sinceyouarrived.world/taken
Show Post
Acknowledgements: - Guy (web.cs.ucla.edu/~guyvdb/) had the idea to implement trai and he helped me vibe-code the first version. - A bunch of excellent folks (Vagos, Ezri, Di, Grigoris, Georgios, and Calvin) have done most of the work on try
Show PostTrai builds on try (github.com/binpash/try) a system we built that allows you to do any changes to your file system without committing them (try will be presented at OSDI 26).
Show Post