Introducing GPT-4o, our new model which can reason across text, audio, and video in real time. It's extremely versatile, fun to play with, and is a step towards a much more natural form of human-computer interaction (and even human-computer-computer interaction):

Türk’e durmak yaraşmaz. ❤️🤍🇹🇷

working with a lot of people sucks

academic people are too ambitious about open-source llms

Introducing Alphatrans, a neuro-symbolic approach for translation and validation of "whole repository" of the large-scale real-world programs. Led by my amazing PhD student Ali at @IllinoisCDS and in collaboration with IBM Research Paper: arxiv.org/abs/2410.24117

Loris D'Antoni The entire publishing process requires a major overhaul in my view. Currently we spend months polishing the papers only to please the reviewers, who are frustrated because their recent papers were just rejected. We end up with "perfect" papers in POPL, PLDI, CAV, etc., which

life is hard