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.
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
🚨 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
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
We are hiring!
Two fully-funded PhD positions in Assured Autonomous Systems @chalmersuniv. For more information see the link below:
https://t.co/MT2ELmWxiz
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
#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
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🤞
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
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
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
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
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
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)!
#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
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!
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