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
4 Pith papers cite this work. Polarity classification is still indexing.
4
Pith papers citing it
years
2026 4verdicts
UNVERDICTED 4representative 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 concolic trace-based multiverse debugger reduces state space for nondeterministic microcontroller programs by identifying unique input-driven paths while maintaining code coverage.
Agentic science needs a falsification-first standard in which LLM agents actively search for ways a claim can fail rather than generating supporting narratives.
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.
-
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
Agentic science needs a falsification-first standard in which LLM agents actively search for ways a claim can fail rather than generating supporting narratives.