Register and share your invite link to earn from video plays and referrals.

Alex Dimakis
@AlexGDimakis
Professor, UC berkeley | Founder @bespokelabsai |
2.8K Following    25.1K Followers
Jev is not open-source and only available via API. Here's an open version called Nimble which performs just as well.
0
65
2.3K
179
Forward to community
We lost our CEO for 2 days and then he came back with this awesome 9B model.
Introducing Bespoke Nimble: an open data, open model, open recipe for an open Jev. Code and info: Model: Data: * A new data curation recipe called contrastive data curation. * Slightly change facts to generate negative data. This pushes the model to discriminate better and become a better decision maker. The calibration is implicit. * Didn't do ablations but I think this is a critical piece! * This also means training data doesn't need probabilities. * Data covered 10 categories, and is fully synthetic. * This data is split into train and eval. Training * LoRA finetune of Qwen3.5-9B. * Distillation-free: we use Jev to only evaluate. * No RL yet! Serving * Parallel constrained decoding as suggested by @NielsRogge and @harshagundal. Results: * The post-trained Qwen (Nimble) became substantially better on our curated eval: 66% for Qwen to 90% for Nimble. Jev is at 93%. * 100ms on H100 and free to use on your macbook! Feel the AGI for free. * 2 days of building in public. :) Big caveat is that there is no standard benchmark to measure performance, and it's possible Nimble is much worse on other benchmarks compared to Jev. But it should be better than Qwen! We thank @typesafeai for making Jev and the inspiring discussions in the community. Hope this release lifts all the boats and encourages more research and activity in this space.
Show more
I think it is unfair to characterize Terminal Bench 4 simply as 'Flawed' or 'Broken' as done in this post: TB4 is a massive community effort. The bugs mentioned are known and public on Github, and the community is working on fixing them. E.g. saying: 'Terminal Bench 4.0 we found 45.5% of tasks to be broken after reviewing github issues.' is like saying open-source software is BROKEN because some people have found some bugs, raised issues, and the open-source community has not fixed them yet. Further, in TB4 the current task flaws affect less than 3 percent of rollouts on the leaderboards. It would be much more useful for a quality audit to find new issues that are not currently known.
Show more
Introducing Benchmark Reviews: our new initiative to audit AI benchmarks. We are launching with 15 benchmarks: 4 Verified, 9 Flawed, and 2 with not enough information for a review.
Show more
This pleasant feeling of seeing evidence that doing highly unpleasant things only suggests benefits due to selection bias and poor controls.
We just published the largest review of cold exposure for mental health
The capacity of the deletion channel within one hundredth of a bit. This is one of the most famous open problems in information theory, so its good to see some progress by our AI overlords, prompted by Dimitris.
Show more
More data from our experiment on agents vs humans on 14 day tasks. We compare human expert coders to coding agents on the same tasks (from AtCoder Heuristic Contest). The exciting finding is that humans scale super-linearly. This is evidence that humans do continual learning, while they are solving a problem! I.e. they learn more about the coding problem they are trying to solve and scale fundamentally better compared to randomly trying things in a memoryless fashion. This result consistently happens for different harnesses and problems. We release our paper on this: One interesting finding as an example: If you're planning to spend 5M tokens for a problem you should have one claude code session. If you have 30M you should have 2 sessions running independently for 15M each, and pick the best. If you have 100M token budget, you should have 3 sessions run independently and pick the best. Obviously communication between agents should do much better than this naive split of independent agents, but this has not been measured in a controlled way, as far as I know.
Show more
🧵 With unlimited compute, how fast can agents surpass humans? We introduce Elo-per-token analysis to profile agent performance curves across multiple open-ended tasks. • Agents initially scale faster than repeated sampling, but over long horizons converge toward their theoretical log-linear scaling curve. Humans, in contrast, improve superlinearly. • These curves also tell us how to spend test-time compute: the scaling inflection point gives a simple rule for splitting a fixed budget across agent sessions. Split a long run in a principled way, and you can get significant gains over a single run. • Fitting human-time and agent-token curves also gives us a fun way to translate AI compute into human time. Taking OpenAI’s ~130B-token Navier–Stokes run as input and extrapolating across the two curves gives an equivalent of ~41 years of work by a mathematician at 8 hours/day 😮.
Show more
This unfortunate feeling of seeing evidence that doing highly unpleasant things can be good for you.
A 30-second cold blast at the end of your shower cuts sick days by 29 percent. A 2016 trial of 3,018 adults in the Netherlands is the largest cold-shower study ever done. Geert Buijze at the Academic Medical Centre in Amsterdam split participants into four groups: 30, 60, or 90 seconds of cold water at the end of a shower, or no cold water. They did this for 30 days straight. All three cold groups had 29 percent fewer sick days. The length did not matter. Thirty seconds worked as well as ninety. The mechanism is thought to involve the immune system. Brief cold exposure triggers a spike in white blood cell count and an increase in metabolic rate, both of which are part of the body's response to what it perceives as a physical threat. Over time, repeated cold exposure appears to train the immune system to respond faster and more efficiently to infections. The study also found that 91 percent of participants in the cold-water group said they would continue the practice after the trial ended, even though most of them described the experience as unpleasant. They reported feeling more energetic, and the energy boost was the reason they kept going. Thirty seconds. At the end of the shower you were already taking. The water does not have to be ice cold. It has to be cold enough to make you gasp, and you have to stay in it for a count of thirty.
Show more
AutoResearchExam harness and instructions for running your own harnesses released.
Releasing AutoResearchExam harness along with a setup and scoring guide for running the benchmark with your own custom harness. Eager to see your experimental insights! Harness: Custom harness guide:
Show more
Introducing SkySynth: Enough with general-purpose systems that support many workloads and hardware configurations. SkySynth can write (on the fly!) an inference engine specific to the model/GPU and workloads you want to serve (eg Qwen3-4B 2.2x faster throughput compared to SGLang and vLLM) and a custom router that is 2x lower cost compared to generally optimized routers. Finally, a router that cares about your personal needs :p
Show more
Agents let us build systems for different workloads and requirements. But… can we trust what they build? We release 🌟SkySynth🌟: an engine for synthesizing high-performance, just-in-time (JIT) systems we can trust, by co-evolving formal proofs and tests alongside the code. Results: 💿 KV stores up to 2.3× faster than Redis and FASTER + formally verified stores with 2.9× Claude Code's pass rate 🚏 Model routers up to 48% cheaper than a general router ⚡ Specialized inference engine with 2.2× the throughput of vLLM/SGLang 🧵👇
Show more
2026 survey of agents is here
The agent ecosystem is evolving rapidly and we are trying to capture a picture of where we are and where things are headed. We're now collecting responses for the 2026 survey of agents. Help us create a more complete picture of how agent systems are evolving, what challenges remain, and where future research may be most impactful.
Show more
We are releasing AutoResearchExam, a benchmark on open-ended machine learning and engineering tasks. Our benchmark covers seven research areas including model training, data curation, AI safety and interpretability. In each task, we give agents 24 hours with a CPU or GPU machine to develop and improve their solutions through experiments and feedback. We measure both speed and quality with a combined score. Our benchmark has a unique feature: testing if agents create improvements that hold up on data they never see. We find that AI research agents often overfit as they try to improve. We see an interesting head-to-head comparison at the frontier: Astra starts the strongest and holds the lead for up to 19 hours but Fable 5.1 catches up and gets the top performing spot in the final hours. Qwen3.8 Max, Gemini 3.8 Flash and Grok 4.6 all sit on the cost-performance Pareto frontier, giving strong options at lower API budgets. Anthropic's Opus and Fable retain nearly all their validation performance on hidden tests, with gaps of 1.1% and 2.9%. Astra's improvement over Sol extends to generalization too, with that gap falling from 6.9% to 1.7%. (1/n)
Show more
Fascinating research: Emergent misalignment is just generalization.
(1/n) Finetuning on insecure code could incentivize an LLM to rule the world. This unexpected behavior is known as Emergent Misalignment (EM). We instead show that EM is in fact expected generalization. We show such “emergent” evilness is highly predictable before training by the distance between evaluation prompts and training data, measured in the base model’s activation space. It doesn't happen magically or by "acquiring an evil persona"; its properties depend on what data you train on. Evidence below:
Show more
How to post-train a model to personalize it on your code repo? In our latest research in Bespoke Labs, we post-trained a model to improve its performance on a given Github repository. Starting from Inkling base, we use supervised fine-tuning (SFT) with trajectories coming from a strong teacher model, and reinforcement learning (GRPO) on repository-specialized environments that we curated. SFT gave a 52pp improvement in performance on the held-out fontTools evaluation set. Further RL training lifts the total improvement to 57pp compared to the base Inkling model. In addition to the in-distribution evaluation our post-trained Inkling shows good performance on Terminal-Bench 2.1 and SWE-Bench Lite while becoming 40% more token efficient due to post-training. Read our full research blog post here: Many thanks to Thinking Machines Lab for their credit contribution that helped support this research.
Show more
4000 GB200s just arrived in Texas for the Horizon TACC cluster. I'm informed this is the largest academic supercomputer. Very excited to start training some open models with this bad-ass machine. (photo courtesy of Adam Klivans, director of NSF IFML)
Show more
We are excited to contribute and support Terminal-Bench-Science. This is an impressive effort of RL environments, curated by working scientists that challenge even the strongest frontier agents. This benchmark will drive the scientific discovery acceleration by AI agents.
Show more
TB-Science is here: 920 proposals → 464 approved → 386 PRs opened → 70 tasks. An impressive open-science effort across Life sciences, Physics, Geology, math and engineering domains.
We're releasing Terminal-Bench-Science: a benchmark for evaluating AI agents on research workflows across scientific domains. An ongoing Stanford-led community effort, built by the team behind Terminal-Bench together with scientific domain experts at research institutions worldwide. v0.1 has 70 tasks. Claude Opus 5 solves only ~30%. 1/n 👇
Show more
Here come *persistent* agents — very cool work
Introducing Headlong, an open source microharness for persistent agents: self-guided agents that think continuously. Most agent harnesses are reactive: you send a task, the agent completes it, and then it sits frozen until the next request. Cron jobs and heartbeats wake it up to run a checklist and put it back to sleep. A Headlong agent is never asleep. It keeps generating thoughts about whatever it decides is interesting, in a self-guided loop inspired by human inner monologue. Your message doesn't start a session. It's one more observation that lands in the agent's thought stream, and the agent decides if and when to reply. Headlong is built on the idea of persistent agency: continuous inner thought generation between external interactions. The agent sets its own interests and priorities, comes up with its own projects, and sometimes pings you unprompted with progress. To keep our prototype as simple and small as possible, we implemented Headlong as a microharness: a complete agent harness in under 10K lines of Bash, organized as a handful of small executables. It includes a loop that generates the next thought, shellm (a recursive language model written in Bash), a trajectory stored as a DAG of jsonl files, and context as a projection of that trajectory. We've been running one Headlong agent internally at Laude for several weeks. The whole team talks to it over Slack and Telegram, and every conversation lands in its single stream of thought. It works in its own fork of Headlong and we've pulled over 50 of its commits into main. One night, with nobody talking to it, it went back to check whether a recall process it had built was actually wired into its mind, found that it wasn't, diagnosed and fixed the bug, and verified the fix end to end. 48 minutes, no human asked for the fix or was in the loop at any point. Every step is a timestamped line in its log. Things broke too, and we wrote those up. Background thinking costs us $1 to $2 an hour, our agent stopped its own service three times by accident, and self-delegation died on day one. Details in the post. One line installs everything and starts an agent. Use a dedicated sandbox and spend-capped API key; it runs real shell commands and thinks around the clock. Headlong is research software, be careful! curl -fsSL | bash Launch post: Repo: Headlong is a @LaudeInstitute / MIT collaboration.
Show more
In medieval times, technical knowledge was kept hidden : guilds guarded recipes, processes, and tools and alchemists often wrote in deliberately obscure language. Knowledge was kept secret because it gives economic, professional, or political advantage. Enlightenment and the scientific revolution changed this: methods and results were published so knowledge could be tested, reproduced, and built upon. Open science is safer, scalable and enables completion and economic growth by reducing monopolies. Marin is doing this for AI with the most open effort going on right now: Open data, open experiments , open discussions - an enormous learning opportunity for the world to go from a dark fragmented art to open science.
Show more
🚢 Marin 535B-A23B started training this week! As usual, the whole process is open. Voyage plan: pretraining (80%) + midtraining (20%) on 18.75T tokens on 11 x GB200 NVL72 for ~3 months (2.7e24 FLOPs). Post-training will follow. Before kicking off the run, we trained a 4-rung scaling ladder from 1.6B-A61M (48B tokens) to 27.7B-A1.2B (926B tokens) to debug issues, and to make a forecast of our hero run. This is by far our biggest run, so definitely expecting the unexpected.
Show more
This writeup is fantastic. Not so much because it solves a problem that stumped me and many of my students for many years. But because it shows a new process that I think many in theory research are learning now: Super-intelligence is coming, so complexity in proofs is no longer the bottleneck. Verification of correctness, elementary steps and good storytelling is. I particularly enjoyed this part: ‘…But there was yet another problem, this new proof was UNREADABLE: a wall of notation, variables pointing to variables pointing to ratios of variables defining other variables, exotic matrix-analysis and probability machinery, Marchenko–Pastur adjacent stuff that gives me the hives, and other beautiful things. So for around 4-5 days I kept going back and forth between the two models and asking them to give me the dumbest possible set of steps, for each of the big components needed for the proof to work out.’ It used to be that to get published in fancy theory venues it helped if your proof used fancy tools: exotic matrix-analysis and Marchenko–Pastur etc. This is no longer the case.
Show more