The conceptual multiverse system with a verification framework for decision structures helps users in philosophy, AI alignment, and poetry build clearer working maps of open-ended problems by making implicit LLM choices explicit and changeable.
Sangho Suh, Bryan Min, Srishti Palani, and Haijun Xia
5 Pith papers cite this work. Polarity classification is still indexing.
citation-role summary
citation-polarity summary
verdicts
UNVERDICTED 5roles
background 2polarities
background 2representative citing papers
Literate execution treats documentation and visualizations as dynamic, computable parts of program execution via provenance tracking, inverting traditional literate programming to make programs more explorable.
A 1825 storm created a new sea connection in Denmark, producing a 27 percent population increase (elasticity 1.6 to market access) driven by fertility and occupational change toward fishing and manufacturing, with symmetric medieval declines after waterway closure.
A concolic trace-based multiverse debugger reduces state space for nondeterministic microcontroller programs by identifying unique input-driven paths while maintaining code coverage.
LLM agents in science accelerate plausible analyses but require adversarial experiments to search for falsifying evidence instead of crafting compelling claims.
citing papers explorer
-
Navigating the Conceptual Multiverse
The conceptual multiverse system with a verification framework for decision structures helps users in philosophy, AI alignment, and poetry build clearer working maps of open-ended problems by making implicit LLM choices explicit and changeable.
-
Literate Execution
Literate execution treats documentation and visualizations as dynamic, computable parts of program execution via provenance tracking, inverting traditional literate programming to make programs more explorable.
-
A Perfect Storm: First-Nature Geography and Economic Development
A 1825 storm created a new sea connection in Denmark, producing a 27 percent population increase (elasticity 1.6 to market access) driven by fertility and occupational change toward fishing and manufacturing, with symmetric medieval declines after waterway closure.
-
Remote Concolic Multiverse Debugging -- Extended Version with Additional Appendices
A concolic trace-based multiverse debugger reduces state space for nondeterministic microcontroller programs by identifying unique input-driven paths while maintaining code coverage.
-
Sound Agentic Science Requires Adversarial Experiments
LLM agents in science accelerate plausible analyses but require adversarial experiments to search for falsifying evidence instead of crafting compelling claims.