
CS PhD @UofIllinois, Research @NVIDIA | Prev @Berkeley_ai, @MSFTResearch
Champaign, IL
Joined January 2024
- Tweets447
- Following204
- Followers1.3K
- Likes702
Pinned Tweet
1/11 Can a single-token importance weight preserve the target of full-sequence correction? With Future-KL, we prove that both updates share the same unique stationary policy. We also contribute the promising empirical results we observed.
arxiv.org/abs/2610.18738
Jack Bai retweeted
Brute force computation is not enough for intelligence. Clever new methods are needed. The science of AI is far from finished. IMHO
Jack Bai retweeted
This is simultaneously very cool but also a bit exaggerated. Reading the prompt you gave, the prompt veeery much hints that looping is the issue and to find neurons that fix this. And as you say (screenshot below), it couldn't otherwise improve math.
So your project and website are great, but the tweet is a bit of a bait. But it worked, i read the full page including prompts 😄
I firmly believe that loop transformer is just another instance of full width transformer. It improves performance by replacing argmax with full-width connection. Any other perspectives?
Jack Bai retweeted
funny that substrate independence is called “religious”, when the opposite has deep roots in religion and dualism. it’s often those shouting “absurd that llms considered conscious!” who (perhaps unconsciously) are selling you their religious beliefs
Spectacular Nature piece on why AI is not conscious and probably will never be.
Three arguments:
1) Intelligence is not consciousness.
Intelligence is about solving problems. Consciousness is about having subjective experiences.
AlphaFold can solve super difficult problems. By contrast, our brains performs complex operations entirely outside awareness.
Problem-solving and consciousness are two separate things.
2. Biology is essential.
Our brains are alive, down to every cell. Their activity is inseparable from the living tissue that produces it.
The idea that consciousness can be reproduced simply by running the right computations on silicon components who do not fight for their life is a very far fetching and, I would add, almost religious, assumption.
3) The physical organization may matter more than the computation.
According to integrated information theory, consciousness requires specific causal relationships between a system’s physical components.
The computer architectures running today’s AI lack this organization.
The comparison with AlphaFold is particularly revealing:
Almost nobody things AlphaFold is conscious, despite its inner working is very similar to an LLM
Why?
Because it does not speak.
LLMs do speak like us and therefore we fall into an illusion:
Since they speak like us, they must be like us.
But this inference is wrong.
LLMs are just a series of matrix multiplications.
They are not conscious, and they will never be.
*
Paper in the first reply
Jack Bai retweeted
🚀 Introducing Lean4AgenticRL framework. The first method to apply formal verification in an open-ended domain for agentic RL. We apply the Lean4Agent(teapaw.org/RickyRDWang/status/206…) framework to provide process rewards for agentic RL. We train LAR-9B/27B using Lean4AgenticRL. The LAR-9B models achieve a 20.2% improvement on SWE-Bench-Verified, bringing the score to 64.2%. The LAR-27B model achieves 77.3% on TerminalBench-2.1, improving the base model by 7.7%. The LAR-9B/27B outperforms all the known baselines of similar size in SWE-Bench-Verified, TB-2.0, and TB-2.1. Welcome to read our paper and try our model!
[1/n]
Paper: github.com/RickySkywalker/Le…
Model: huggingface.co/amazon/LAR-27… and huggingface.co/amazon/LAR-9B
Code: github.com/RickySkywalker/Le…
Website: lean4agent.github.io/
🚀 Introducing the Lean4Agent framework. The first framework 🎉 that unifies the formal verification of agent workflow and executions. It views the agent workflow as “a computer program in natural language.”
🤖 The Lean4Agent provides FormalAgentLib that treats agent workflows like programs. We develop a predicate system that elegantly constrains the agent's execution step via preconditions and postconditions.
✅ This framework makes agent workflows’ self-consistency verifiable before execution, and enables the detection of which step of the workflow breaks the consistency for fine-grained fixes.
🔁 When a verified workflow fails on a specific problem, the predicate system, combined with the LeanEvolve proposed in the Lean4Agent framework. We can dynamically update the workflow to enhance its performance.
[1/n]
Paper: arxiv.org/abs/2606.06523
Huggingface: huggingface.co/papers/2606.0…
GitHub Repo: github.com/RickySkywalker/Le…
Jack Bai retweeted
What does it take to turn VLMs for cost-efficient zero-shot robot manipulation, without tools, without task-specific training, without external modules like VLA-as-tool or SAM3 or IK Solver ?
🤖 Introducing MotorMind !
💡 Zero-shot Manipulation: No Fine-tuning or Coding agent
💡 VLM-only: No external perception models, No tools, No VLA-as-tool, No IK-Solver
💡 Local Deployable: Qwen3.8-Next-Flash as backbone model for cost-efficient local deployment
💡 Strong Generalization: 83.3% success on LIBERO-PRO
💡 Real-Robot Transfer: 95% success on real-robot tasks without embodiment-specific training
Check out more:
📄 Paper: arxiv.org/pdf/2609.38078
🌐 Project: motor-mind.github.io/
💻 Code: github.com/Motor-Mind/MotorM…
Ratio-free off-policy RL algorithm that shares some common insights in proof with Proximal KL.
10/11 We also examine the bias-variance trade-off of the Proximal KL tail length. A longer tail brings large variance while offers small unbiasedness because far future tokens can rely little on current tokens. We generally found that intermediate-length outperform full tail.
11/11 More to be discovered in
Paper: arxiv.org/abs/2610.18738
Blog (more introductory): biechi.github.io/blog/offpol…
Code: github.com/BiEchi/proximal-k…
Jack Bai retweeted
new blogpost about beginner-level advice on breaking down proofs, which I feel students new to theory may find helpful especially at this time where most derivations are done with the help of LLMs: nanjiang.cs.illinois.edu/202…















