Complete computational-reproduction artifact associated with Recovery Budgets for Persistent AI-Agent Memory: Bounding Revocation Liability. Includes original structural and recorded Codex/Claude workflows, a separately frozen extension over 120 held-out full-history LongMemEval-derived questions, two Claude API models...
Economic losses caused by extreme climate are not confined to the locations where events occur, but can propagate across regions through physical and economic linkages. Yet existing climate-impact assessment methods remain poorly suited to tracing how shocks spread across space and reshape the geography of economic los...
Anonymous RiboMotion authors· Zenodo (CERN European Organi...· 0 citations
Benchmark corpus for the manuscript "Grounding Large Language Models in a Symbolic Formalization Environment for Natural-Language Planning". The corpus contains 2,550 natural-language planning requests with their ground-truth PDDL problems. It covers 850 problems in each of three International Planning Competition (IPC...
Anonymous RiboMotion authors· Zenodo (CERN European Organi...· 0 citations
Experimental results for the paper "Grounding Large Language Models in a Symbolic Formalization Environment for Natural-Language Planning". The archive contains the results of 5,100 formalization sessions. Qwen 3.5 (122B) and GPT-OSS (120B) each formalized the 2,550 Blocksworld, Logistics and Rovers problems of the ben...
Anonymous RiboMotion authors· Zenodo (CERN European Organi...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.