Stephan

324 posts

Stephan banner
Stephan

Stephan

@StephanZheng

building brains @AsariAILabs, looking for branes

San Francisco, CA Katılım Aralık 2017
226 Takip Edilen1.2K Takipçiler
Sabitlenmiş Tweet
Stephan
Stephan@StephanZheng·
Excited to share a big milestone: the @AsariAILabs team has built agents that migrated multiple critical C libraries to Safe Rust (@rustlang) — thoroughly tested, no shortcuts, no slop. One example: libmcs, software that literally runs in space 🚀! Our agents met and exceeded ESA (@esa) testing standards, verified in partnership with @GTDsystems, a space-industry testing provider. This requires thousands of reasoning steps about systems and efficiently collaborating with humans on key design decisions. The Safe Rust code is open-source (links below) — check yourself and give us feedback! Blog: asari.ai/blog/migrating… + more deep dives soon. Thread 🧵!
Stephan tweet media
English
2
3
17
3.4K
Stephan retweetledi
Zhening Li (Zed)
Zhening Li (Zed)@zli11010·
Ever wished you could rewind your AI agent when it goes off track? EnCompass lets you rewind any Python program containing LLM calls. While normal program execution runs a program once from start to finish, 1/
Zhening Li (Zed) tweet media
English
16
41
225
21.5K
Stephan retweetledi
MIT CSAIL
MIT CSAIL@MIT_CSAIL·
AI agents can be very effective when they use LLMs, but coding agents to work backwards to fix mistakes is time-consuming. MIT method executes AI agent programs by backtracking & making multiple attempts, helping coders work w/these systems efficiently: bit.ly/45QNta0
MIT CSAIL tweet media
English
7
19
99
29.6K
Stephan retweetledi
Asari AI
Asari AI@AsariAILabs·
System design and verification for large-scale infrastructure is hard. We chose migration of code from C to Safe Rust as a proving ground for our AI agents: libyaml, gzip, zlib, libmcs. Production code with 40,000+ total lines. Our agents succeeded in migrating all four libraries with comprehensive test validation. 🚀 Here's what that means → asari.ai/blog/migrating…
Asari AI tweet media
English
2
5
29
4.8K
Stephan
Stephan@StephanZheng·
[n/n] I’m super proud of the @AsariAILabs team that pushed our agents to this level and are moving towards engineering superintelligence. This project offers a glimpse of how mission-critical systems will be built and invented together with AI. We’re continuously scaling and generalizing our agents & testing with partners. If you care about building AI that helps invent the systems of the future, come build with us — we’re hiring: jobs.ashbyhq.com/asari.ai
English
0
0
2
78
Stephan
Stephan@StephanZheng·
Excited to share a big milestone: the @AsariAILabs team has built agents that migrated multiple critical C libraries to Safe Rust (@rustlang) — thoroughly tested, no shortcuts, no slop. One example: libmcs, software that literally runs in space 🚀! Our agents met and exceeded ESA (@esa) testing standards, verified in partnership with @GTDsystems, a space-industry testing provider. This requires thousands of reasoning steps about systems and efficiently collaborating with humans on key design decisions. The Safe Rust code is open-source (links below) — check yourself and give us feedback! Blog: asari.ai/blog/migrating… + more deep dives soon. Thread 🧵!
Stephan tweet media
English
2
3
17
3.4K
Stephan retweetledi
Yisong Yue
Yisong Yue@yisongyue·
Awesome coverage of our work on EnCompass with @AsariAILabs It’s a new way to program AI Agents that allows developers to capture key logic while abstracting away inference/search strategies. Can substantially decrease coding burden when designing complex agent logic. w/ @zli11010, @StephanZheng, Armando Solar-Lezama caltech.edu/about/news/hel…
English
0
1
10
1.9K
Stephan retweetledi
Zhening Li (Zed)
Zhening Li (Zed)@zli11010·
Honored to have our work featured in Caltech News! caltech.edu/about/news/hel… Thanks to my amazing mentors Armando Solar-Lezama, @yisongyue and @StephanZheng, and I’m grateful for @AsariAILabs for their support in bringing this project to fruition!
Zhening Li (Zed)@zli11010

Excited to be presenting the EnCompass search framework at NeurIPS today! Stop by to learn how EnCompass makes LLM-calling programs more reliable. Poster #2410 4:30-7:30pm neurips.cc/virtual/2025/l… Paper: arxiv.org/abs/2512.03571 dms are open if you’d like to chat about LLM agent frameworks, code gen, or AI for math!

English
0
2
11
2.6K
Stephan
Stephan@StephanZheng·
Agents search and improve — great work by @zli11010
Asari AI@AsariAILabs

