Junru Shao (@junrushao) profile picture

opinions are my own

California, USA
Joined October 2012
Photo by Junru Shao (@junrushao)Photo by Junru Shao (@junrushao)Photo by Junru Shao (@junrushao)Photo by Junru Shao (@junrushao)Photo by Junru Shao (@junrushao)Photo by Junru Shao (@junrushao)Photo by Junru Shao (@junrushao)Photo by Junru Shao (@junrushao)Photo by Junru Shao (@junrushao)Photo by Junru Shao (@junrushao)
Junru Shao retweeted
1/n Introducing our NeurIPS’26 work 💙Evolving Agent Teams (EAT) 💛, where a supervisor diagnoses why an agent team stalls and restructures it to escape local optima, for long-running optimization tasks. EAT shows superior performance across domains: 🏆 Open Kernel Challenge, decode layer on H200: 2.449× over SGLang, #4 of 1,180 (as of Nov 1, 2026) ⚡️ NVIDIA kernels: KDA prefill on B200, 3.44× over FlashKDA (previous best: 2.96×) 🔥 AMD kernels: KDA prefill on MI350X, 3.01× over vLLM 💻 MoE serving on Mac: Qwen3.8-Flash-Next (Unsloth UD-IQ4_XS GGUF) on M5 Pro, ~3.3× faster prefill (930 tok/s) and 1.22× faster decode (43.7 tok/s) than Strata at the same memory 🦾 RoboDojo: 62.1 on held-out seeds (the best leaderboard entry as of Oct 26, 2026 is 55.3) - Paper: arxiv.org/abs/2610.36848 - Code: github.com/caoshiyi/EAT 🧵👇
15
49
17
308
41,463
Junru Shao retweeted
New on our Frontier Red Team blog: using Claude to formally verify software at large scale. Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time). With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks. Read our research in full here: anthropic.com/research/forma…
672
1,074
647
9,801
2,152,473
Junru Shao retweeted
So happy to see this 🎉 Glad to have contributed the specialized decode path (vllm#61868, #61869) behind these results. On the same GB300 it brings +36% P90 interactivity for a single user. Thanks @vllm_project, and more to come! github.com/vllm-project/vllm… github.com/vllm-project/vllm…
Replying to @vllm_project
Beyond high throughput, vLLM's specialized decode path also shines at low latency. On real AgentX sessions, it reaches 829 P90 TPS for a single user on four B300 GPUs, 26% faster than the standard path on GB300.
1
1
2
198
The AI industry has a massive compute efficiency problem. At Physion Labs, we think it's time to challenge it. Today, we're sharing the technology behind NexTron, our world-intelligence training engine. Our benchmarks on matched hardware: ⚡ Up to 20.9× SFT throughput vs. DeepSpeed (H100) ⚡ Up to 6.6× SFT throughput vs. Megatron (H200) ⚡ Up to 7.2× SFT throughput vs. Megatron (B200) ⚡ Up to 3.1× end-to-end RL throughput vs. Miles–Megatron 🔥 180B model fine-tuning on just 8 H100 GPUs. Same hardware. Dramatically higher throughput. Comparable model quality. We believe the next frontier isn't just building bigger GPU clusters. It's unlocking more intelligence from every GPU, every watt, and every dollar spent on training. #PhysionLabs #NexTron #WorldIntelligence #AIInfrastructure
14
47
15
99
100,379
Junru Shao retweeted
After ICLR, we finally got some time to top first again on lean-eval leaderboard with updated Humanize workflows 🤗 > LeanEval is the last unsaturated benchmark in mathematical formalization. > New Humanize flow learnt a lot of insights from OpenAI and Anthropic's blogs, and Axiom's tech report. > More progress on "big name theorem" is coming :) nitter.gq/IlinVasily29521/status…
LeanEval is the last unsaturated benchmark in mathematical formalization. Saturating it will require formalizing Fermat's Last Theorem. @axiommathai is currently in the lead. Leaderboard: lean-lang.org/eval/legacy/
4
7
2
54
6,009
Junru Shao retweeted
r3 v1.2 just released (github.com/hyperlogue/r3). r3 is like Claude Artifacts but runs locally for any agent. The latest version adds support for images in the feedback and replies. Pasting images into the text input will upload it and leave a placeholder in the text, just like what you are used to in TUI coding agents. You can further annotate or crop it to make the intention clearer to the agent. It's super handy for giving feedback to visual artifacts, like UI design mockup or scene rendering comparison. Try it out!
r3: like Claude Artifacts, for any agent. Open source. Runs fully locally. You can: - 🎨 Compare UI designs and pin feedback to HTML elements - 📄 Review richly formatted design docs - 🧪 Learn how things work via interactive demos github.com/hyperlogue/r3 #AIAgents #codex
1
1
1
2
531
Junru Shao retweeted
Frontier labs: “AI agents are becoming conscious. They can cause human extinction. Pace the frontier.” Jensen Huang: “They’re just software. If your sandbox isn’t safe, I’ll build one for you.”
Today, with over 100 industry partners, we introduced the NVIDIA Open Agent Safety Platform, bringing together OpenShell and Sentry. Artificial intelligence is extraordinary technology that will advance discovery, productivity, security, health, and prosperity for generations to come. But its full promise can only be realized when people have confidence that AI is being built to be safe and deployed with wisdom and responsibility. This is bigger than a single product. It's the beginning of an open ecosystem to build the trust layer for safe agent systems. Together, we are building the foundation of the AI economy. Trust and innovation are not in conflict. Safety is how trust is earned. We must build not only the most capable AI, but the most trusted AI, so that this extraordinary technology can realize its enormous promise for the world. nvda.ws/4hcoq7m
78
268
25
2,997
159,997
已开源 这可能是市面上为数不多,写给技术人员的非技术 Skill 如有帮助还请点赞转发支持一下!
22
28
12
221
111,421
Junru Shao retweeted
By upgrading to humanize2, it is now 100% : ) trishullab.github.io/PutnamB… Tokens are 「transforming」the math!
A better Agent Flow is the key to scaling agents when everyone all has clever tokens! Check the latest math breakthrough we've made w/ Humanize + GPT5.5 -- 99.7% putnambench within an afternoon!
1
9
38
4,746
Junru Shao retweeted
astra as our first cyber critical model that 100%'ed public ExploitBench. we made a contamination-free, internal port based bugs after astra's knowledge cutoff, where astra is 4x more cyber capable than 5.6 at fewer tokens. yet, team cooked hard to make astra v aligned.
As we prepare to release Astra, we’re focused on making increasingly capable AI safe and broadly accessible. Astra represents a significant advance in cybersecurity capability, reaching the Critical threshold under our Preparedness Framework. We're previewing how we evaluated the model, how its safeguards have advanced alongside its capabilities, and what we'll continue to learn and improve. openai.com/index/path-to-ast…
6
19
2
204
20,982
Junru Shao retweeted
🍰 CAKE just upstreamed KDA training kernels for Blackwell: paired forward + backward for SM100a/SM103a, matching FLA's precision. up to 3.05x geomean speedup across a 17-shape portfolio, measured on B200, B300, and GB300. github.com/flashinfer-ai/fla… more generated kernels will be upstreamed into NVIDIA libraries.
2
15
2
115
10,101
Junru Shao retweeted
FreeToken is fast. Comparing to Ollama, we have 3–4× faster decode, and 6–30× faster prefill How? We introduce bandwidth-adaptive CPU–GPU execution + semantic-aware caching across agent turns. More details in the technical report: arxiv.org/abs/2608.16157
86
224
54
2,563
473,456
Junru Shao retweeted
The future of AI codegen is to let models evolve their compiler harness, creating & evolving the tools and abstractions for best performance via experimentation. The CAKE work is demonstrating that beautifully - producing SoTA kernels with practical impact. Awesome work team!
🍰 CAKE paper's out, the design bet: the compiler isn't a fixed black box the agent calls — it's part of the harness, and it's under evolution too. CAKE didn't inherit existing abstraction layer. no tile/layout abstractions: the vocabulary was distilled by agents from a corpus of production kernels. every pattern the agent couldn't express pushed new primitives into the IR, and the analyses to keep them checkable. every barrier/layout bug that kept coming back became a verifier rule. none of this can be designed up front. the IR has to co-evolve with the kernels, and the workload tells you what's missing, the corpus tells you if the fix broke anything. the best language for an agent is the one that tells you what's illegal, what's slow, and which decision might made it faster. arxiv.org/abs/2608.12629
2
8
1
55
8,543
Junru Shao retweeted
🍰 CAKE paper's out, the design bet: the compiler isn't a fixed black box the agent calls — it's part of the harness, and it's under evolution too. CAKE didn't inherit existing abstraction layer. no tile/layout abstractions: the vocabulary was distilled by agents from a corpus of production kernels. every pattern the agent couldn't express pushed new primitives into the IR, and the analyses to keep them checkable. every barrier/layout bug that kept coming back became a verifier rule. none of this can be designed up front. the IR has to co-evolve with the kernels, and the workload tells you what's missing, the corpus tells you if the fix broke anything. the best language for an agent is the one that tells you what's illegal, what's slow, and which decision might made it faster. arxiv.org/abs/2608.12629
13
82
23
322
150,320
Junru Shao retweeted
Today, we’re coming out of stealth with TensorScale (@TensorScaleAI ), and we're already running the fastest video inference in the world. MiniMax (@MiniMax_AI ) H3 — one of the leading open video models — now runs 10x faster and at half the cost on our inference stack. I’m building the company with long-time colleagues Teng Teng (@tt_tsio), Ye Wang (@yewang_ts), and Yun Tang (@_tangyun_). The AI stack was built for language models. We're rebuilding it for video and world models.
56
58
13
780
125,966
Junru Shao retweeted
flashlib + CAKE: geomean 1.9x faster exact KNN on Blackwell 🚀 NVIDIA's CAKE team contributed generated CUDA kernels (tcgen05, per-shape dispatch) — 1.9x geomean / 5.4x peak across 198 shapes vs the previous flashlib release, zero recall loss. Live on flashlib nightly github.com/FlashML-org/flash…; core flash_knn & flash_kmeans also got big B200 wins in the same release. Thanks @avyyhuang and @ye_combinator !
4
9
34
6,258
Junru Shao retweeted
Replying to @JensenHuang @nvidia
871
2,674
1,099
28,707
10,435,714