BVSR

Blind Variation, Selective Retention

Improving Creative Idea Generation in AI Scientists

1Stanford University*Co-first Authors
Where BVSR acts in an AI scientist
Two stages of the standard discovery loop get a different diet of information.
Task Ideation Implementation Verification Discovery

Blind Variation

Ideate with limited task information
Full task description
Find spatially variable genes
Data: mouse eye, 2,500 spots  ·  Metric: Kendall correlation  ·  Baseline: SPARK-X
ideate
Similar proposalsanchored on familiar approaches
Limited context (BV)
Rank features by how much their variation is organized across a 2-D lattice.
ideate
Diverse proposals
MathPhysicsCS / MLBiology

Selective Retention

Verify only promising candidates
Learn from proposals already verified on the task
Verified scores
the outcome of each proposal already tested on this task
↓ train
New candidates
SRselector
Verify top 50%
Discard the rest
Overview. Blind Variation withholds most of the task description at ideation time, so independent generations stop converging on the same idea. Selective Retention trains a selector on proposal–outcome pairs from the same task and spends verification budget only on the candidates it ranks highly.
Watch

The paper in under a minute


The question

Can an AI scientist propose creative ideas?

AI agents now beat the best human-designed solutions on mathematical discovery, optimization and a growing list of scientific problems. But strong performance alone does not make a method creative.

Prior work has repeatedly observed that AI-generated proposals tend to be incremental: modifications or extensions of approaches that already exist. The usual remedies each run into a wall. Prompting a model to "be novel" yields diminishing returns on frontier models. Retrieved literature is a valuable reference, but the papers an agent retrieves for itself suffer from the same lack of diversity as its own proposals. Heuristic search relies on a fine-grained signal, while most scientific problems offer only a coarse score for a finished proposal.

We take a different route, borrowed from a sixty-year-old theory of human creativity. Donald Campbell described creative thought as blind variation and selective retention: scientists first generate diverse ideas without foreknowledge of which will succeed, often drawing on experience unrelated to the problem at hand, and then use what they have learned to discard the unreasonable ones and keep the plausible ones for further investigation.

The analogy to AI scientists turns out to be surprisingly literal. Giving a model too much task information while it generates proposals makes it anchor on familiar approaches. So we split the roles: limit task information during exploration, and exploit accumulated empirical experience during selection.

Measuring it

What counts as creative?

Psychologists have studied how to judge creativity since the 1950s, and identify three defining properties of a creative idea: it is novel, it is effective, and its success was not obvious in advance. Simonton turned this into a quantitative definition, which we adopt throughout:

$$\text{Creativity} \;=\; \underbrace{(1-p)}_{\text{Originality}} \;\times\; \underbrace{u}_{\text{Utility}} \;\times\; \underbrace{(1-v)}_{\text{Non-obviousness}}$$
\(p\): probability of generating the idea  ·  \(u\): its tested utility  ·  \(v\): prior knowledge that it would work

The product matters. An idea that everyone proposes scores zero no matter how well it works; so does a wild idea that fails, and so does a rare idea whose success the literature already guarantees. Try it:

A creative idea needs all three factors
Drag the sliders, or load a typical kind of proposal.
Interactive
0.10
0.80
0.20
Originality 1 − p
Utility u
Non-obviousness 1 − v
Creativity

To use this definition on an AI scientist, each candidate method (an idea, a supporting reference paper, and the code that implements it) is scored on the three terms:

Originality

1 − log|g(c)| / log n
An LLM partitions the n candidates from one batch into groups that express the same idea. The larger the group a candidate falls in, the more often the model proposes it, and the less original it is. This is generative rarity, not novelty relative to the literature.

Utility

u(c) ∈ [0, 1]
The candidate's code is run by the task's own evaluator. Its improvement over the task baseline is normalized by the best improvement any candidate achieved on that task.

Non-obviousness

1 − v(c)
An LLM judge reads the full task description and the idea, and estimates how much evidence existed at proposal time that the idea would work. Both judgments are validated against PhD-level experts below.

Part 1 · Blind Variation

Limited information induces more creativity

