🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

I will be at #NeurIPS2024 Penn Computer and Information Science is hiring faculty in AI including Trustworthy AI, happy to chat

Looking forward to give a talk on "Compositional Reinforcement Learning" at Compositional Learning workshop at #NeurIPS2024 on Sunday

Stop by on Thursday evening poster session at #NeurIPS2024 to learn about our work on how to integrate black box components in learning pipelines

Snapshots from #NeurIPS2024 in Vancouver. This year, over 40 Penn researchers participated, showcasing their work ranging from deep learning, generative models, AI ethics, medical image analysis, and more. 🎉Congratulations! Center for Safe, Explainable, and Trustworthy AI NeurIPS Conference

Having a great time at Shonan meeting on Trusted Automatic Programming, learning how LLM agents can be effective in many SE tasks

Logicbreaks is a step towards understanding how logical reasoning works in transformers, and will be presented at #ICLR2025

Timely topic, great attendees, now back to Penn

Consider submitting to Conference on Neurosymbolic Systems to be held at Penn in late May neus-2025.github.io

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

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.

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!

ASSET Center welcomes Meena Jagadeesan on Wednesday, February 5th! Can’t wait to hear more about steering machine learning ecosystems!

It was great to host NSF workshop to bring together many folks working to make AI safe and trustworthy #SupportNSF

Honored to be highlighted in NSF CISE monthly newsletter, and grateful for the support from U.S. National Science Foundation to do basic research over the years #SupportNSF

Congratulations to Swarat Chaudhuri (PhD, CIS@Penn 2007) for this wonderful honor from Guggenheim Foundation gf.org/stories/announ…

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.

Meet Prof. Loris D'Antoni!🙌  A first-gen student from Italy to UC San Diego 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! Anton Xue

Excited that Phillip Hilliard (co-advised with Rajeev Alur) 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.

Looking forward to discuss the promise of neurosymbolic approaches to trustworthy AI at U.S. National Science Foundation CISE nsf.gov/events/neurosy…