Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
Local verification cannot detect non-transportability: a cohomological theory of context preservation in agentic reasoning
Suyash Mishra
Agentic AI systems routinely transport conclusions across biological, clinical and financial contexts, and the emerging safeguard is local verification: checking at each step that…
cs.AI2026
YUKTI: From Natural-Language Situations to Robust, Verifiable Decisions An Uncertainty-Typed Proposition IR, Assumption-Robust Pareto Frontiers, and a Regret Certificate
Suyash Mishra
Language models turn a worded situation into a numeric plan, and the dominant pipelines (NL4Opt, OptiMUS, ORLM, OR-LLM-Agent) commit to a single objective and point-valued coeffici…
cs.AI2026
Prism: An Evolutionary Memory Substrate for Multi-Agent Open-Ended Discovery
Suyash Mishra
We introduce \prism{} (\textbf{P}robabilistic \textbf{R}etrieval with \textbf{I}nformation-\textbf{S}tratified \textbf{M}emory), an evolutionary memory substrate for multi-agent AI…