During ideation, the model reads a problem context \(I\) and returns one idea together with a reference paper. The context can be the full problem description \(S\), or only part of it. The question is what happens to creativity as \(I\) reveals more and more of \(S\).

Why would less information help?

Extra task information makes ideas more relevant, but it does something else too: it gives every independent generation the same strong signal to follow. We model this as shared-signal generation. Each idea class \(z_i\) has a task-association score \(a_i\), and a generation picks the idea maximizing \(\lambda(b)\,a_i\) plus its own exploratory noise, where \(b\) is the amount of task information and \(\lambda(b)\) grows with it. The resulting proposal distribution is a softmax that sharpens as information increases:

$$\pi_b(z_i) \;=\; \frac{\exp\!\big(\lambda(b)\,a_i\big)}{\sum_{j}\exp\!\big(\lambda(b)\,a_j\big)}$$
Proposition · Information–exploration tradeoff

Under shared-signal generation, the expected originality of generated proposals is non-increasing in task information. Under a fixed generation budget, if higher-utility ideas are less associated with the shared task signal, more task information also lowers the expected utility of the best proposal.

The figure below plays this model forward for one batch of 112 proposals, the batch size used in our experiments. Turn up the task signal and watch the proposals pile onto the most task-associated ideas.

Information-induced anchoring
Each dot is one proposal; each column is one idea class, ordered from most to least associated with the task signal.
Interactive
Task information → strength of the shared signal λ(b)λ = 0.0
no task informationfull task description
Mean originality of the batch
–
Distinct ideas proposed
–
Best idea found (utility of the best proposal)
–
high-utility idea classes
The shared-signal model in action. This figure illustrates the theory above; the experimental results follow in the next section. Proposal \(t\) picks \(\arg\max_i\{\lambda a_i + \varepsilon_{t,i}\}\) with Gumbel noise \(\varepsilon\) held fixed while you drag, so only the signal strength changes. High-utility ideas are placed among the less task-associated classes, the condition under which the proposition predicts that the best proposal gets worse.

Testing it on 12 scientific tasks

To test this empirically, we use Claude Opus 5 to summarize each full problem statement into contexts that reveal different amounts of information about the same task, and measure how much each context reveals with \(\mathcal{V}\)-usable information, a model-dependent analogue of mutual information:

$$\mathrm{info}(I) \;=\; H_{\mathcal V}(S)\;-\;H_{\mathcal V}(S \mid I)$$
In practice: how many bits easier the full description \(S\) becomes to predict for a language model once it has read \(I\).

Then five proposer models, all with reasoning enabled and a literature-search tool, generate 112 proposals for every task at every information level. Each proposal is implemented and run by the benchmark's evaluator.

Proposers:DeepSeek-V4-FlashDeepSeek-V4-ProGLM-5.3 FlashGLM-5.2Kimi-K3

The figure below is the main result. Slide the amount of task information from nothing to the full description and follow all four measurements at once.

More task information, less creative proposals
Each dot summarizes one batch of proposals for one benchmark, model and information level.
Interactive
What the proposer readsno task context
Task information given to the proposer
0bits
one batch of proposals trend line axis is linear up to 20 bits, logarithmic beyond
Effects of task information on proposal creativity (5 models × 12 tasks). The trend line follows the 95th percentile of the dots for top creativity and top utility, and the mean for originality and non-obviousness; readouts between measured levels are interpolated along it. "Top" panels show how often a batch's proposals land in the benchmark's top 1%, relative to chance (1×). The example context is from the spatially-variable-genes task; the full description is abridged.

Because AI-scientist tasks place particular value on the best methods, the first two panels look at the top 1% of proposals within each benchmark. Models produce a larger share of these top-ranked proposals at lower information levels: their relative frequency falls by 42% for creativity and 25% for utility as information grows from 0 to 140 bits. Mean originality drops by 15%, and mean non-obviousness by 67%.

We call this way of improving model creativity, simply giving the model less, Blind Variation (BV).

Against prompting-based baselines

Prior work improves AI-scientist creativity by changing the prompt. We compare BV with three such baselines (analogical reasoning, cross-domain search, and no-domain search), plus one control: the same BV prompt but with the full task description, which separates the effect of limited information from the effect of our prompt. All methods share the proposer models, candidate budget and reasoning configuration.

