VCLA at TU Wien
@vclatuwien
Vienna Center for Logic and Algorithms at TU Wien @tuvienna #ERC #MSCA #FWF funded #LogiCS Phd & @adaalgorithmen * vcla.at
ID: 903330523900248064
http://www.vcla.at/ 31-08-2017 18:55:54
11,11K Tweet
2,2K Takipçi
880 Takip Edilen
🤩 It's time for #LogicLounge at CAV! Scott Shapiro from Yale Law School: "Realizing Leibniz's Dream" In this LogicLounge, Shapiro will explore how formal methods and LLMs can be utilized to realize Leibniz's dream of automated legal reasoning.🧑⚖️ 🔗 easychair.org/smart-program/…
👉 (Recorded) Talk at CAV | July 27: “Verifying Global Two-Safety Properties in Neural Networks with Confidence” 🖊️ by Anagha, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, and Georg Weissenbacher 🔗 arxiv.org/abs/2405.14400 🔗 tuwien.at/en/tu-wien/new…
Logic is an excellent form of mind-training because it involves a very particular way of thinking & focus on truth. How does it work & what are its limitations? Philosopher Tom Stoneham picks some great books for anyone who wants to learn more about logic. fivebooks.com/best-books/log…