2 papers
cs.LG2026
PR-Smoother: Simulator-Preserving Non-Gaussian Smoothing for Data Assimilation
Yuta Tarumi
Many physical data assimilation (DA) workflows require smoothing methods that represent non-Gaussian posteriors over physical state variables, scale to high-dimensional simulators,…
cs.CL2025
Verbalized Algorithms: Classical Algorithms are All You Need (Mostly)
Supriya Lall, Christian Farrell, Hari Pathanjaly +3
Reasoning is a fundamentally algorithmic task. Yet current work on LLM-based reasoning relies on free-form generation whose theoretical guarantees (soundness, completeness, complex…