The Stanford Artificial Intelligence Laboratory (SAIL), a leading #AI lab since 1963. ⛵️🤖 Emmy-winning video: https://xitter.cf/t.co/lV9smZTC1m

Stanford, CA
Joined November 2018
SAIL is live with EMNLP in Budapest! Congrats to @cyruszzhou on winning the outstanding paper award!🏆 ai.stanford.edu/blog/emnlp-2…
2
2
1
8
3,160
Stanford AI Lab retweeted
AI is now taking on some of the hardest open problems that scientists have posed. But research is broader than solving problems. Can AI also propose research questions that experts find genuinely interesting? We built After42 to find out. Experts judged 45 of its 135 final questions genuinely interesting, across mathematics, statistics, theoretical computer science, and physics, with wide variation across subfields. The key idea: develop questions by trying to solve them. We also asked whether AI can judge which questions are interesting. We find that model judges' top choices align with expert consensus but do not consistently capture individual experts' preferences. We release the expert-assessed questions as an open resource for researchers to discuss, refine, and pursue, as a step toward integrating AI into the broader research enterprise. after42.org
16
44
12
111
11,056
Stanford AI Lab retweeted
Chain-of-thought transformed AI reasoning, but it is limited to words. What's the physical-world analogue? Introducing Ψ-0.6, one model that reasons in *streams of thought*: words, depth, motion, camera pose, and imagined scenes. And it learns when to use which! 🧵
9
33
12
211
16,721
Check out our latest SAIL blog post on HalluWorld! This benchmark puts LLMs in fully specified worlds to automatically measure not just whether models hallucinate, but why: ai.stanford.edu/blog/halluwo…
3
2
24
8,382
Stanford AI Lab retweeted
Wrist cameras give robots close-up views, but only where the hand happens to be. What if the policy could decide where to look? Introducing FoveaVLA: a VLA that replaces the wrist camera with learned foveation actions. FoveaVLA predicts where it will need to look next, then crops that region from the full-resolution external image. The full view gives context; the foveal crop gives close-up detail. With one external camera and no wrist camera, FoveaVLA reaches 70.8% success on 48 real-world trials, vs. 52.1% for π0.5 with a wrist camera. • No additional demonstrations • No camera calibration • No wrist camera Paper, code, and models are all open 🧵
7
29
7
133
14,053
Stanford AI Lab retweeted
quite the statement from Anthropic's head of security
Replying to @hinapansari
yes. it was always going to be this way. we tried to warn the world.
138
951
85
7,115
757,483
Stanford AI Lab retweeted
Things are moving so fast that everyone seems to have completely missed how insane it is that AI companies have been allowed to unleash agentic AI products with no regulatory guidelines.
SCOOP: Major U.S. banks are detecting unauthorized third-party AI agents inside customer accounts, including some attempting to take actions that appear to be independent of user instructions, sources told Axios. The findings have alarmed banking executives, who are racing to restrict access to their systems as AI moves at a velocity faster than financial institutions can respond, multiple industry and bank executives told Axios. Several banks are now preparing for worst-case and even “day after” scenarios, including how to rapidly secure or restore customer accounts if things go wrong, the people said. Several bank executives told Axios they're struggling to distinguish between human users and AI agents. One executive said banks also struggle to determine whether agents are authorized by customers or potentially operating without their permission, more akin to rogue agent behavior. Read my latest for Axios here: axios.com/2026/10/22/ai-agen…
161
1,988
67
9,703
267,590
Stanford AI Lab retweeted
Now online! Recording of Marc Schlichting’s PhD defense (Nov 15, 2025) on generative models for safety in autonomous systems, from failure discovery in a 1200-dim F-16 system to an LLM decision-support tool for aviation emergencies tested in real flights. youtube.com/watch?v=nCtkqVG7…
1
3
4
2,367
Stanford AI Lab retweeted
Do Vision-Language-Action models mean what they say? Embodied chain-of-thought offers a promising way to leverage additional inference-time computation for robot policies, with empirical evidence that it can improve downstream task performance. However, in practice the extent to which this chain-of-thought actually influences a robot policy’s chosen actions is not fully understood yet. In our new paper on #embodied #reasoning, we formally define the notion of faithfulness i.e., whether the chain-of-thought truthfully reflects the policy's decision for #Physical #AI and argue that the faithfulness of robot policies should play an explicit role in algorithm design. We train a critic of embodied faithfulness, identifying the signatures of inconsistent and incoherent reasoning, and use it as a reward signal during reinforcement learning (RL) post-training of a robot policy. We call our critic Pinocchio 🤥: a model that learns to tell when a robot policy is 'lying' about the justifications for a decision. Pinocchio scores two complementary failure modes: whether the reasoning is grounded in what the robot actually sees, and whether it is coherent step-to-step through the chain-of-thought. We find that post-training for faithfulness yields a +18% improvement in reasoning consistency over standard baselines, and critically, makes the policy 1.6× more responsive to rare, out-of-distribution scenarios that confuse SoTA models. These findings suggest that faithful embodied reasoning is not merely a post-hoc interpretability property, but an important ingredient for building more robust and trustworthy autonomous systems. 📄 Paper: arxiv.org/pdf/2607.04681 🌐 Project page: mjf-su.github.io/pinocchio/ 💻 Code: Coming soon! Great work led by Matthew Foutter, in collaboration with Matteo Cercola Lena Wild Yunshan Wang Michelle Li and @DanieleGammelli @StanfordEng @StanfordAILab @StanfordHAI
3
7
52
5,888
Stanford AI Lab retweeted
Ever wondered what it’s like to learn robot autonomy @Stanford? Now you can. Today, we’re opening up the robot autonomy teaching materials that my collaborators and I have been developing over the past several years—for anyone, anywhere, completely free. At the heart of this effort is Principles of Robot Autonomy (PoRA), a textbook inspired by the Stanford robot autonomy course series I’ve been teaching since 2017. Robot autonomy has evolved from a research discipline into a technology deployed in the real world. Building capable autonomous systems requires more than understanding individual algorithms: it requires understanding how perception, state estimation, planning, control, and learning work together in a complete autonomy stack. That’s what we set out to teach with PoRA: bringing classical robotics and modern AI together in one coherent framework, grounded in both theory and practice. Coming soon in print from Cambridge University Press, Principles of Robot Autonomy is also freely available online and comes with a comprehensive collection of open educational resources: 📖 Textbook, arxiv.org/abs/2608.03496 — Foundations of robot autonomy, from classical methods to modern AI-based approaches. 🎥 Video lectures, porabook.com/lectures/ Lectures from my Stanford courses on robot autonomy and on optimal and learning-based control. 💻 Interactive exercises, porabook.com/exercises/ — Hands-on Python implementations and Jupyter notebooks. 📝 Teaching materials, porabook.com/instructors/ — Lecture slides and resources for instructors. 🌐 Explore all PoRA resources, porabook.com/ — Including Ask the Book, an AI study assistant integrated throughout the textbook to answer questions, explain derivations, and connect ideas across chapters. 📣 Read the Stanford announcement: news.stanford.edu/stories/20… Our goal is simple: to make high-quality education in robot autonomy accessible to students, researchers, engineers, educators, and anyone curious about how autonomous robotic systems work. I believe that sharing knowledge is fundamental to the mission of a university. Autonomous robotics—and Physical AI more broadly—are among the defining technological frontiers of our time. We want to help more people understand these technologies, build with them, and advance the field. A huge thank you to my co-authors, @DanieleGammelli, Joseph Lorenzetti, @katielulula, and @GioeleZardini, and to everyone who helped bring this project to life. Explore the resources, use them in your own learning or teaching, and please share them with anyone who might find them useful! #Robotics #PhysicalAI #ArtificialIntelligence #AutonomousSystems #Education @Stanford @StanfordEng @StanfordAILab @StanfordHAI
30
197
25
979
86,763
Stanford AI Lab retweeted
LLMs deployed in specialized domains, from enterprise codebases to law firms, dig through a mountain of unstructured context! Our new paper, Librarian Agents, asks: can an agent adapt by curating its own long-context workspace, anticipating queries before they arrive? 🧵⬇️
7
32
3
176
44,184
Stanford AI Lab retweeted
7 years ago: Stanford HAI officially launched. The institute opened in March 2019 with a focus on advancing AI research, education, policy, and practice to improve the human condition, drawing on faculty and students from all seven Stanford schools. #HAIOverTheYears
4
22
3,501
Token-Gated LLMs achieve 11x faster processing over long-context inputs by learning to skim context and only forward tokens that matter. We saw this paradigm shift before when going from dense models to MoEs, and now TokenGate enables another generation of efficient LLMs!
Introducing ✨Token-Gated Language Models✨ for up to 11x faster prefill by learning to skim context, conditionally forwarding only tokens that matter. Akin to the shift from dense models to MoEs, the next frontier of efficient LLMs is conditional computation over a new scaling axis: context tokens🧵👇
9
19
132
10,723
Stanford AI Lab retweeted
Why stick with one agent harness for the entire task? Surprisingly, switching harnesses mid-run (e.g. Codex → Pi) can dramatically reduce cost/tokens while improving performance! Harness cascade opens a new Pareto frontier.
What if your agent could switch harnesses mid-run? Imagine starting with Claude Code, then switching to Pi or Codex. Would it approach the task differently? Catch mistakes it previously missed? Could different harnesses complement each other? 🧵
17
12
66
8,473
Stanford AI Lab retweeted
1/4 Today, we’re releasing Mercury 3. Mercury 3 is by far our most powerful model and the most intelligent diffusion LLM ever released. It outperforms GPT-6 Luna and Haiku 5.5 on quality while running at 1000+ tok/sec.
🤖 Made with AI
288
457
228
5,267
482,845
Stanford AI Lab retweeted
Autoformalization is the task of translating natural language into formal, machine-checkable representations. An open question: when an LLM does this, how do we know the output is faithful to the original meaning? A small step towards answering it: arxiv.org/abs/2604.25031
1
3
1
24
6,071
Stanford AI Lab retweeted
1/ Can AI help doctors make more informed decisions based on patient activity and behavior over the course of a hospital stay? Today we introduce TRACER: a training-free multimodal harness that enables LLMs and VLMs to track patient activity using bedside video and health records. Blogpost: ai.stanford.edu/blog/tracer/ Paper: arxiv.org/abs/2610.21266
10
38
9
189
17,671
Stanford AI Lab retweeted
1/8 Introducing LILIE: a Language-Informed and Lossless Image Encoder. We train a language-informed encoder to supervise end-to-end visual generative models. Against a pixel-space JiT model, LILIE improves gFD on GPIC by 14 points (66.84 -> 53.01).
5
27
3
161
17,646
Stanford AI Lab retweeted
this was one of the best YCPCs we've done. huge thank you to mykel and clark. real ai safety ideas. grounded in science. not science fiction.
This week’s Paper Club is all about AI safety. Not the headlines, but the science. AI safety has been a research field for decades, with its own conferences, methods, and a track record in systems like aircraft collision avoidance, where the standard is one catastrophic failure per billion flight hours. We'll hear from @ClarkBarrett7 and Mykel Kochenderfer (@aiprof_mykel), Stanford professors and co-directors of the Stanford Center for AI Safety. Together with @FrancoisChauba1, they break down the OpenAI–Hugging Face incident, how formal verification can mathematically prove properties of code, how aircraft safety techniques are being adapted to language models, and why AI may need its own NTSB. 00:00 - Science fiction vs. science fact 04:32 - Engineering problem, or P(doom) 06:04 - What actually happened at Hugging Face 07:53 - Where "10% in 10 years" comes from 11:21 - The real risk: open weights in the wrong hands 17:25 - Clark Barrett: when AI met automated reasoning 20:35 - CSLib: proving code correct in Lean 24:32 - From English spec to verified code in one click 27:55 - Mykel Kochenderfer: how do we know a system is safe 32:11 - Adaptive stress testing, from aircraft to LLMs 36:57 - Verifying neural networks 40:30 - Runtime monitoring and BetterBench 43:53 - Panel: reacting to the past three weeks 45:55 - An NTSB for AI 52:18 - Is cybersecurity solvable in five years 55:00 - If you were CISO of Bank of America 1:03:06 - The Swiss cheese model 1:05:43 - Audience Q&A
7
10
47
10,169
Stanford AI Lab retweeted
Your LLM agent has to think out loud, token by token, before it can search, run code, or act in the world. We humans don’t. We ponder in silence and speak when it matters. Human language was never meant to be the limit of machine thought. Introducing 🌗Hybrid Reasoning Agents - Think in latent space, act through text - Two modes, one unified multi-turn flow - No black box, fully readable latent thoughts - Any LLM can become a HybridAgent
67
124
39
603
59,324