BV leads on all four measures
Creativity and utility: mean of the top 1% of proposals. Originality and non-obviousness: mean over all proposals. Whiskers show ± 1 SE.
Comparison of BV with baselines. Giving the same prompt the full task description costs it a large part of its advantage: creativity falls from 0.530 to 0.462 and non-obviousness from 0.713 to 0.609. Limiting task information is a major source of BV's gains.

Part 2 · Selective Retention

Learning from scientific experience

Blind variation deliberately reduces task-specific guidance during idea generation. But discovery should not ignore what is learned by working on the task. Scientists develop judgment about a problem by testing ideas on it, and verification is the expensive part: wet-lab experiments can take months, and machine-learning experiments can burn substantial GPU time.

So we treat every proposal already verified on a task as a unit of experience, a pair of a candidate and its empirical outcome, and learn from those pairs a scoring function that decides which new candidates should be retained for execution.

Screening is easier than picking a winner

A selector does not need to predict every score, or even rank candidates precisely. Its job is narrower: keep high-value candidates above the discard line. That is a much easier problem than finding the single best one.

Proposition · Selective-retention advantage

Under a mild utility-gap assumption, when the gap across the retention boundary exceeds the gap between the best candidate and its closest competitor, \(\Delta_{\mathrm{SR}}(d) > \Delta_{\mathrm{best}}\), a comparison across the boundary is more accurate than telling the best candidate from the runner-up.

Proposition · Safe discard threshold

Let \(\beta_q(d)\) be the expected fraction of top-\(q\) proposals lost at discard ratio \(d\). For a tolerated loss \(\epsilon\), the largest safe discard ratio is \(d_q^\star(\epsilon)=\sup\{d:\beta_q(d)\le\epsilon\}\). Random discarding loses \(\beta = d\), so its threshold is just \(\epsilon\); any selector with \(d_q^\star(\epsilon) > \epsilon\) saves verification budget at the same loss.

A pairwise objective for keeping the best

We implement the selector as a language model with a scalar scoring head: given the task specification \(S\) and a candidate \(x\), it outputs \(s = f_\theta(S, x)\). For each training run, \(\mathcal{T}\) holds the top-5% candidates by utility and \(\mathcal{B}\) is a uniform sample of the rest. The loss compares only across those two groups:

$$\mathcal{L}_{\mathrm{SR}} \;=\; \sum_{i\in\mathcal{T}}\;\sum_{j\in\mathcal{B}} \log\!\Big(1+\exp\!\big[-(s_i - s_j)\big]\Big)$$

Each term is one small lesson in scientific judgment: of two earlier proposals, which was more worth the experiment? The selector, a fine-tuned Qwen3.5-9B, is trained on 40,733 verified proposals and evaluated on 5,783 held-out proposals from the same 12 tasks. To test it, we rank the held-out candidates, discard the lowest-ranked fraction, and count how many of the truly top proposals survive.

How much can you throw away before losing the best ideas?
Fraction of top-5% proposals kept as more candidates are discarded. Higher is better. Drag across the chart.
Candidates discarded50%
Preserving top candidates during selective retention. Zero-shot judges are four prompted screeners (pointwise, setwise, listwise, and a Swiss-system tournament). The in-context-learning judge also sees four similar verified proposals and their outcomes. SFT uses the same backbone as SR, trained to regress scores with mean-squared error. The shaded band around the SR curve is the one reported in the paper.

Learned selection preserves top candidates far better than prompting. The in-context-learning judge, despite seeing verified outcomes of similar proposals, does no significantly better than zero-shot judges. Supervised fine-tuning helps, but trails SR: predicting scores accurately across the whole distribution is a different objective from keeping exceptional candidates out of the discard set.

At a discard ratio of 50%, SR preserves 79% of the top-5% proposals by creativity and 82% by utility. We use this operating point in everything that follows: the selector throws away the lowest-ranked half of all candidates before any of them is run.


Putting it together

BVSR inside an AI scientist

