Jack Bai (@jackbot_cs) header
Jack Bai (@jackbot_cs) profile picture
Champaign, IL
Joined January 2024
Photo by Jack Bai (@jackbot_cs)Photo by Jack Bai (@jackbot_cs)Photo by Jack Bai (@jackbot_cs)Photo by Jack Bai (@jackbot_cs)Photo by Jack Bai (@jackbot_cs)Photo by Jack Bai (@jackbot_cs)Photo by Jack Bai (@jackbot_cs)Photo by Jack Bai (@jackbot_cs)Photo by Jack Bai (@jackbot_cs)Photo by Jack Bai (@jackbot_cs)
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
3
23
1
114
6,806
Brute force computation is not enough for intelligence. Clever new methods are needed. The science of AI is far from finished. IMHO
264
432
321
4,012
438,313
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 😄
19
32
5
864
38,878
Jack Bai retweeted
wtf?
4
4
139
7,483
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?
4
828
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
10
5
1
34
2,105
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…
2
17
4
31
118,581
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…
6
29
3
102
11,494
Ratio-free off-policy RL algorithm that shares some common insights in proof with Proximal KL.
1/7 Can an LLM learn from an older rollout model without importance weights? Introducing Gibbs-Gap Policy Optimization (GGPO). Sync rollouts every 8 -> 128 optimizer updates: accuracy stays at 46.58% -> 46.39% across five math benchmarks (Qwen3-1.7B-Base).
3
571
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.
1
1
2
142
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…
1
2
126
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…
3
42
2
309
21,101