🔥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

1/🧵Excited to share CLEVER — a new benchmark for end-to-end verified code generation in Lean. Can we go from natural language to a formally verified Lean program? CLEVER puts this to the test. 📄 arxiv.org/abs/2505.13938 💻 github.com/trishullab/cle…

Excited for the CLEVER Benchmark for verified code generation in Lean, led by Amitayush Thakur & team! 161 tasks! ✅ Fully verified — all correctness is machine-checked 📷 Leakage-resistant — specs are non-computable propositions, so models can't copy logic 🧠 Truly end-to-end

Jason Yang, Wenda Chu & team doing some awesome work in helping us better understand wetlab-in-the-loop guided diffusion for protein optimization.

It's Friday afternoon, and we’re packing for L4DC 2025 L4DC Conference next week 😎 Excited to share MS-HGNN — our take on bringing morphological symmetry into GNNs for legged robot dynamics. 🧵 (1/4) We bake both kinematics and morphological symmetry into the model → -

📣Introducing our latest work: Yet Another Quantization Algorithm! YAQA directly minimizes the KL divergence to the original model during rounding, cutting it by >30% over prior PTQ methods and giving an even closer model than Google’s QAT on Gemma! 🤯 arxiv.org/abs/2505.22988👇

VideoPrism is now available at: github.com/google-deepmin… :)

I’ll be presenting VADAR at #CVPR2025 on Saturday, June 14 from 17:00-19:00 at Poster 347! Come stop by & talk about 3D visual reasoning for LLMs and visual programming!! 👋👋

I had to cancel my trip to #CVPR2025 because I caught the stupid flu 🙃 So sad to miss everyone! But if you are in Nashville go check out Damiano's project tomorrow on improving 3D spatial reasoning from a single image with the power of LLMs 🌟 #CVPR2025 Damiano Marsili

First time receiving a figurine of myself! Thanks so much Chu Xin (Cloris) Cheng!

Honored to receive the mentoring award from the Grad Student Advisory Board at Caltech EAS. Thanks to the students who nominated me, especially Sabera Talukder!

Incredibly well deserved, Yisong Yue is simply the best! Also huge shout out to Hongkai Zheng & Raul Astudillo who also wrote wonderful letters and the rest of the Yue Lab Caltech + friends who endorsed 🦫🧡

Today, I’m launching a deeply personal project. I’m betting $100M that we can help computer scientists create more upside impact for humanity. Built for and by researchers, including Jeff Dean & Joelle Pineau on the board, Laude Institute catalyzes research with real-world impact.

Inspired time Laude Institute, huge congrats to Andy Konwinski on the launch! Humbled to be asked to speak on the dos of impact research in front of such 🤩 researchers!! P.S. 👀 the where's waldo moment of my favorite +1 (Yisong Yue) being (I hope 😅) a proud academic dad 🪞📸

Collaboration is important for impactful work, but it is not enough! Impact comes from the collaboration between two types of people. The generators and discriminators (pun very much intended 😉). The generators dream big, swing for the fences, and don’t listen when they are

We're excited to share our latest research, focusing on better understanding and navigating dynamic real-world environments for autonomous systems. We introduce STRIDE, a new spatio-temporal road image dataset, & TARDIS, a world model that leverages it. tera-ai.com/blog/tardis

Sharing our first research paper today! Product announcements to come over the next few months. Join us.

You’ve generated 10k concepts with your favorite XAI method -- now what? Many concepts you’ve found are fairly obvious and uninteresting. What if you could 𝑠𝑢𝑏𝑡𝑟𝑎𝑐𝑡 obvious concepts away and focus on the more complex ones? We tackle this in our latest preprint!