Do the two pieces add up to better end-to-end discovery? We plug BVSR into SimpleTES, a widely adopted AI-scientist workflow, and compare it with the original on five tasks: gene expression analysis, drug response prediction, anomaly detection, scaling-law discovery and brain activity prediction. Both configurations use Kimi-K3, with four parallel search trajectories of 40 proposals per iteration, for 10 iterations.

Higher final scores, reached with fewer experiments
Best task score against the cumulative number of empirically verified proposals. Hover to compare.
Integrating BVSR into SimpleTES. BVSR reaches a higher final score on all five tasks. The multiplier is how many times fewer verified proposals SimpleTES + BVSR needs to reach SimpleTES's final score (dotted line).

Which half is doing the work?

Both. We run four configurations on two tasks: the original SimpleTES, SimpleTES with BV alone, with SR alone, and with full BVSR. Toggle the configurations to compare them.

BV and SR are complementary
Best task score versus verification steps. Higher is better.
Ablation. On gene expression analysis, BV mainly raises the final score while SR mainly speeds up discovery. On scaling-law discovery, BVSR reaches a higher score earlier than either alone. BVSR improves on the stronger component in both tasks.

Case studies

What it discovered

The most interesting outputs are the programs themselves. Because blind variation frees the model from the task's home field, BVSR's best programs borrow mechanisms from far away: transition-state theory, superconductivity, matching markets. Each of the three below beats the best program found by SimpleTES under the same budget, and the strongest existing baseline for its task.

Cross-field discoveries by BVSR. Scores are task scores (higher is better): scaled Kendall correlation for gene expression analysis, a geometric mean of AUROC- and F1-based scores for anomaly detection, and held-out \(R^2\) for scaling-law discovery.

Where do good ideas come from?

During generation, models search the literature for a paper to draw on. We sampled 20,000 proposals, grouped them by the field of their reference paper, and asked which fields are over-represented among each task's top 1%. Mathematics is the best source of top-creativity proposals, while biology / medicine and mathematics lead for top utility.

Mathematics punches above its weight
Rate at which proposals inspired by each field reach their task's top 1%, relative to the average over all proposals (1×).
Proposal quality across domains of inspiration. A value above 1× means proposals drawing on that field are more likely than average to be a top proposal.

Sanity checks

Do human experts agree?

Two of our three creativity terms rest on LLM judgments, so we checked both against PhD-level researchers, under blinded conditions.

Originality: is the grouping right?

Five researchers each judged 30 pairs of proposals (150 pairs): do the two express essentially the same underlying mechanism?
LLM-grouped pairs that humans also call equivalent84%
0%95% CI 74–92%100%
LLM-separated pairs that humans also call distinct73%
0%95% CI 61–82%100%
The sample is balanced between grouped and separated pairs and covers multiple tasks, proposer models and generation methods.

Non-obviousness: does BV's edge survive?

Five researchers rated 150 high-quality proposals from BV and Analogical Reasoning on a 1–5 scale, with method identity hidden and summaries rewritten in a uniform style.
Blind Variation, mean rating3.64
Analogical Reasoning, mean rating2.97
1 · obviousdifference 0.67, 95% CI 0.33–0.99, p = 0.00065 · not obvious
Human ratings correlate with the automatic score at r = 0.56 (95% CI 0.45–0.67). All sampled proposals beat the best baseline of their task.

The information measure is also robust to the choice of scoring model: across ten open-weight models, pairwise estimates agree with a median Pearson correlation of 0.91, and the three-model average we use correlates with the ten-model average at 0.99.


Takeaway
Explore with less information.
Select with experience.

More information is not uniformly beneficial. During idea generation, detailed task information anchors language models on familiar mechanisms. After generation, empirical experience earned on the task is exactly what should guide which candidates deserve expensive verification. Effective AI scientists should separate the information used for exploration from the experience used for selection.

Cite

BibTeX

@misc{xu2026BVSR,
  title={Blind Variation, Selective Retention: Improving Creative Idea Generation in AI Scientists},
  author={Guowei Xu and Jiaru Zou and Mete Erdogan and Haotian Ye and Pan Lu and James Zou},
  year={2026},
  eprint={2611.12184},
  archivePrefix={arXiv},
  primaryClass={cs.CL},
  url={https://arxiv.org/abs/2611.12184},
}