Showing 2026 · cs.AIShow all
2 papers · 2 filters
cs.AI2026
DUDA-Bench: Benchmarking LLM Agents on Multimodal Data-Driven Urban Diagnosis
Yizhi Song, Hang Ni, Weijia Zhang +1
Urban diagnosis integrates heterogeneous observations to identify urban problems, localize affected areas, and investigate contributing factors, informing evidence-based urban plan…
cs.AI2026
Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory
Tingzhou Wei, Zeyu Zheng, Ethan X. Fang +1
Asymptotic statistical theory is a challenging domain for AI-assisted formalization: its central results mix convergence statements, asymptotic expansions, functional analysis, and…