Baba in Wonderland: Online Self-Supervised Dynamics Discovery for Executable World Models
Open accessAbstract
Executable world models can be read, edited, executed, and reused for planning, but only if the program captures the environment's transition law rather than semantic shortcuts in its surface vocabulary. We study online executable world-model learning under prior misalignment, where an agent must induce state-dependent dynamics from interaction evidence alone, without rule descriptions, reward signals, or trustworthy lexical priors. We introduce Alice, a closed-loop system that treats failed candidate updates as structural signal: when a candidate explains a new transition but loses previously explained ones, the preservation conflict reveals dynamics that the current program had conflated. Alice refines these conflicts into hypothesis classes that both provide compact, class-stratified preservation counterexamples for update and guide frontier exploration toward transitions that are novel and underrepresented with respect to the current program. We evaluate Alice on Baba in Wonderland, a prior-misaligned variant of Baba Is You that preserves simulator dynamics while replacing semantically meaningful rule-property labels with unrelated words. Experiments show that Alice substantially improves executable world-model learning under prior misalignment, and ablations show that both class refinement and class-aware exploration contribute.
AI snapshot
Written from the paper’s full text.
TL;DR
Alice is a closed-loop system for online executable world-model learning that treats rejected candidate program updates as structural signal, refining hypothesis classes that guide both program revision and exploration. On Baba in Wonderland, a prior-misaligned variant of Baba Is You with semantically remapped rule-property labels, Alice substantially outperforms the closest interaction-driven baseline.
Key findings
- Under prior misalignment, Alice reaches 0.982 All Acc. and 0.973 Balanced Acc. on online regular levels in Baba in Wonderland, versus WorldCoder’s 0.568 All Acc. and 0.198 Balanced Acc.; WorldCoder stops after 57 calls because its update loop terminates, while Alice uses 100 calls. In Default World, Alice reaches 0.993/0.992 versus WorldCoder’s 0.920/0.862, using 26 calls versus 97.
- In offline fixed-data evaluation on held-out extra levels, Alice reaches 0.956 All Acc. and 0.932 Balanced Acc. in Baba in Wonderland, compared with CWM’s 0.826/0.734 and GIF-MCTS’s 0.704/0.628; in Default World, Alice reaches 1.000/1.000 with 22 calls.
- On the held-out extra-level coverage transition dataset, Alice reaches 0.997 All Acc. and 0.995 Balanced Acc. in Baba in Wonderland, while WorldCoder reaches 0.749 All Acc. and 0.029 Balanced Acc.
- Ablations show both class refinement and class-aware exploration contribute: Single-Class and Root-Class variants are less efficient, and removing embedding novelty or expected class coverage produces complementary failures.
Methods
- The setting is online executable world-model learning in a deterministic MDP: the agent maintains a persistent source-code program \(P\), and a candidate update is accepted only if it explains the new transition while preserving every previously explained transition.
- Baba in Wonderland preserves Baba Is You simulator dynamics, action space, and rule-parsing mechanics but remaps rule-property labels to semantically unrelated words with no dictionary; experiments use 32 regular levels and 8 extra levels, with online comparison against WorldCoder and offline comparison against GIF-MCTS and CWM under the same GPT-5.4 backbone and LLM-call caps.
- Alice’s Programmer refines hypothesis classes from rejected candidate updates and samples class-stratified preservation counterexamples (up to \(n=3\) classes, \(m=1\) transition each); its Explorer scores frontier candidates using embedding novelty via kNN particle entropy (\(k=32\)) and expected class coverage, with \(\lambda_h=1\) and \(\lambda_C=0.05\). Metrics are exact one-step All Acc. and Balanced Acc., with compile failures and runtime errors counted as incorrect.
Limitations
- The paper states that experiments are limited to deterministic, discrete, symbolic environments where transition explainability can be checked exactly by executing a program; extending to stochastic, continuous, or partially observable domains will require broader notions of explanation, preservation, and update-induced evidence.
- The paper states that per-run costs are substantial, so unless otherwise noted each reported number reflects one run with a fixed configuration; it also reports LLM-backbone variation, with smaller models terminating earlier and reaching lower accuracy.
- Evident from the text: evaluation is confined to Baba Is You and its remapped variant, and qualitative failure cases remain, including missed OPEN-SHUT resolution, missing post-transform collision resolution, and missing rule-ordering precedence such as self-identity rules blocking competing noun conversions.
Model-written summary. Check it against the paper before relying on it.
Integrity signals
Registry
Cites
Statistics
Claims the paper makes
0 of 47 cited sources checked · 0 supported · 0 flagged
- Findingown data
Purity remains substantial in both Default World and Baba in Wonderland, despite a drop under the misleading Wonderland labels.
“purity remains substantial in both Default World and Baba in Wonderland, despite a drop under the misleading Wonderland labels.”
Quote in the paperNot a substantial claim - Findingown data
The gap between WorldCoder and Alice widens sharply in Baba in Wonderland compared to Default World.
“The gap widens sharply in Baba in Wonderland”
Quote in the paperSubstantial claim - Findingnone given
Rejected candidate program updates expose a latent partition of accumulated transitions into hypothesis classes, refined monotonically as more updates are attempted.
“We show that rejected candidate program updates expose a latent partition of accumulated transitions into hypothesis classes, refined monotonically as more updates are attempted.”
Quote in the paperSubstantial claim - Findingown data
Alice forms visible class-structured embeddings in both Default World and Baba in Wonderland.
“Alice forms visible class-structured embeddings in both Default World and Baba in Wonderland”
Quote in the paperNot a substantial claim - Findingown data
Without embedding novelty (w/o r_h), the embedding remains class-aware, but the visited regions are fragmented into small, similarly sized clusters, indicating limited coverage of the broader state-action space.
“Without embedding novelty (w/o r h ), the embedding remains class-aware, but the visited regions are fragmented into small, similarly sized clusters, indicating limited coverage of the broader state-action space.”
Quote in the paperSubstantial claim
- Findingown data
Without r_C, embedding novelty expands outward but can over-collect variants within already well-represented classes, leaving rarer hypothesis classes under-covered.
“without r C , embedding novelty expands outward but can over-collect variants within already well-represented classes, leaving rarer hypothesis classes under-covered.”
Quote in the paperSubstantial claim - Findingreasoning
BFS is the least efficient exploration objective in Figure 4.
“In Figure 4, BFS is the least efficient”
Quote in the paperSubstantial claim - Findingown data
Root-Class partly relieves the update bottleneck through the accepted-update partition.
“Root-Class partly relieves this bottleneck through the accepted-update partition”
Quote in the paperSubstantial claim - Findingreasoning
The gap is especially large under Balanced Acc.
“the gap is especially large under Balanced Acc.”
Quote in the paperSubstantial claim - Findingown data
Across Baba in Wonderland and the original Default World, Alice learns substantially more accurate executable world models than the closest prior interaction-driven baseline.
“Across Baba in Wonderland and the original Default World, Alice learns substantially more accurate executable world models than the closest prior interaction-driven baseline”
Quote in the paperSubstantial claim - Findingown data
In Default World fixed-data comparison, Alice reaches perfect held-out accuracy using fewer than a quarter of the LLM calls.
“Alice reaches perfect held-out accuracy using fewer than a quarter of the LLM calls.”
Quote in the paperNot a substantial claim - Findingown data
The gap between Alice and the closest prior interaction-driven baseline widens sharply under prior misalignment.
“Across Baba in Wonderland and the original Default World, Alice learns substantially more accurate executable world models than the closest prior interaction-driven baseline, with the gap widening sharply under prior misalignment; ablations confirm that class refinement and class-aware exploration each contribute.”
Quote in the paperSubstantial claim - Findingown data
WorldCoder remains much more reliable in Default World than in Baba in Wonderland on the coverage transition dataset.
“Table 7 shows that WorldCoder remains much more reliable in Default World than in Baba in Wonderland”
Quote in the paperNot a substantial claim - Findingown data
Coarse root classes can still conflate distinct dynamics after an overgeneralized update.
“its mid-run retry bars show that coarse root classes can still conflate distinct dynamics after an overgeneralized update.”
Quote in the paperSubstantial claim - Findingown data
CWM is the strongest baseline in the Default World fixed-data comparison.
“CWM is the strongest baseline in this setting”
Quote in the paperNot a substantial claim - Findingown data
In Default World, WorldCoder trails Alice in both All Acc. and Balanced Acc.
“In Default World, WorldCoder remains relatively strong but trails Alice in both All Acc. and Balanced Acc.”
Quote in the paperNot a substantial claim - Findingown data
In Baba in Wonderland, Alice retains 0.98 All Acc. and 0.97 Balanced Acc.
“Alice retains 0.98 All Acc. and 0.97 Balanced Acc.”
Quote in the paperSubstantial claim - Findingreasoning
Transitions that induce the same local dynamical effect but occur at different absolute positions or in different levels are collapsed into the same heuristic class.
“As a result, transitions that induce the same local dynamical effect but occur at different absolute positions or in different levels are collapsed into the same heuristic class.”
Quote in the paperSubstantial claim - Findingown data
The default n = 3, m = 1 setting gives the strongest Balanced Acc.
“The default n = 3, m = 1 setting gives the strongest Balanced Acc.”
Quote in the paperNot a substantial claim - Findingown data
Alice maintains high accuracy on the coverage transition dataset in Baba in Wonderland.
“Alice maintains high accuracy on the coverage transition dataset in Baba in Wonderland”
Quote in the paperSubstantial claim - Findingown data
The n = 1 variants are substantially weaker.
“The n = 1 variants are substantially weaker”
Quote in the paperSubstantial claim - Findingown data
Performance is sensitive to how preservation evidence is packaged.
“Table 8 shows that performance is sensitive to how preservation evidence is packaged.”
Quote in the paperNot a substantial claim - Premisecitation
Recent progress on executable and programmatic world models has largely operated on the favorable side of this divide, relying on curated transition traces, natural-language rule descriptions, or vocabularies whose surface meanings match the dynamics they label.
“Recent progress on executable and programmatic world models has largely operated on the favorable side of this divide, relying on curated transition traces, natural-language rule descriptions, or vocabularies whose surface meanings match the dynamics they label [3,17,24,28].”
Quote in the paperSubstantial claim0 of 4 sources checked- cites [3]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [17]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [24]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [28]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Interpretationreasoning
BFS is least efficient because it expands the reachable graph without prioritizing transitions near the current explanatory frontier.
“because it expands the reachable graph without prioritizing transitions near the current explanatory frontier.”
Quote in the paperSubstantial claim - Interpretationreasoning
The Explorer uses the same classes to score frontier candidates by both novelty and class underrepresentation, steering data collection toward the program's explanatory frontier.
“The Explorer uses the same classes to score frontier candidates by both novelty and class underrepresentation, steering data collection toward the program's explanatory frontier.”
Quote in the paperSubstantial claim - Interpretationreasoning
Successful modeling in Baba in Wonderland must be grounded in transition evidence rather than lexical priors.
“successful modeling must be grounded in transition evidence rather than lexical priors.”
Quote in the paperSubstantial claim- Rests on an assumption: Executable world models are useful for planning only if the program captures the environment's transition law rather than semantic shortcuts in its surface vocabulary.
- Interpretationreasoning
One signal therefore drives both program updates and data collection.
“One signal therefore drives both program updates and data collection.”
Quote in the paperSubstantial claim - Interpretationreasoning
The second proxy, expected class coverage, biases exploration toward classes with little existing evidence.
“The second proxy, expected class coverage, biases exploration toward classes with little existing evidence.”
Quote in the paperNot a substantial claim- Rests on an assumption: The class label of an unexecuted candidate is unobservable before execution.
- Premisereasoning
In Baba Is You, the currently active rule set is part of the environment state rather than a fixed background specification.
“the currently active rule set is itself part of the environment state rather than a fixed background specification.”
Quote in the paperSubstantial claim - Interpretationown data
The representation remains organized by transition evidence and preservation conflicts even when surface rule-property labels are misleading.
“suggesting that the representation remains organized by transition evidence and preservation conflicts even when surface rule-property labels are misleading.”
Quote in the paperNot a substantial claim - Interpretationreasoning
Success in Baba in Wonderland provides stronger evidence that the learned executable world model is grounded in interaction evidence rather than in semantically aligned textual shortcuts.
“Success in Baba in Wonderland therefore provides stronger evidence that the learned executable world model is grounded in interaction evidence rather than in semantically aligned textual shortcuts.”
Quote in the paperSubstantial claim - Interpretationreasoning
Root hypothesis classes alone are coarse because an early update can explain its target with a rule broader than the truth, sweeping in transitions that should later prove to obey something different.
“Root classes alone are coarse, however, because an early update can explain its target with a rule broader than the truth, sweeping in transitions that should later prove to obey something different.”
Quote in the paperSubstantial claim - Interpretationreasoning
Each rejected candidate that explains its target contributes one cut through the explained set, separating transitions that respond differently to the proposed update.
“Each rejected candidate that explains its target thus contributes one cut through E(P i ; D t ), separating transitions that respond differently to the proposed update.”
Quote in the paperSubstantial claim - Interpretationreasoning
The early-10^4-step drop in w/o r_C occurs because an accepted update can fit a narrow new case when D_t lacks enough preservation evidence to expose the resulting overgeneralization as a preservation conflict.
“The early-10 4 -step drop in w/o r C illustrates the consequence: an accepted update can fit a narrow new case when D t lacks enough preservation evidence to expose the resulting overgeneralization as a preservation conflict.”
Quote in the paperSubstantial claim - Premisereasoning
In Baba in Wonderland, held-out accuracy depends on how effectively each method converts the fixed train evidence into executable dynamics without relying on lexical shortcuts.
“held-out accuracy depends on how effectively each method converts the fixed train evidence into executable dynamics without relying on lexical shortcuts.”
Quote in the paperSubstantial claim - Premisecitation
In environments where pretrained semantic priors conflict with the transition law, language-space reasoning can follow surface meanings even when those meanings are misleading or when dynamics vary with state.
“This distinction matters in environments where pretrained semantic priors conflict with the transition law [29,35,36]: language-space reasoning can follow surface meanings even when those meanings are misleading or when dynamics vary with state.”
Quote in the paperSubstantial claim0 of 3 sources checked- cites [29]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [35]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [36]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Interpretationreasoning
Building an executable world model online in this regime exposes two coupled bottlenecks.
“Building an executable world model online in this regime exposes two coupled bottlenecks.”
Quote in the paperSubstantial claim- Rests on an assumption: When a language model synthesizes code in an environment whose surface vocabulary aligns with pretrained semantic priors, much of the inductive burden is supplied for free.
- Interpretationreasoning
Candidates far from previously observed embeddings score high.
“Candidates far from previously observed embeddings score high.”
Quote in the paperSubstantial claim - Interpretationreasoning
The two components operate in a closed loop, alternating program updates with update-guided exploration over the agent's interaction budget H.
“The two components operate in a closed loop, alternating program updates with update-guided exploration over the agent's interaction budget H.”
Quote in the paperSubstantial claim - Interpretationreasoning
After a candidate is accepted, newly explained transitions immediately contribute evidence to the same structure that produced them.
“After Q is accepted, τ t+1 and later explained transitions inherit the existing refinements: they are routed first by ρ into their root class, then by the stored split candidates into the appropriate refined class, so newly explained transitions immediately contribute evidence to the same structure that produced them.”
Quote in the paperSubstantial claim - Interpretationreasoning
The second bottleneck is an exploration bottleneck.
“The second is an exploration bottleneck.”
Quote in the paperSubstantial claim - Interpretationown data
CWM's remaining Balanced Acc. gap indicates that high overall accuracy can still miss less frequent transition types.
“yet its remaining Balanced Acc.gap indicates that high overall accuracy can still miss less frequent transition types.”
Quote in the paperNot a substantial claim - Interpretationown data
Transitions with the same behavioral effect remain largely grouped under Alice's learned partition, even when the surface rule-property labels no longer provide reliable semantic cues.
“This indicates that transitions with the same behavioral effect remain largely grouped under Alice's learned partition, even when the surface rule-property labels no longer provide reliable semantic cues.”
Quote in the paperSubstantial claim - Interpretationreasoning
The role of each remapped token must be inferred from transition evidence and from how the token participates in active rule sentences, rather than from pretrained lexical priors alone.
“The role of each remapped token must therefore be inferred from transition evidence and from how the token participates in active rule sentences, rather than from pretrained lexical priors alone.”
Quote in the paperSubstantial claim - Premiseown data
In Baba in Wonderland, lexical priors are unreliable.
“where lexical priors are unreliable”
Quote in the paperSubstantial claim - Premisecitation
Some prior work makes exploration model-relative through learning progress or anticipated model novelty, but these signals are designed for neural predictors or downstream control adaptation.
“Some prior work makes exploration model-relative through learning progress [15] or anticipated model novelty [25], but these signals are designed for neural predictors or downstream control adaptation.”
Quote in the paperSubstantial claim0 of 2 sources checked- cites [15]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [25]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Interpretationreasoning
Alice is a closed-loop system that addresses both bottlenecks by treating the same artifact - failed candidate updates - as a structural signal: the conflicts that arise when a candidate gains τ_{t+1} but loses some previously explained transitions reveal which transitions belonged to distinct hypotheses all along.
“We propose Alice, a closed-loop system that addresses both by treating the same artifact -failed candidate updatesas a structural signal: the conflicts that arise when a candidate gains τ t+1 but loses some previously explained transitions reveal which transitions belonged to distinct hypotheses all along.”
Quote in the paperSubstantial claim - Interpretationreasoning
When a candidate revision explains a new transition but loses previously explained ones, the lost transitions are evidence that the earlier program had conflated distinct dynamics under a single branch of code.
“When a candidate revision explains a new transition but loses previously explained ones, the lost transitions are evidence that the earlier program had conflated distinct dynamics under a single branch of code.”
Quote in the paperSubstantial claim - Interpretationreasoning
A refined hypothesis class can be split again by later rejected candidates, making the collection of classes monotonically finer over retries.
“A refined class can be split again by later rejected candidates, making C monotonically finer over retries.”
Quote in the paperSubstantial claim - Premisecitation
Verifying preservation against the full history is conceptually clean but practically infeasible because the dataset grows while the LLM context window does not.
“Verifying preservation against the full history is conceptually clean but practically infeasible because the dataset grows while the LLM context window does not [20,21,33].”
Quote in the paperSubstantial claim0 of 3 sources checked- cites [20]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [21]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [33]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Interpretationreasoning
The first bottleneck is an update bottleneck: each unexplained transition demands a code revision that explains the new transition without losing previously explained ones.
“The first is an update bottleneck: each unexplained transition demands a code revision that explains the new transition without losing previously explained ones.”
Quote in the paperSubstantial claim - Interpretationreasoning
The Baba in Wonderland benchmark isolates online executable world-model learning in a regime where lexical priors offer no shortcut.
“The benchmark isolates online executable world-model learning in a regime where lexical priors offer no shortcut.”
Quote in the paperSubstantial claim- Rests on an assumption: Labels such as STOP, MOVE, and WIN in Baba Is You provide semantic shortcuts.
- Interpretationreasoning
Transitions remain in the same hypothesis class until separated by a rejected candidate.
“Transitions remain in the same class until separated by a rejected candidate (Figure 2).”
Quote in the paperSubstantial claim - Interpretationreasoning
A correct hypothesis about T must capture how the currently active rule configuration determines transition outcomes, not a fixed background dynamics, but a transition law that the agent's own actions can rewrite.
“A correct hypothesis about T must therefore capture how the currently active rule configuration determines transition outcomes -not a fixed background dynamics, but a transition law that the agent's own actions can rewrite.”
Quote in the paperSubstantial claim- Rests on an assumption: In Baba Is You, because rules are part of the state, the same action can produce different outcomes depending on which sentences are currently active.
- Interpretationreasoning
This turns an event normally discarded as a rejection into a reusable artifact for organizing experience.
“This turns an event normally discarded as a rejection into a reusable artifact for organizing experience.”
Quote in the paperSubstantial claim - Interpretationreasoning
Single-Class saturates because R_t is drawn from an unstructured pool of redundant preservation evidence.
“since R t is drawn from an unstructured pool of redundant preservation evidence.”
Quote in the paperSubstantial claim - Interpretationown data
The closed loop of Alice can ground executable world-model construction in transition evidence even when surface labels are misleading.
“Through Baba in Wonderland, we show that this closed loop can ground executable world-model construction in transition evidence even when surface labels are misleading.”
Quote in the paperSubstantial claim - Study design and conductnone given
Alice is a closed-loop system that maintains a single persistent executable program while alternating LLM-based updates with update-guided exploration.
“We realize this idea in Alice, a closed-loop system that maintains a single persistent executable program while alternating LLM-based updates with update-guided exploration.”
Quote in the paperSubstantial claim - Interpretationreasoning
The preservation conflict reveals a latent partition of accumulated evidence into hypothesis classes that respond differently to the proposed change.
“The preservation conflict reveals a latent partition of accumulated evidence into hypothesis classes that respond differently to the proposed change.”
Quote in the paperSubstantial claim - Interpretationreasoning
The Programmer maintains the persistent program P_i and uses preservation conflicts to organize D_t into hypothesis classes that supply compact counterexamples for the next update.
“The Programmer maintains the persistent program P i and uses preservation conflicts to organize D t into hypothesis classes that supply compact counterexamples for the next update.”
Quote in the paperSubstantial claim - Premisereasoning
In Baba Is You, predicting the next state requires more than tracking the visible arrangement of objects: the same action can lead to different outcomes depending on which rules are currently active.
“predicting the next state requires more than tracking the visible arrangement of objects: the same action can lead to different outcomes depending on which rules are currently active.”
Quote in the paperSubstantial claim - Interpretationreasoning
The original game's residual semantic shortcut conflates two distinct sources of success: induction from transition evidence, and lookup from pretrained priors.
“This residual semantic shortcut conflates two distinct sources of success: induction from transition evidence, and lookup from pretrained priors.”
Quote in the paperSubstantial claim- Rests on an assumption: In the original Baba Is You, the rule_property labels STOP, MOVE, WIN carry their everyday meanings, so an LLM can often guess correct dynamics from surface vocabulary alone.
- Interpretationown data
The persistent update loop better preserves rare or easily conflated dynamics under prior misalignment.
“showing that the persistent update loop better preserves rare or easily conflated dynamics under prior misalignment.”
Quote in the paperSubstantial claim - Interpretationnone given
The experiments are limited to deterministic, discrete, symbolic environments where transition explainability can be checked exactly by executing a program.
“our experiments are limited to deterministic, discrete, symbolic environments where transition explainability can be checked exactly by executing a program.”
Quote in the paperSubstantial claim - Premisereasoning
The remapping breaks the direct alignment between pretrained lexical priors and the true behavioral meaning of rule-property tokens.
“The purpose of this intervention is to break the direct alignment between pretrained lexical priors and the true behavioral meaning of rule-property tokens.”
Quote in the paperSubstantial claim - Interpretationreasoning
Alice avoids both failures by using r_h for embedding space coverage and r_C to distribute that coverage across hypothesis classes, yielding more reliable program-relative exploration.
“Alice avoids both failures by using r h for embedding space coverage and r C to distribute that coverage across hypothesis classes, yielding more reliable program-relative exploration.”
Quote in the paperSubstantial claim - Interpretationreasoning
Both bottlenecks share a hidden source of signal: the program's own update failures.
“Our central observation is that both bottlenecks share a hidden source of signal: the program's own update failures.”
Quote in the paperSubstantial claim - Interpretationreasoning
The frontier score in Section 4.2 is a computable approximation of the entropy-mutual-information objective.
“The frontier score in Section 4.2 is a computable approximation of this criterion.”
Quote in the paperSubstantial claim - Interpretationreasoning
Alice avoids the failure mode of WorldCoder because its hypothesis classes supply the LLM with class-stratified preservation counterexamples that target the constraints a naive update tends to violate.
“Alice avoids this failure mode because its hypothesis classes supply the LLM with class-stratified preservation counterexamples that target the constraints a naive update tends to violate.”
Quote in the paperSubstantial claim - Interpretationreasoning
Rejected candidates expose such overgeneralizations at the class level.
“Rejected candidates expose such overgeneralizations at the class level.”
Quote in the paperSubstantial claim - Interpretationreasoning
The hypothesis classes provide exactly the supervision needed for this geometry.
“The hypothesis classes C provide exactly the supervision needed for this geometry: the Explorer trains h θ (x) with the supervised contrastive loss of Khosla et al. [14], pulling together embeddings within the same class and pushing apart embeddings across classes.”
Quote in the paperSubstantial claim - Interpretationreasoning
Together, the two pre-execution proxies bias graph-frontier exploration toward the program's explanatory frontier.
“Together, these proxies bias graph-frontier exploration toward the program's explanatory frontier.”
Quote in the paperSubstantial claim- Rests on an assumption: Neither the property of exposing a failure nor the property of inducing a new hypothesis class is observable before the candidate is executed.
- Interpretationreasoning
Alice uses rejection to refine hypothesis classes by splitting the affected class into preserved and lost transitions.
“Alice uses this rejection to refine its hypothesis classes.The affected class is split into transitions that the rejected candidate still preserves and transitions that it breaks.”
Quote in the paperSubstantial claim - Interpretationown data
Alice's class-structured update and exploration loop remains usable across the tested backbones.
“Alice's class-structured update and exploration loop nevertheless remains usable across the tested backbones.”
Quote in the paperNot a substantial claim - Interpretationown data
Lexical shortcuts can preserve common coverage transitions while failing to recover diverse transition effects under prior misalignment.
“indicating that lexical shortcuts can preserve common coverage transitions while failing to recover diverse transition effects under prior misalignment.”
Quote in the paperSubstantial claim - Interpretationown data
Too little class diversity in the program update context can miss rare preservation constraints.
“indicating that too little class diversity in the program update context can miss rare preservation constraints.”
Quote in the paperSubstantial claim - Interpretationown data
LLM backbones can differ not only in final accuracy, but also in how they revise executable programs.
“These results suggest that LLM backbones can differ not only in final accuracy, but also in how they revise executable programs”
Quote in the paperNot a substantial claim - Interpretationown data
Alice's learned executable model transfers beyond human-play solution trajectories.
“showing that its learned executable model transfers beyond human-play solution trajectories.”
Quote in the paperSubstantial claim - Interpretationreasoning
From observed transitions alone, it is difficult to infer that self-identity rules are not merely redundant transformations but priority-setting constraints that suppress competing noun conversions.
“From observed transitions alone, it is difficult to infer that self-identity rules are not merely redundant transformations but priority-setting constraints that suppress competing noun conversions.”
Quote in the paperSubstantial claim
- May combine two claims. 66
- Classified as probably not a substantial claim. 33
- The quote only partly states this claim. 2
May combine two claims.
Findingown dataWithout r_h, expected class coverage remains available but does not expand the learned state-action space sufficiently.
“without r h , expected class coverage remains available but does not expand the learned state-action space sufficiently”
Quote in the paperSubstantial claimMay combine two claims.
FindingreasoningAlice's middle segment is more productive, with longer retry bars concentrated near high accuracy on rare, structurally specific dynamics.
“This makes Alice's middle segment more productive, with longer retry bars concentrated near high accuracy on rare, structurally specific dynamics.”
Quote in the paperSubstantial claimMay combine two claims.
Findingown dataSingle-Class repeatedly spends LLM calls before acceptance and saturates after easy early updates.
“after easy early updates, Single-Class repeatedly spends LLM calls before acceptance and saturates”
Quote in the paperSubstantial claimMay combine two claims.
Findingown dataIn Baba in Wonderland, WorldCoder's All Acc. drops by more than 0.35 and its Balanced Acc. collapses below 0.20.
“WorldCoder's All Acc.drops by more than 0.35 and its Balanced Acc.collapses below 0.20”
Quote in the paperSubstantial claimMay combine two claims.
Findingown dataAblations show that both class refinement and class-aware exploration contribute to Alice's performance.
“ablations show that both class refinement and class-aware exploration contribute.”
- Also stated in: § Wall isn't always obstacle !! · boosted
“ablations confirm that class refinement and class-aware exploration each contribute.”
Quote in the paperSubstantial claim- Also stated in: § Wall isn't always obstacle !! · boosted
Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).
Findingnone givenPer-run costs are substantial in our regime.
“Per-run costs are substantial in our regime, so unless otherwise noted each reported number reflects one run with a fixed configuration.”
Quote in the paperNot a substantial claimMay combine two claims.
Findingown dataWithout expected class coverage (w/o r_C), exploration expands more aggressively through the embedding space, but the samples concentrate within a few large hypothesis classes, producing class-imbalanced coverage and over-exploring class-specific variants.
“Without expected class coverage (w/o r C ), exploration expands more aggressively through the embedding space, but the samples concentrate within a few large hypothesis classes, producing class-imbalanced coverage and over-exploring class-specific variants.”
Quote in the paperSubstantial claimMay combine two claims.
Findingown dataIn Baba in Wonderland fixed-data comparison, Alice improves over both GIF-MCTS and CWM, with the largest margin in Balanced Acc.
“Here Alice improves over both GIF-MCTS and CWM, with the largest margin in Balanced Acc.”
Quote in the paperSubstantial claimClassified as probably not a substantial claim. May combine two claims.
Findingnone givenRejected target-explaining updates reveal lost transitions, split affected classes, and provide preservation counterexamples for later retries.
“Rejected target-explaining updates reveal lost transitions, split affected classes, and provide preservation counterexamples for later retries.”
Quote in the paperSubstantial claimMay combine two claims.
Findingown dataOn regular levels in Baba in Wonderland, Alice achieves All Acc. 0.982 and Balanced Acc. 0.973, while WorldCoder achieves All Acc. 0.568 and Balanced Acc. 0.198.
“| WorldCoder | 0.920 | 0.862 | 97 | 0.568 | 0.198 | 57 |”
- Also stated in: § Subset Construction. · plain
“| Alice | 0.993 | 0.992 | 26 | 0.982 | 0.973 | 100 |”
Quote in the paperSubstantial claim- Also stated in: § Subset Construction. · plain
Probably not a substantial claim: may not pass S3 (load-bearing).
Findingnone givenThe extra level set contains 8 levels: 2 Stage-2 extra levels and 6 Stage-3 extra levels.
“The extra set contains 8 levels: 2 Stage-2 extra levels and 6 Stage-3 extra levels.”
Quote in the paperNot a substantial claimMay combine two claims.
Findingown dataIn the equal-budget diagnostic in Baba in Wonderland, WorldCoder selected under a 100-call cap achieves All Acc. 0.869 and Balanced Acc. 0.755 on regular levels and 0.786/0.727 on extra levels, while Alice achieves 0.982/0.973 on regular levels and 0.970/0.959 on extra levels.
“| WorldCoder | 0.869 | 0.755 | 0.786 | 0.727 | 100.0 |”
- Also stated in: § Subset Construction. · plain
“| Alice | 0.982 | 0.973 | 0.970 | 0.959 | 100.0 |”
Quote in the paperNot a substantial claim- Also stated in: § Subset Construction. · plain
Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.
Findingown dataIn the archived datasets after canonical transition deduplication, the regular solution transition dataset has 32 levels, 2,476 transitions, and 2,490 states; the regular coverage transition dataset has 32 levels, 3,200,000 transitions, and 1,254,186 states; the extra solution transition dataset has 8 levels, 1,126 transitions, and 1,126 states; and the extra coverage transition dataset has 8 уров
“| Regular Levels Solution transition dataset | 32 | 2,476 | 2,490 |”
- Also stated in: § Subset Construction. · plain
“| Regular Levels Coverage transition dataset | 32 | 3,200,000 | 1,254,186 |”
- Also stated in: § Subset Construction. · plain
“| Extra Levels | Solution transition dataset | 8 | 1,126 | 1,126 |”
Quote in the paperNot a substantial claim- Also stated in: § Subset Construction. · plain
May combine two claims.
Findingown dataThe more favorable WorldCoder run improves substantially over the 57-call run but still remains below Alice on both regular and extra levels, especially under Balanced Acc.
“As shown in Table10, this more favorable WorldCoder run improves substantially over the 57-call run, but still remains below Alice on both regular and extra levels, especially under Balanced Acc.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S3 (load-bearing), S4 (based). May combine two claims.
Findingnone givenIn Baba in Wonderland, the simulator dynamics are preserved while rule-property labels are semantically remapped, removing lexical shortcuts.
“Left: simulator dynamics are preserved while rule-property labels are semantically remapped, removing lexical shortcuts.”
Quote in the paperNot a substantial claimMay combine two claims.
Findingown dataIn the archived datasets, the class-reduced procedure reduces the train/test solution transition sets from 2,476/1,126 transitions to 595/293 representatives and the train/test coverage transition sets from 3,200,000/800,000 transitions to 7,232/2,073 representatives.
“In our archived datasets, this reduces the train/test solution transition sets from 2,476/1,126 transitions to 595/293 representatives and the train/test coverage transition sets from 3,200,000/800,000 transitions to 7,232/2,073 representatives.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S3 (load-bearing).
Findingnone givenIn Baba in Wonderland, the rule-property remapping leaves simulator semantics unchanged.
“Simulator semantics remain unchanged.”
Quote in the paperNot a substantial claimMay combine two claims.
Findingown dataGPT-5.4 tended to make more incremental program revisions and continued until the full 100-call budget was exhausted.
“GPT-5.4 instead tended to make more incremental program revisions and continued until the full 100-call budget was exhausted.”
Quote in the paperNot a substantial claimMay combine two claims.
Findingown dataIn a simultaneous movement and blocking success case, Alice's learned program moves each controlled object in the correct order, checks the blocking constraint for the ROCK adjacent to the HEDGE, and preserves the blocked ROCK rather than deleting it or moving it into the HEDGE cell.
“Alice's learned program handles this mixed outcome: it moves each controlled object in the correct order, checks the blocking constraint for the ROCK adjacent to the HEDGE, and preserves the blocked ROCK rather than deleting it or moving it into the HEDGE cell.”
Quote in the paperSubstantial claimMay combine two claims.
Findingown dataAlice's learned program applies ROCK IS FLAG and converts the ROCK objects into FLAG, producing an incorrect next state.
“Alice's learned program instead applies ROCK IS FLAG and converts the ROCK objects into FLAG, producing an incorrect next state.”
Quote in the paperNot a substantial claimMay combine two claims.
Findingown datan = 3, m = 3 slightly improves All Acc. at the cost of lower Balanced Acc.
“while n = 3, m = 3 slightly improves All Acc. at the cost of lower Balanced Acc.”
Quote in the paperNot a substantial claimMay combine two claims. The quote only partly states this claim.
Findingown dataOn regular levels in Default World, Alice achieves All Acc. 0.993 and Balanced Acc. 0.992, while WorldCoder achieves All Acc. 0.920 and Balanced Acc. 0.862.
“| WorldCoder | 0.920 | 0.862 | 97 | 0.568 | 0.198 | 57 |”
- Also stated in: § Subset Construction. · plain
“| Alice | 0.993 | 0.992 | 26 | 0.982 | 0.973 | 100 |”
Quote in the paperSubstantial claim- Also stated in: § Subset Construction. · plain
May combine two claims.
Findingown dataIn the offline ablation of Alice's program-update evidence hyperparameters in Baba in Wonderland, the default setting n=3, m=1 achieves All Acc. 0.956 and Balanced Acc. 0.932, while n=1, m=1 achieves 0.722/0.621, n=1, m=3 achieves 0.857/0.809, and n=3, m=3 achieves 0.964/0.911.
“| n = 1, m = 1 | 0.722 | 0.621 | 51.0 |”
- Also stated in: § Subset Construction. · plain
“| n = 1, m = 3 | 0.857 | 0.809 | 100.0 |”
- Also stated in: § Subset Construction. · plain
“| n = 3, m = 1 (Alice) | 0.956 | 0.932 | 100.0 |”
Quote in the paperNot a substantial claim- Also stated in: § Subset Construction. · plain
Classified as probably not a substantial claim.
Findingnone givenThe Explorer selects frontier candidates by combining embedding novelty with expected coverage of underrepresented hypothesis classes.
“The Explorer selects frontier candidates by combining embedding novelty with expected coverage of underrepresented hypothesis classes.”
Quote in the paperSubstantial claimMay combine two claims.
Findingown dataOn the held-out extra-level coverage transition dataset in Baba in Wonderland, Alice achieves All Acc. 0.997 and Balanced Acc. 0.995, while WorldCoder achieves All Acc. 0.749 and Balanced Acc. 0.029.
“| WorldCoder | 0.984 | 0.894 | 0.749 | 0.029 |”
- Also stated in: § Subset Construction. · plain
“| Alice | 0.999 | 0.996 | 0.997 | 0.995 |”
Quote in the paperSubstantial claim- Also stated in: § Subset Construction. · plain
May combine two claims.
Findingown dataIn a push-chain success case under misleading rule-property labels, Alice predicts the exact next state while all three baselines fail.
“Figure7shows an evaluation transition on which Alice predicts the exact next state while all three baselines fail.”
Quote in the paperNot a substantial claimMay combine two claims.
Findingown dataIn the push-chain case, the selected WorldCoder program moves controlled objects but does not model the push-chain effect, while the GIF-MCTS and CWM programs contain generic push logic but do not identify the Wonderland GROW property as PUSH in this configuration.
“The selected WorldCoder program moves controlled objects but does not model this push-chain effect, while the GIF-MCTS and CWM programs contain generic push logic but do not identify the Wonderland GROW property as PUSH in this configuration.”
Quote in the paperSubstantial claimMay combine two claims.
Findingown dataIn hypothesis-class alignment for Alice, purity is 0.978 on regular Default World levels, 0.955 on extra Default World levels, 0.793 on regular Baba in Wonderland levels, and 0.817 on extra Baba in Wonderland levels.
“| Default World | Regular levels | 0.978 | 595 | 23 |”
- Also stated in: § Subset Construction. · plain
“| Default World | Extra levels | 0.955 | 293 | 14 |”
- Also stated in: § Subset Construction. · plain
“| Baba in Wonderland | Regular levels | 0.793 | 595 | 66 |”
Quote in the paperNot a substantial claim- Also stated in: § Subset Construction. · plain
Probably not a substantial claim: may not pass S3 (load-bearing).
Findingown dataUnder the strict online protocol, the WorldCoder run in Baba in Wonderland stops after 57 calls because it exhausts the 15-call retry budget on one failed program update.
“Under this protocol, the WorldCoder run in Baba in Wonderland stops after 57 calls because it exhausts the 15-call retry budget on one failed program update.”
Quote in the paperNot a substantial claimMay combine two claims.
Findingown dataGemini 3.1 Pro quickly produced a broad program that achieved high accuracy, but later had difficulty revising that program for a few special cases and terminated before using the full call budget.
“Gemini 3.1 Pro quickly produced a broad program that achieved high accuracy, but later had difficulty revising that program for a few special cases and terminated before using the full call budget.”
Quote in the paperNot a substantial claimClassified as probably not a substantial claim.
FindingreasoningThe class-reduced subset contains exactly one transition per heuristic class.
“The resulting subset therefore contains exactly one transition per heuristic class.”
Quote in the paperSubstantial claimMay combine two claims.
Findingown dataSmaller-model runs terminated earlier and reached lower accuracy, especially under Balanced Acc.
“The smaller-model runs terminated earlier and reached lower accuracy, especially under Balanced Acc.”
Quote in the paperNot a substantial claimMay combine two claims.
Findingown dataIn the simultaneous movement and blocking case, WorldCoder lacks the corresponding stop-blocking rule, GIF-MCTS omits the blocked ROCK, and CWM moves the ROCK into the blocked cell.
“WorldCoder lacks the corresponding stop-blocking rule, GIF-MCTS omits the blocked ROCK, and CWM moves the ROCK into the blocked cell.”
Quote in the paperSubstantial claimMay combine two claims.
Findingown dataIn Baba in Wonderland, Alice with different LLM backbones achieves online regular-level human-play transition accuracy: GPT-5.4-mini 0.865/0.713, Gemini 3.0 Flash 0.958/0.903, GPT-5.4 0.982/0.973, and Gemini 3.1 Pro 0.993/0.992.
“| GPT-5.4-mini | 0.865 | 0.713 | 41.0 |”
- Also stated in: § Subset Construction. · plain
“| Gemini 3.0 Flash | 0.958 | 0.903 | 56.0 |”
- Also stated in: § Subset Construction. · plain
“| GPT-5.4 | 0.982 | 0.973 | 100.0 |”
Quote in the paperSubstantial claim- Also stated in: § Subset Construction. · plain
May combine two claims.
Findingown dataAlice's learned program performs the noun-to-noun conversion but does not resolve the resulting world-object interaction afterward, so the transformed BABA incorrectly remains in the predicted next state.
“Alice's learned program performs the noun-to-noun conversion but does not resolve the resulting world-object interaction afterward, so the transformed BABA incorrectly remains in the predicted next state.”
Quote in the paperNot a substantial claimMay combine two claims.
Findingown dataIn offline fixed-data evaluation on held-out extra-level transitions in Baba in Wonderland, Alice achieves All Acc. 0.956 and Balanced Acc. 0.932, while CWM achieves 0.826/0.734 and GIF-MCTS achieves 0.704/0.628.
“| GIF-MCTS | 0.866 | 0.799 | 100 | 0.704 | 0.628 | 100 |”
- Also stated in: § Subset Construction. · plain
“| CWM | 0.962 | 0.928 | 100 | 0.826 | 0.734 | 100 |”
- Also stated in: § Subset Construction. · plain
“| Alice | 1.000 | 1.000 | 22 | 0.956 | 0.932 | 100 |”
Quote in the paperSubstantial claim- Also stated in: § Subset Construction. · plain
Probably not a substantial claim: may not pass S3 (load-bearing).
Findingnone givenThe regular level set contains 32 levels: all 8 Stage-1 levels, 13 regular Stage-2 levels, and 11 regular Stage-3 levels.
“The regular set contains 32 levels: all 8 Stage-1 levels, 13 regular Stage-2 levels, and 11 regular Stage-3 levels.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.
PremisecitationA separate line of work confronts regimes without such scaffolds, but typically reasons inside the LLM rather than synthesizing a persistent program.
“confronts regimes without such scaffolds, but typically reasons inside the Large Language Model (LLM) rather than synthesizing a persistent program [29,36].”
Quote in the paperNot a substantial claim0 of 2 sources checked- cites [29]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [36]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
May combine two claims.
PremisecitationWhen surface vocabulary does not align with pretrained semantic priors, the same vocabulary becomes an active source of error, and the editable program encodes the wrong dynamics.
“When it does not, the same vocabulary becomes an active source of error [29,35,36], and the editable program, however clean its source, encodes the wrong dynamics.”
Quote in the paperSubstantial claim0 of 3 sources checked- cites [29]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [35]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [36]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Classified as probably not a substantial claim.
Study design and conductreasoningBaba in Wonderland is a controlled prior-misaligned variant of Baba Is You.
“We instantiate this regime with Baba in Wonderland, a controlled prior-misaligned variant of Baba Is You”
Quote in the paperSubstantial claim- Rests on an assumption: The original Baba Is You exhibits state-dependent dynamics: rule sentences live inside the state, so the same action can produce different outcomes as rule blocks are rearranged.
May combine two claims.
InterpretationreasoningThe embedding novelty score r_h approximates the H_pi(h) term, the active-class contrastive objective supports the -H_pi(C_tau_x | h) term, and the expected class-coverage score r_C approximates the H_pi(C_tau_x) term.
“The embeddingnovelty score r h (x) approximates the H π (h) term, the active-class contrastive objective supports the -H π (C τx | h) term, and the expected class-coverage score r C (x) approximates the H π (C τx ) term.”
Quote in the paperSubstantial claimMay combine two claims.
Study design and conductnone givenBaba in Wonderland preserves the simulator dynamics, action space, and rule-parsing mechanics, but replaces semantically meaningful rule-property labels with semantically unrelated words and provides no dictionary.
“Baba in Wonderland preserves the simulator dynamics, action space, and rule-parsing mechanics, but replaces these labels with semantically unrelated words and provides no dictionary.”
Quote in the paperSubstantial claim- Rests on an assumption: The original Baba Is You exhibits state-dependent dynamics: rule sentences live inside the state, so the same action can produce different outcomes as rule blocks are rearranged.
- Rests on an assumption: Labels such as STOP, MOVE, and WIN in Baba Is You provide semantic shortcuts.
May combine two claims.
PremisecitationWorldCoder maintains executable code as its world model, but it does not organize failed program updates into hypothesis classes for later preservation or exploration.
“Like Alice, WorldCoder maintains executable code as its world model, but it does not organize failed program updates into hypothesis classes for later preservation or exploration.”
Quote in the paperNot a substantial claim0 of 1 sources checked- cites [28]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
May combine two claims.
InterpretationreasoningWorldCoder consumes only 57 calls in Baba in Wonderland because its update loop terminates: a candidate update that fits the most recent failure regresses on previously explained transitions, the per-iteration retry budget is exhausted, and no further update is accepted.
“WorldCoder consumes only 57 calls not because it is more efficient but because its update loop terminates: a candidate update that fits the most recent failure regresses on previously explained transitions, the per-iteration retry budget is exhausted, and no further update is accepted.”
Quote in the paperSubstantial claimClassified as probably not a substantial claim.
InterpretationreasoningP_i is an executable hypothesis induced from D_t, not a lossless record of it: its code specifies how to compute next states without recording which transitions support each branch.
“P i is an executable hypothesis induced from D t , not a lossless record of it: its code specifies how to compute next states without recording which transitions support each branch.”
Quote in the paperSubstantial claimMay combine two claims.
InterpretationreasoningThe single signal of failed updates drives both halves of Alice: it shapes which counterexamples the LLM sees in the reference set, and it shapes which transitions the agent seeks through the frontier score.
“The single signal of failed updates therefore drives both halves of Alice: it shapes which counterexamples the LLM sees in R t , and it shapes which transitions the agent seeks through S frontier .”
Quote in the paperSubstantial claimClassified as probably not a substantial claim. May combine two claims.
PremisecitationTask reward can direct data collection in model-based control, and solution-finding objectives can guide executable world-model agents, but these objectives may be unavailable in reward-free settings or misaligned with dynamics discovery.
“Task reward can direct data collection in model-based control [8], and solution-finding objectives can guide executable world-model agents [28], but these objectives may be unavailable in reward-free settings [13] or misaligned with dynamics discovery.”
Quote in the paperSubstantial claim0 of 3 sources checked- cites [8]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [28]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [13]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
May combine two claims.
InterpretationreasoningGenerating a candidate update that will pass the preservation check is harder than verifying preservation, because the prompt must convey what the previously explained transitions actually look like, and neither P_i nor τ_{t+1} alone is enough.
“Generating a candidate that will pass this check is harder, because the prompt must convey what those transitions actually look like, and neither P i nor τ t+1 alone is enough.”
Quote in the paperSubstantial claimProbably not a substantial claim: may not pass S3 (load-bearing).
Premisenone givenGIF-MCTS and CWM together cover search-based and population-based code world-model synthesis.
“For offline fixed-data experiments, we additionally compare against GIF-MCTS [3] and CWM [17], which together cover search-based and population-based code world-model synthesis.”
Quote in the paperNot a substantial claim0 of 2 sources checked- cites [3]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [17]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Probably not a substantial claim: may not pass S4 (based). May combine two claims.
InterpretationreasoningRejected candidate updates induce hypothesis classes over transition evidence, and the Explorer uses these classes to measure novelty and underrepresentation with respect to the current program's explanatory frontier.
“Rejected candidate updates induce hypothesis classes over transition evidence, and the Explorer uses these classes to measure novelty and underrepresentation with respect to the current program's explanatory frontier.”
Quote in the paperNot a substantial claimMay combine two claims.
Premisenone givenNeural latent dynamics models and LLM-based simulators can be powerful, but their dynamics are not preserved as a persistent executable artifact that can be inspected, locally updated, and reused as source code.
“These models can be powerful, but their dynamics are not preserved as a persistent executable artifact that can be inspected, locally updated, and reused as source code.”
Quote in the paperSubstantial claim0 of 9 sources checked- cites [6]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [7]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [8]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [9]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [10]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [12]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [26]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [27]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [32]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.
Study design and conductnone givenIn the offline comparison Alice trains only on the fixed dataset and does not use its Explorer.
“in the offline comparison Alice trains only on the fixed dataset and does not use its Explorer.”
Quote in the paperNot a substantial claimMay combine two claims.
PremisecitationImproving the model requires transitions that expose gaps in its current hypotheses, but no external reward, rule description, or pretrained prior identifies which transitions those are.
“Improving the model requires transitions that expose gaps in its current hypotheses, but no external reward, rule description, or pretrained prior identifies which transitions those are [13,29,36].”
Quote in the paperSubstantial claim0 of 3 sources checked- cites [13]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [29]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [36]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Probably not a substantial claim: may not pass S2 (checkable).
PremisereasoningBaba Is You provides a natural testbed for executable world-model learning in environments where accurate prediction depends on maintaining explicit hypotheses about mutable rules.
“Baba Is You therefore provides a natural testbed for executable world-model learning in environments where accurate prediction depends on maintaining explicit hypotheses about mutable rules.”
Quote in the paperNot a substantial claimClassified as probably not a substantial claim. May combine two claims.
InterpretationreasoningOur work shares the goal of learning an executable world model, but studies a stricter regime: the agent must maintain a persistent program online from interaction evidence alone, while surface vocabulary is prior-misaligned and the effective transition law changes with the state.
“Our work shares the goal of learning an executable world model, but studies a stricter regime: the agent must maintain a persistent program online from interaction evidence alone, while surface vocabulary is prior-misaligned and the effective transition law changes with the state.”
Quote in the paperSubstantial claimClassified as probably not a substantial claim.
InterpretationreasoningAlice derives the exploration space from the executable update process itself.
“Alice instead derives the exploration space from the executable update process itself.”
Quote in the paperSubstantial claimMay combine two claims.
InterpretationreasoningSection 3 identified two coupled bottlenecks for online executable world-model learning: an update bottleneck, in which each candidate revision must preserve every previously explained transition under a context budget that cannot hold all of D_t, and an exploration bottleneck, in which no external signal indicates which transitions would expose gaps in the current hypothesis.
“Section 3 identified two coupled bottlenecks for online executable world-model learning: an update bottleneck, in which each candidate revision must preserve every previously explained transition under a context budget that cannot hold all of D t , and an exploration bottleneck, in which no external signal indicates which transitions would expose gaps in the current hypothesis.”
Quote in the paperSubstantial claim- Rests on an assumption: In Baba Is You, the state space is large and combinatorial, so unguided exploration cannot enumerate it within any realistic budget.
- Rests on an assumption: In the problem setting, pre-collected traces and rule descriptions are unavailable, and task rewards do not specify which transitions improve the hypothesis.
Probably not a substantial claim: may not pass S4 (based). May combine two claims.
InterpretationreasoningFor embedding novelty to track the program's explanatory frontier rather than mere surface variation, candidates that fall in the same hypothesis class should map to nearby embeddings, and candidates from different classes should map to distant ones.
“For embedding novelty to track the program's explanatory frontier rather than mere surface variation, candidates that fall in the same hypothesis class should map to nearby embeddings, and candidates from different classes should map to distant ones.”
Quote in the paperNot a substantial claimClassified as probably not a substantial claim.
InterpretationreasoningThe few selected transitions, each witnessing a distinct preservation constraint, replace what would otherwise be random samples from the data.
“These few transitions, each witnessing a distinct preservation constraint, replace what would otherwise be random samples from D t .”
Quote in the paperSubstantial claimMay combine two claims.
InterpretationreasoningThe merger inside a program version hides a distinction, and the preservation counterexamples surface exactly the transitions where that distinction matters.
“The merger inside P i was therefore hiding a distinction, and L pc surfaces exactly the transitions where that distinction matters.”
Quote in the paperSubstantial claimClassified as probably not a substantial claim. May combine two claims.
Study design and conductnone givenThe agent receives no dictionary and no natural-language explanation of the remapping.
“The agent receives no dictionary and no natural-language explanation of the remapping.”
Quote in the paperSubstantial claimMay combine two claims.
Study design and conductreasoningRejected candidate updates refine accumulated transitions into hypothesis classes, which serve two roles: they supply compact, class-stratified preservation counterexamples for update, and they shape an embedding space in which a frontier explorer scores candidates by particle-entropy novelty and class-rarity coverage.
“Rejected candidate updates refine accumulated transitions into hypothesis classes, which serve two roles: they supply compact, class-stratified preservation counterexamples for update, and they shape an embedding space in which a frontier explorer scores candidates by particle-entropy novelty and class-rarity coverage.”
Quote in the paperSubstantial claimMay combine two claims.
InterpretationreasoningWithout such a signal, exploration either spends budget on transitions the current program already explains or traverses the state graph without knowing which transitions matter.
“Without such a signal, exploration either spends budget on transitions the current program already explains or traverses the state graph without knowing which transitions matter.”
Quote in the paperSubstantial claimProbably not a substantial claim: may not pass S3 (load-bearing).
Study design and conductreasoningUnless otherwise noted each reported number reflects one run with a fixed configuration.
“so unless otherwise noted each reported number reflects one run with a fixed configuration.”
Quote in the paperNot a substantial claimClassified as probably not a substantial claim. May combine two claims.
Study design and conductnone givenThe agent is given no dictionary and no description of the remapping.
“The agent is given no dictionary and no description of the remapping.”
Quote in the paperSubstantial claimMay combine two claims.
PremisecitationUpdating from a small subset is context-efficient but risks brittle revisions that fit the target while silently regressing on rare or structurally distinct cases.
“Updating from a small subset is context-efficient [34] but risks brittle revisions that fit the target while silently regressing on rare or structurally distinct cases [37].”
Quote in the paperSubstantial claim0 of 2 sources checked- cites [34]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [37]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
May combine two claims.
Study design and conductreasoningBaba in Wonderland is a minimal intervention that preserves the simulator dynamics, action space, and rule-parsing mechanics, and changes only the surface labels of rule_property tokens, remapping them to semantically unrelated words.
“we introduce Baba in Wonderland, a minimal intervention that preserves the simulator dynamics, action space, and rule-parsing mechanics, and changes only the surface labels of rule_property tokens, remapping them to semantically unrelated words”
Quote in the paperSubstantial claimMay combine two claims.
InterpretationreasoningThe acceptance check remains over the full explained set, so the reference set shapes only the update context, not the correctness criterion.
“The acceptance check itself remains over the full E(P i ; D t ), so R t shapes only the update context, not the correctness criterion.”
Quote in the paperNot a substantial claimMay combine two claims.
InterpretationreasoningThe evidence for the prompt must come from D_t itself, but D_t grows online while the prompt budget is fixed, so the Programmer cannot include it in full.
“The evidence must therefore come from D t itself -but D t grows online while the prompt budget is fixed, so the Programmer cannot include it in full.”
Quote in the paperSubstantial claimProbably not a substantial claim: may not pass S3 (load-bearing).
PremisecitationThe closest line of work asks LLMs to externalize environment knowledge as executable code or structured programmatic world models, including reusable procedures for embodied control, interaction-driven code world models, search-guided synthesis, natural-language-rule-to-code game models, and compositional code-based modeling.
“The closest line of work asks LLMs to externalize environment knowledge as executable code or structured programmatic world models, including reusable procedures for embodied control [18,31], interaction-driven code world models [28], search-guided synthesis [3], natural-language-rule-tocode game models [17], and compositional code-based modeling [24].”
Quote in the paperNot a substantial claim0 of 4 sources checked- cites [18]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [31]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [28]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [3]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
May combine two claims.
Interpretationown dataAlice balances these pressures: embedding novelty expands the program-relative state-action geometry, while expected class coverage distributes that expansion across underrepresented hypothesis classes near the explanatory frontier.
“Alice balances these pressures: embedding novelty expands the program-relative state-action geometry, while expected class coverage distributes that expansion across underrepresented hypothesis classes near the explanatory frontier.”
Quote in the paperSubstantial claimMay combine two claims.
InterpretationreasoningA remapped token remains a stable identifier for the same role, but its surface form no longer hints at how that role behaves.
“A remapped token remains a stable identifier for the same role, but its surface form no longer hints at how that role behaves”
Quote in the paperSubstantial claim- Rests on an assumption: Labels such as STOP, MOVE, and WIN in Baba Is You provide semantic shortcuts.
Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.
PremisecitationIntrinsic-motivation and reward-free methods use information gain or uncertainty, novelty, disagreement, memory or directed exploration, and entropy or mutual information in behavior and transition spaces.
“Intrinsic-motivation and reward-free methods instead use information gain or uncertainty [11,15], novelty [2,22], disagreement [23], memory or directed exploration [1,4], and entropy or mutual information in behavior and transition spaces [5,16,19,30].”
Quote in the paperNot a substantial claim0 of 5 sources checked- cites [11]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [15]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [2]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [22]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [23]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Probably not a substantial claim: may not pass S3 (load-bearing).
PremisecitationWorldCoder is the closest prior interaction-driven executable world-model learner.
“For online experiments, we compare against WorldCoder [28], the closest prior interaction-driven executable world-model learner.”
Quote in the paperNot a substantial claim0 of 1 sources checked- cites [28]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
The quote only partly states this claim.
InterpretationreasoningThe system has two components that share this signal: the Programmer and the Explorer.
“The system has two components that share this signal.”
Quote in the paperSubstantial claimMay combine two claims.
InterpretationreasoningOnce explicit, this partition also defines what is underrepresented relative to the current program, turning a rejection event into the substrate for both compact update evidence and program-relative exploration.
“Once explicit, this partition also defines what is underrepresented relative to the current program, turning a rejection event into the substrate for both compact update evidence and program-relative exploration.”
Quote in the paperNot a substantial claimMay combine two claims.
InterpretationreasoningExplained transitions sharpen the class-structured evidence used to train the embedding function, while unexplained transitions become the Programmer's next explanatory failures.
“Explained transitions sharpen the class-structured evidence used to train h θ , while unexplained transitions become the Programmer's next explanatory failures.”
Quote in the paperSubstantial claimProbably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.
InterpretationreasoningCanonicalization and deduplication ensure that repeated visits to the same local transition effect do not inflate the archived dataset and that the 100,000-transition cap for coverage is applied to canonical transitions rather than raw observations.
“This ensures that repeated visits to the same local transition effect do not inflate the archived dataset and that the 100,000-transition cap for coverage is applied to canonical transitions rather than raw observations.”
Quote in the paperNot a substantial claimClassified as probably not a substantial claim.
Study design and conductnone givenUnless otherwise noted, all online discovery runs use the same experimental pipeline and differ only in the component being ablated.
“Unless otherwise noted, all online discovery runs use the same experimental pipeline and differ only in the component being ablated.”
Quote in the paperSubstantial claimMay combine two claims.
InterpretationreasoningRejected updates are informative in Alice: they reveal which transitions were incorrectly conflated, split the corresponding hypothesis class, and determine which counterexamples the next LLM update sees.
“The trace in Figure 10 shows why rejected updates are informative in Alice: they reveal which transitions were incorrectly conflated, split the corresponding hypothesis class, and determine which counterexamples the next LLM update sees.”
Quote in the paperSubstantial claimMay combine two claims.
Interpretationown dataBalanced transition accuracy is diagnostic because the difficult part is not moving a controlled object in isolation, but preserving the exact simulator semantics when several controlled objects interact with blocking structure at the same time.
“This case illustrates why balanced transition accuracy is diagnostic: the difficult part is not moving a controlled object in isolation, but preserving the exact simulator semantics when several controlled objects interact with blocking structure at the same time.”
Quote in the paperSubstantial claimMay combine two claims.
Interpretationown dataAlice's advantage is not only that it avoids early termination, but that its class-structured preservation evidence helps the accepted program cover more distinct transition effects.
“This suggests that Alice's advantage is not only that it avoids early termination, but that its class-structured preservation evidence helps the accepted program cover more distinct transition effects.”
Quote in the paperNot a substantial claimMay combine two claims.
Interpretationown dataAlice's learned program succeeds in the push-chain case because it infers that the surface label GROW plays the role of PUSH and applies a recursive chain movement routine before moving the controlled object.
“Alice's learned program succeeds because it infers that the surface label GROW plays the role of PUSH and applies a recursive chain movement routine before moving the controlled object.”
Quote in the paperSubstantial claimMay combine two claims.
Interpretationown dataClass-structured preservation evidence is useful, but larger update contexts are not automatically better under a fixed LLM-call budget.
“class-structured preservation evidence is useful, but larger update contexts are not automatically better under a fixed LLM-call budget.”
Quote in the paperSubstantial claimClassified as probably not a substantial claim.
Study design and conductnone givenIn the backbone comparison, only the underlying LLM is changed while the update procedure, exploration strategy, prompts, and evaluation protocol are kept unchanged.
“In the backbone comparison, we change only the underlying LLM while keeping the update procedure, exploration strategy, prompts, and evaluation protocol unchanged.”
Quote in the paperSubstantial claimProbably not a substantial claim: may not pass S3 (load-bearing).
Study design and conductnone givenAcross LLM-based runs, the prompting and decoding configuration is kept fixed unless the experiment explicitly studies backbone variation.
“Across LLM-based runs, we keep the prompting and decoding configuration fixed unless the experiment explicitly studies backbone variation.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S3 (load-bearing), S4 (based).
Interpretationnone givenExploration exposes prediction errors that drive successive executable world-model revisions.
“Right: exploration exposes prediction errors that drive successive executable world-model revisions.”
Quote in the paperNot a substantial claim
The paper relies on this without support.
Executable world models are useful for planning only if the program captures the environment's transition law rather than semantic shortcuts in its surface vocabulary.
“Executable world models can be read, edited, executed, and reused for planning, but only if the program captures the environment's transition law rather than semantic shortcuts in its surface vocabulary.”
“This promise, however, depends on whether the program captures the environment's transition law.”
The paper relies on this without support.
When a language model synthesizes code in an environment whose surface vocabulary aligns with pretrained semantic priors, much of the inductive burden is supplied for free.
“When a language model synthesizes code in an environment whose surface vocabulary aligns with pretrained semantic priors, much of this inductive burden is supplied for free.”
The paper relies on this without support.
Online executable world-model construction without trustworthy surface vocabulary has received little direct study.
“Their intersection -online executable world-model construction without trustworthy surface vocabulary -has received little direct study”
The paper relies on this without support.
The original Baba Is You exhibits state-dependent dynamics: rule sentences live inside the state, so the same action can produce different outcomes as rule blocks are rearranged.
“The original game already exhibits state-dependent dynamics: rule sentences live inside the state, so the same action can produce different outcomes as rule blocks are rearranged.”
The paper relies on this without support.
Labels such as STOP, MOVE, and WIN in Baba Is You provide semantic shortcuts.
“Yet labels such as STOP, MOVE, and WIN still provide semantic shortcuts.”
The paper relies on this without support.
An opaque neural model gives up much of the reason to seek executable form.
“an opaque neural model gives up much of the reason to seek executable form.”
The paper relies on this without support.
In Baba Is You, the state space is large and combinatorial, so unguided exploration cannot enumerate it within any realistic budget.
“Its state space is large and combinatorial, so unguided exploration cannot enumerate it within any realistic budget.”
The paper relies on this without support.
In Baba Is You, because rules are part of the state, the same action can produce different outcomes depending on which sentences are currently active.
“because rules are part of the state, the same action can produce different outcomes depending on which sentences are currently active.”
The paper relies on this without support.
In the original Baba Is You, the rule_property labels STOP, MOVE, WIN carry their everyday meanings, so an LLM can often guess correct dynamics from surface vocabulary alone.
“Its ruleproperty labels -STOP, MOVE, WIN -still carry their everyday meanings, so an LLM can often guess correct dynamics from surface vocabulary alone.”
The paper relies on this without support.
In the problem setting, pre-collected traces and rule descriptions are unavailable, and task rewards do not specify which transitions improve the hypothesis.
“In our setting, pre-collected traces and rule descriptions are unavailable, and task rewards do not specify which transitions improve the hypothesis.”
The paper relies on this without support.
Online world-model learning requires exploration: the agent must collect transitions that expose gaps in the current hypothesis rather than merely expand a dataset.
“Online world-model learning also requires exploration: the agent must collect transitions that expose gaps in the current hypothesis rather than merely expand a dataset.”
The paper relies on this without support.
For executable world-model learning, generic diversity is not enough; exploration should be relative to the program being updated.
“For executable world-model learning, however, generic diversity is not enough: exploration should be relative to the program being updated.”
The paper relies on this without support.
Neither the property of exposing a failure nor the property of inducing a new hypothesis class is observable before the candidate is executed.
“Neither property is observable before the candidate is executed.”
The paper relies on this without support.
The class label of an unexecuted candidate is unobservable before execution.
“Since the class label of an unexecuted candidate is itself unobservable, the Explorer estimates it from class prototypes”
The paper relies on this without support.
The LLM itself can produce preservation counterexample evidence whenever a candidate is rejected.
“The answer is that the LLM itself can produce this evidence whenever a candidate is rejected.”
The paper relies on this without support.
Transitions that entered the explained set under the same bundle of hypotheses tend to provide redundant preservation evidence.
“Transitions that entered the explained set under the same bundle of hypotheses tend to provide redundant preservation evidence, so we group them by the earliest accepted version from which they have remained explained:”
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
Each contradiction between two passages listed here was confirmed by an independent check.
WorldCoder citation points to a different paper
MinorThe text cites reference [28] for WorldCoder, but reference [28] is titled "From assumptions to actions." The bibliography lists "Worldcoder" as reference [29].
“WorldCoder [28], the closest prior interaction-driven executable world-model learner.”
“28. SeungWon Seo, SooBin Lim, SeongRae Noh, Haneul Kim, and HyeongYeop Kang. From assumptions to actions: Turning llm reasoning into uncertainty-aware planning for embodied agents. arXiv preprint arXiv:2602.04326, 2026.”
Compositional code-model citation points to disagreement exploration
MinorThe text cites [24] for compositional code-based modeling, but reference [24] is titled "Self-supervised exploration via disagreement."
“compositional code-based modeling [24]”
“24. Deepak Pathak, Dhiraj Gandhi, and Abhinav Gupta. Self-supervised exploration via disagree- ment. In International conference on machine learning, pages 5062-5071. PMLR, 2019.”
Cites
The publisher hasn’t deposited this paper’s reference list.
Research works printed but not linked: 12
- Danijar Hafner, Timothy Lillicrap, Ian Fischer, Ruben Villegas, David Ha, Honglak Lee, and James Davidson. Learning latent dynamics for planning from pixels. In International conference on machine learning, pages 2555-2565. PMLR, 2019.
- Rein Houthooft, Xi Chen, Yan Duan, John Schulman, Filip De Turck, and Pieter Abbeel. Vime: Variational information maximizing exploration. Advances in neural information processing systems, 29, 2016.
- Wenlong Huang, Pieter Abbeel, Deepak Pathak, and Igor Mordatch. Language models as zero-shot planners: Extracting actionable knowledge for embodied agents. In International conference on machine learning, pages 9118-9147. PMLR, 2022.
- Chi Jin, Akshay Krishnamurthy, Max Simchowitz, and Tiancheng Yu. Reward-free exploration for reinforcement learning. In International Conference on Machine Learning, pages 4870-4879. PMLR, 2020.
- Prannay Khosla, Piotr Teterwak, Chen Wang, Aaron Sarna, Yonglong Tian, Phillip Isola, Aaron Maschinot, Ce Liu, and Dilip Krishnan. Supervised contrastive learning. In Advances in Neural Information Processing Systems 33, 2020. URL https://proceedings.neurips. cc/paper/2020/hash/d89a66c7c80a29b1bdbab0f2a1a94af8-Abstract.html.
- Kuno Kim, Megumi Sano, Julian De Freitas, Nick Haber, and Daniel Yamins. Active world model learning with progress curiosity. In International conference on machine learning, pages 5306-5315. PMLR, 2020.
- Michael Laskin, Hao Liu, Xue Bin Peng, Denis Yarats, Aravind Rajeswaran, and Pieter Abbeel. Unsupervised reinforcement learning with contrastive intrinsic control. In S. Koyejo, S. Mohamed, A. Agarwal, D. Belgrave, K. Cho, and A. Oh, editors, Advances in Neu- ral Information Processing Systems, volume 35, pages 34478-34491.
- Curran Associates, Inc., 2022. URL https://proceedings.neurips.cc/paper_files/paper/2022/file/ debf482a7dbdc401f9052dbe15702837-Paper-Conference.pdf.
- Hao Liu and Pieter Abbeel. Behavior from the void: Unsupervised active pre-training. Advances in Neural Information Processing Systems, 34:18459-18473, 2021.
- Chang Ma, Junlei Zhang, Zhihao Zhu, Cheng Yang, Yujiu Yang, Yaohui Jin, Zhenzhong Lan, Lingpeng Kong, and Junxian He. Agentboard: An analytical evaluation board of multi-turn llm agents. Advances in neural information processing systems, 37:74325-74362, 2024.
- Deepak Pathak, Dhiraj Gandhi, and Abhinav Gupta. Self-supervised exploration via disagree- ment. In International conference on machine learning, pages 5062-5071. PMLR, 2019.
- Ramanan Sekar, Oleh Rybkin, Kostas Daniilidis, Pieter Abbeel, Danijar Hafner, and Deepak Pathak. Planning to explore via self-supervised world models. In International conference on machine learning, pages 8583-8592. PMLR, 2020.
Cited by
Still being checked.
- Authors
- Seo, S., Han, D., Noh, S., & Kang, H.
- Affiliations
- Korea University (KR)
- Kyung Hee University (KR)
- ORCID
- Han, DongHeun
- Venue
- arXiv
- Publisher
- arXiv
- Published
- 2026
- ISSN
- 2331-8422 (ISSN-L)
- arXiv
- 2605.16725
- OpenAlex
- W7161716076
- Semantic Scholar
- f62efd36570dbbb6962c6fa1090e62d28c7c9b76
- Cited by
- 0
- References
- 0
- Type
- posted content
- Language
- en
- Open access
- green
- arxiv.org
- Licence
- Locations
- arXiv (Cornell University) (submittedVersion, cc-by-nc-sa)
- arXiv (Cornell University)
- Topics
- Physical Sciences › Computer Science › Artificial Intelligence › Reinforcement Learning in Robotics
- Physical Sciences › Computer Science › Artificial Intelligence › AI-based Problem Solving and Planning
- Physical Sciences › Computer Science › Artificial Intelligence › Artificial Intelligence in Games
- Keywords
- online learning, counterexample, frontier exploration
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Claims read by deepseek-v4.1-flash under definition version 3 (extract-v3) on 2026-11-05.
Classified by jev-1.13-20260917 (gold-guideline-v0.2) on 2026-11-05.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
