📢Join us TODAY, 4/11 at 12pm to see Deans' Distinguished Visiting Professor, Mayur Naik (Mayur Naik) of Penn Engineering & Penn Computer and Information Science, present his seminar, "Large Language Models: Challenges & Opportunities," at PennAITech! #PSOMDDVP tinyurl.com/3xtny6c2

The Neurosymbolic Programming for Science summer school is off to a great start! In the morning, Atharva Sehgal, Kavi Gupta, and I gave the first part of our tutorial on neurosymbolic programming. Slides at drive.google.com/file/d/1lgk5W3…. Now Mayur Naik is telling us about the Scallop framework for

Introducing neural programming: end-to-end learning of neural models composed with any black-box program, even those that call GPT-4. Paper: arxiv.org/abs/2406.06246 Blog: debugml.github.io/neural-program… Code: github.com/alaiasolkobres…

Exciting opportunity for postdoctoral candidates interested in pursuing a career in AI for Medicine! You will get to work with a multi-disciplinary team including myself, Rajeev Alur, Eric Wong, Ravi B. Parikh, Qi Long, Sameed Khatana, MD MPH, Gary Weissman, and many others.

Our team (w/Dale, Bo Dai, Sherry Yang + others) at Google DeepMind is looking to hire. If you are interested in foundation models+decision making, and making real-world impact through Gemini and cloud solutions, please consider applying through boards.greenhouse.io/deepmind/jobs/…

Incredibly honored to receive this award, thank you ACM SIGACT I am grateful to all my collaborators, students and colleagues from Penn Engineering and Penn Computer and Information Science

Its that time of the year again! I am recruiting PhD students Cornell Bowers Computing and Information Science for Fall 2025! Deadline: Dec 15, 2024. Looking for students interested in working at the intersection of Software Engineering and Machine Learning! Please apply and reach out! RT!

Super excited to finally share what I have been working on at OpenAI! o1 is a model that thinks before giving the final answer. In my own words, here are the biggest updates to the field of AI (see the blog post for more details): 1. Don’t do chain of thought purely via