2 papers
cs.PL2026
When is LLM-Based Program Reasoning Correct? A Completion Semantics for LLM-Based Code Inference
Zhiyuan Liu, Yihe Li, Trevor E. Carlson +3
Due to token and cognitive limits, Large Language Models (LLMs) typically perform program reasoning over incomplete code fragments/prompts rather than complete programs. Such reaso…
physics.comp-ph2026
Deep Research in Physical Sciences: A Multi-Agent Framework and Comprehensive Benchmark
Yigeng Jiang, Tengchao Yang, Taoyong Cui +25
Deep research agents are Large Language Model (LLM)-based systems designed for autonomous, multi-step scientific reasoning, and they hold immense potential for accelerating researc…