Share this page!

Enter URL or ID to Unroll

You can paste full URL like: https://x.com/threadreaderapp/status/1644127596119195649
or just the ID like: 1644127596119195649

How to get URL link on X (Twitter) App

  1. On the Twitter thread, click on or icon on the bottom
  2. Click again on or Share Via icon
  3. Click on Copy Link to Tweet
  4. Paste it above and click "Unroll Thread"!
  5. More info at Twitter Help
Swarat Chaudhuri Profile picture
Swarat Chaudhuri
@swarat
Professor @UTCompSci. Automated Reasoning + Machine Learning + Formal Methods. #ICLR2024 Program Chair. Visiting Researcher at @GoogleDeepmind London.
Dec 23, 2021 • 16 tweets • 4 min read
We had a lot of fun writing this survey! Thank you, @rupakmajumdar, for inviting us to write this.

You can find a free excerpt here: nowpublishers.com/article/Downlo…

Below, a 🧵on what neurosymbolic programming (NSP) is and why we think it's important. (1/n) NSP, as we view it, is the science of algorithms and data representations that use both neural and symbolic functions. There are two differences between the two kinds of functions... (2/n)
May 7, 2018 • 5 tweets • 2 min read
(1/5) I grew up in the Programming Languages research community and have recently begun attending Machine Learning conferences. One perspective that I don't see much in either community is that #MachineLearning is a form of #programming. (2/5) PL/formal methods researchers tend to think of programs as engineered objects, and study abstractions/tools for principled engineering. But the big assumption here is that you can formalize your goals and the world in which your programs run. That's not always realistic.