An emerging area in computer science that bridges deep learning and programming languages for scientific discovery. Funded by @NSF Grant 1918839.
Joined August 2022
- Tweets26
- Following0
- Followers256
- Likes8
Neurosymbolic Programming for Science retweeted
Do you think @ChatGPTapp can do great visualizations? @IsilDillig has a better idea: @neurosym AI 😉 great talk/work! – at Salem, MA
Neurosymbolic Programming for Science retweeted
The @neurosym summer school is off to a great start!
In the morning, @atharva_sehgal, @akavidemic, and I gave the first part of our tutorial on neurosymbolic programming. Slides at drive.google.com/file/d/1lgk….
Now @AI4Code is telling us about the Scallop framework for neurosymbolic relational programming: scallop-lang.org/.
Neurosymbolic Programming for Science retweeted
Exciting to be hosting our second edition of the @neurosym summer school 2024! We will be presenting the state of the art techniques in the field, including programming language models. @swarat is kicking off the event with the first workshop! – at Salem, MA
Neurosymbolic Programming for Science retweeted
Join us for our second @neurosym summer school 2024 to be held at Salem, Massachusetts June 10-12 a historic and cultural town near Boston. Applications due May 6th! neurosymbolic.org/summerscho…
Neurosymbolic Programming for Science retweeted
Save the date! Join us for our first workshop on computational advances for scientific discovery and interpretability at @MIT 2024! To be held on February 1st and 2nd 2024 at @MIT_CSAIL.
Apply here: forms.gle/AZ2CyABrTPiW8o3G6
Full Program: scientificdiscovery.mit.edu
Bridging Informal and Formal Mathematical Reasoning with Neural Language Models
youtube.com/watch?v=0T8gsXZq…
We are proud supporters of the Tapia conference 2023 @cmdit tapiaconference.cmd-it.org/ please join us at the conference to learn more about our diversity initiatives in @neurosym programming!
Moving Beyond the First Portrait of Our Milky Way’s Black Hole by Leveraging Underlying Structure @klbouman
youtu.be/kt3L50AngAE
Understanding the Visual World Through Naturally Supervised Code @jiajunwu_cs
youtu.be/73ZgwLVP99c
Better learning through Programming Languages - Speaker: Prof. Armando Solar-Lezama (MIT)
youtu.be/N11Y3Gm0aWs
Programming with Neural Surrogates of Programs
youtube.com/watch?v=43t2PrOZ…
📢 Exciting news! The MIT AI for Code and Science Workshop - IAP 2023 videos and code are now published! 🔬👩💻
neurosymbolic.org/aiscience.…
Alex Renda, a PhD student in CSAIL and part of our @NSF @neurosym resesarch, will be presenting us his research on neural surrogates of programs. Join us!
Date/Time: 03/24/2023 - 430-530pm
Zoom link: mit.zoom.us/j/94278377805
In-person: CSAIL.
Tutorial: SuSLik: deductive synthesis of safe programs with pointers
Speakers: Nadia Polikarpova (UCSD)/Shachar Itzhaky (Technion)
youtu.be/KebEhQ9ios0
#neurosym tutorial 1a: Basics of Neurosymbolic Architectures is now live: youtube.com/watch?v=qCli4M38…
Neurosymbolic Programming for Science retweeted
Happy to share with all of you the first recording of our @MIT @neurosym for code and science 2023 workshop. Enjoy! Rest of the tutorials on chemistry, physics, code repair, and neuroscience coming out soon!
youtube.com/watch?v=QsYmu5eY…
Neurosymbolic Programming for Science retweeted
I am glad to announce that the tutorials and presentations of our first neurosymbolic programming summer school are now available to the public:
neurosymbolic.org/summerscho…
We hope these materials allow researchers to get up to speed in the field, and work with us in advancing it!
