Christopher Hahn

Computer Scientist, Google DeepMind

[Sundar Pichai @sundarpichai]

1/ Gemini 2.5 is here, and it’s our most intelligent AI model ever.

Our first 2.5 model, Gemini 2.5 Pro Experimental is a state-of-the-art thinking model, leading in a wide range of benchmarks – with impressive improvements in enhanced reasoning and coding and now #1 on @lmarena_ai by a significant margin. With a model this intelligent, we wanted to get it to people as quickly as possible. 

Find it on Google AI Studio and in the @geminiapp for Gemini Advanced users now – and in Vertex in the coming weeks. This is the start of a new era of thinking models – and we can’t wait to see where things go from here.

[David Andre @dandre]

Since the beginning of my scientific career, I’ve been interested in invention machines -- using the power of large scale parallel computation to automatically invent or design solutions that humans might not imagine themselves. 

One of our teams at X, the moonshot factory, recently presented a paper demonstrating the progress they’ve made in this space. Read about the work here: https://t.co/4NxoITTE5V

[garrett honke @garretthonke]

🚨 I'm hiring grad students for our AI Residency program. Work with us to train and evaluate LLMs, build state-of-the-art language systems, and launch these systems as part of a product that does *real work* and saves people time. https://t.co/nhWvDK00Ak

[Joël Niklaus @joelniklaus]

Soon I am finishing my PhD in #legal #NLP and I am going on the job market this fall! Please DM if you see any intriguing opportunities.

[David Andre @dandre]

Heading to Amsterdam for the World AI Summit next week, where I’ll share how x, the moonshot factory is bringing AI to the physical world to help solve some of the world’s biggest challenges. @theteamatx @worldsummitai #WorldSummitAI #WSAI #AIBrains #BYOBrains

[Hazem Torfah @HazemTorfah]

We are hiring!
Two fully-funded PhD positions in Assured Autonomous Systems @chalmersuniv. For more information see the link below:

https://t.co/MT2ELmWxiz

[Alexander Weinert @alexdweinert]

Know anyone looking for an internship or thesis with a background in ML and interest in formal methods? We offer to work on solving parity games via graph neural networks @DLR_software, either as a student assistant, intern, or for a thesis. https://t.co/6yMetfCooM

[Christian Szegedy @ChrSzegedy]

Many ML researchers assume and often state in abstracts that self attention *needs* quadratic memory.

It does not.

https://t.co/Us5QaYSeuY

[Michael Galkin @michael_galkin]

#ICLR2021 ends tomorrow so I compiled a short overview of cool #KnowledgeGraph related papers on Neural Reasoning, Temporal Reasoning, Relational Learning, and a bit of Complex QA! Brew some ☕️ and have a nice weekend reading 😊
https://t.co/O5dIDbBKBw

[Jana Hofmann @jana_tweets_cs]

Today we have the first lecture of this year’s Programming 1, the main lecture for our new CS students. All online (but still live). >500 students waiting for us... Fingers crossed all goes well🤞

[Jana Hofmann @jana_tweets_cs]

If you need to fill five minutes: check out my talk "The Hierarchy of Hyperlogics: A Knowledge Reasoning Perspective" which I gave at KR2020.
(based on joint work with @ChrisHahnCS @NorineCoenen @FinkbeinerBernd)

https://t.co/fL0ZKFQTlA

[Jana Hofmann @jana_tweets_cs]

Check out @ChrisHahnCS’s talk at CAV tomorrow at 9:15am PDT (18:15 in central europe)! It’s about our joint work on synthesis of even more expressive hyperproperties. #cav20

[delian @zebulgar]

Omfg, ok so I fed GPT3 the first half of my

"How to run an Effective Board Meeting" (first screenshot)

AND IT FUCKIN WROTE UP A 3-STEP PROCESS ON HOW TO RECRUIT BOARD MEMBERS THAT I SHOULD HONESTLY NOW PUT INTO MY DAMN ESSAY (second/third screenshot)

IM LOSING MY MIND

[Norine @NorineCoenen]

Two amazing computer science conferences (ICALP and LICS 2020) are being held at the moment @SIC_Saar (until Saturday). You can find the program here https://t.co/xO4z8eCaZX and watch the talk videos and Q&A livestreams here https://t.co/Zb5jZ1izMt

[Christopher Hahn @ChrisHahnCS]

...

[Aaron Reichlin-Melnick @ReichlinMelnick]

This is bad. ICE just told students here on student visas that if their school is going online-only this fall, the students must depart the United States and cannot remain through the fall semester. https://t.co/8DteVzexLB

[Moshe Vardi @vardi]

Math :-)

[Christopher Hahn @ChrisHahnCS]

Genuinely happy to see no registration fee this year. Really glad to be a part of this years CAV, what great community. Tune in to my talk and our Q&A session (with @jana_tweets_cs)!

[CAV @confCAV]

#cav20 registration link is now open, thanks all for the patience! Registration is free. Online program and instructions for attending to follow very soon.
https://t.co/efuLLjwncz

[Andreas Zeller @AndreasZeller]

What's it like to be a #PhD student in #Germany? You can get paid, and well. You can afford a car, an apartment, and provide for a family. You may work with great advisors at great institutions. And the food... well, the food. Read on!

[Jana Hofmann @jana_tweets_cs]

Our paper "Realizing Omega-regular Hyperproperties" got accepted at CAV 2020! We study the expressiveness and realizability problem of HyperQPTL, which combines hyperpoperties with omega-regular languages.

https://t.co/6at35qTcI1

[Christopher Hahn @ChrisHahnCS]

new version "Transformers Generalize to the Semantics of Logics": https://t.co/HzB3Ox4V7g

[DeepAI @DeepAI]

Teaching Temporal Logics to Neural Networks
https://t.co/y8nBJgujDI
by Bernd Finkbeiner et al. including @MarkusNRabe
#DeepLearning #NaturalLanguageProcessing