👋 Our first blog post is up! We’re excited to share some of what we’ve been working on. At @NeurIPSConf 2025, we’re presenting EnCompass: a flexible framework for AI agents that separates workflow logic from search strategy. Reduces code needed by 3-6×, makes implementing more sophisticated search strategies practical, and potentially unlocks better scaling laws. Read the blog post here: asari.ai/blog/encompass

English
0
1
2
1.6K
Stephan
Stephan@StephanZheng·
Whether you were affected by the Meta layoffs or just ready for your next big challenge—we’re hiring. Come build AI infrastructure and supercompute that help people invent the systems of tomorrow. I’m always happy to chat about what you could be building with us — hello@asari.ai / asari.ai.
English
0
1
13
2.3K
Stephan
Stephan@StephanZheng·
Looking forward to meeting people and old and new friends at #NeurIPS2024 and getting the mug. Come chat about @AsariAILabs agents and the future with @yisongyue and me — DMs are open :).
English
4
1
8
2.1K
Erik Meijer
Erik Meijer@headinthebox·
Folks, I left Meta yesterday. This time there were no layoffs or anything thrilling involved. In fact, I am more bullish than ever about Meta with the company’s increased focus on AI. But given the incredible competitive pressure in the field, there is really no advantage to be inside a large corp if you want to build cool stuff on top of LLMs. My current plan is to keep an empty calendar and mess around doing independent research and see where it leads.
English
84
85
1.7K
543.6K
Stephan retweetledi
Yisong Yue
Yisong Yue@yisongyue·
I'm thrilled to be a part of @AsariAILabs. Our goal is to design AI systems that can break down problems, discover new abstractions, reason about their correctness (and what notions of correctness are required), and generally plan at multiple levels of granularity. These capabilities are at the core of what it means to build an AI co-Inventor to empower human inventors (whether it be in software, hardware, control systems, or any other domain). It’s such an exciting time to be working in the AI field! I’m also deeply grateful to our investors, @ericschmidt, @Caltech/@innovateCaltech, @jeffdean, and JP Millon, for their support. And of course, we’re hiring! asari.ai
Asari AI@AsariAILabs

A new journey begins – 🚀 we’re excited to launch! Our mission is to build AI that helps us co-invent the future. -- And we’re hiring to make this happen👇 We’re building a new type of AI agent and tools that help us imagine and create 10x better solutions, products, and services that we can trust. Including for applications that we might not have even thought of yet. -- To do so, our AI agents learn, reason, plan, and verify at scale. -- And we’re reimagining how people can seamlessly collaborate and create with AI. This is an ambitious journey and so we’re deeply grateful to our investors: @ericschmidt, @Caltech and @innovateCaltech, @jeffdean, and JP Millon, for their support. If you’re passionate about creating a better world, we would love to hear from you! We’re hiring full-time team members, interns, and long-term residents - come learn and build cutting-edge AI! -- Learn more: asari.ai -- Apply: jobs.ashbyhq.com/asari.ai -- Say hello@asari.ai & follow us @AsariAILabs!

English
14
14
171
40.2K
Stephan retweetledi
Swarat Chaudhuri
Swarat Chaudhuri@swarat·
Excited to be a part of this venture! 🚀 @AsariAILabs (asari.ai) is hiring, and if you are in the job market and excited about AI for difficult, real-world engineering applications, you should talk to us. What makes Asari different? LLMs have excelled at low-level coding so far. Asari wants to create AI that can build reliable high-level designs—of both software and hardware. To this end, we will build a new kind of scalable agent that can invent new abstractions, plan over long horizons, formally and informally verify generated designs, and use automated and human feedback. Connect with us for more details! If you are to embark on a venture like this, you should do it with the right people. I love working on Asari with @stephanzheng and my longtime collaborator @yisongyue. And we are grateful to our investors, @ericschmidt, @Caltech/@innovateCaltech, @jeffdean, and JP Millon, for their support.
Asari AI@AsariAILabs

A new journey begins – 🚀 we’re excited to launch! Our mission is to build AI that helps us co-invent the future. -- And we’re hiring to make this happen👇 We’re building a new type of AI agent and tools that help us imagine and create 10x better solutions, products, and services that we can trust. Including for applications that we might not have even thought of yet. -- To do so, our AI agents learn, reason, plan, and verify at scale. -- And we’re reimagining how people can seamlessly collaborate and create with AI. This is an ambitious journey and so we’re deeply grateful to our investors: @ericschmidt, @Caltech and @innovateCaltech, @jeffdean, and JP Millon, for their support. If you’re passionate about creating a better world, we would love to hear from you! We’re hiring full-time team members, interns, and long-term residents - come learn and build cutting-edge AI! -- Learn more: asari.ai -- Apply: jobs.ashbyhq.com/asari.ai -- Say hello@asari.ai & follow us @AsariAILabs!

English
5
5
55
16.6K

Keşfet

@zli11010 @MIT @AsariAILabs @rustlang @esa @GTDsystems @yisongyue @YueLabCaltech