Rajeev Alur
@RajeevAlur
Professor of Computer Science at @Penn, researcher in Formal methods, Programming languages, Safe AI, Cyber-physical systems
Besides traditional research papers, we also invite tutorials, surveys, and a special disruptive ideas track where five selected entries will receive $100K each of seed funding from DARPA.
The goal of this meeting is to bring together researchers in AI/ML + PL/FM and AI/ML + CPS/Control, all interested in developing neurosymbolic solutions to challenging system design problems
The goal of this meeting is to bring together researchers in AI/ML + PL/FM and AI/ML + CPS/Control, all interested in developing neurosymbolic solutions to challenging system design problems
Consider submitting to Conference on Neurosymbolic Systems to be held at Penn in late May neus-2025.github.io
Congratulations to @vardi and the Intel and IBM teams! This work was really important for adoption of formal specifications in hardware design tools
And the CAV award goes to... 🥁🥁🥁 Roy Armoni, Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Limor Fix, John Havlicek, Avner Landver, Hiller Miller, and Moshe Vardi 🏆 INDUSTRIAL TEMPORAL LOGIC SPECIFICATION MECHANISMS 🏆 @vardi
Start planning for FLoC next July in Lisbon!!
FLoC brings together brings together the world's leading researchers in logic and computer science. 📍 Location: ISCTE, Lisbon, Portugal 📆 Dates: July 20-23, 26-29 (Conferences), July 18-19, 24-25 (Workshops), July 13-17 (FoPSS School) 🌐 Website: floc26.org
Very much enjoyed advocating for symbolic reasoning for Trustworthy AI in my NSF CISE lecture, the recording is now available at nsf.gov/events/neurosy…
Congratulations to @_ziyang_ for his outstanding thesis that advances theory, tools and applications of neurosymbolic AI, looking forward to his contributions as he sets up his own research group
Congratulations to Dr. Ziyang Li (@_ziyang_) on defending his dissertation today! Titled "Neurosymbolic Programming in Scallop: Design, Implementation, and Applications", this dissertation proposed Scallop, a unified programming system for combining the otherwise complementary…
Looking forward to discuss the promise of neurosymbolic approaches to trustworthy AI at @NSF CISE nsf.gov/events/neurosy…
Excited that Phillip Hilliard (co-advised with @RajeevAlur) will present work on adaptively processing stream queries with ML operations, in the aiDM workshop at SIGMOD in ~1 hour! The idea: under QoS/budget constraints, we should adaptively trade off accurate vs fast models.
Meet Prof. @lorisdanto!🙌 A first-gen student from Italy to @UCSanDiego CSE, he’s making code more accessible using formal methods + ML Off campus? He’s a surfer, climber, musician, magician!🏄🪄 Welcome to the team!🎉 cse.ucsd.edu/about/news/gre… #FacultySpotlight #FirstGen #CSE
Pot of gold at the end of obstacle course with conference submission deadlines: a PhD! Congratulations to Dr. Anton Xue! @AntonXue
We can’t wait to host the 2025 NeuS Conference here in Amy Gutmann Hall from May 28 - May 30! If you want to learn more or register for the event, please use the link neus-2025.github.io! Early registration will end May 15th.
The registration link is now live for the 2nd International Conference on Neuro-symbolic Systems (NeuS)! Join us in Philadelphia from May 28-30! 🔗 neus-2025.github.io/registration.h…
Congratulations to Swarat Chaudhuri (PhD, @PennCIS 2007) for this wonderful honor from Guggenheim Foundation gf.org/stories/announ…
Honored to be highlighted in NSF CISE monthly newsletter, and grateful for the support from @NSF to do basic research over the years #SupportNSF
It was great to host NSF workshop to bring together many folks working to make AI safe and trustworthy #SupportNSF
The @pennasset's @nsf Workshop on the Science of Safe AI brought together researchers to explore the future of AI safety. Watch the highlights in this video. @rajeevalur @cis_penn @pennengineers #SafeAI
ASSET Center welcomes @mjagadeesan25 on Wednesday, February 5th! Can’t wait to hear more about steering machine learning ecosystems!
If you are interested in neurosymbolic problems, and feel overwhelmed at ML conferences and abandoned at traditional CS conferences, you will find a home here!
Besides traditional research papers, we also invite tutorials, surveys, and a special disruptive ideas track where five selected entries will receive $100K each of seed funding from DARPA.
Consider submitting to Conference on Neurosymbolic Systems to be held at Penn in late May neus-2025.github.io
Timely topic, great attendees, now back to Penn
Shonan meeting 217 on Trusted Automatic Programming is currently underway in Japan this week! The discussions are buzzing with topics like Large Language Models, Agents, Verification, and the future of software. Exciting times ahead! 🇯🇵💻 #Programming #SoftwareDevelopment…
Logicbreaks is a step towards understanding how logical reasoning works in transformers, and will be presented at #ICLR2025
Happy to present our recent work: "Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference" 📝 Blog: debugml.github.io/logicbreaks/ 🧐 arXiv: arxiv.org/abs/2407.00075 🤖 Code: github.com/AntonXue/tf_lo…
Having a great time at Shonan meeting on Trusted Automatic Programming, learning how LLM agents can be effective in many SE tasks
