Comments10 pages, 1 figure. Archival version of a paper presented at RELAF 2026: 1st Workshop on Reasoning with Evidence in Law Enforcement and Forensics, co-located with ICAIL 2026, Singapore, June 2026
A Physics-Grounded Benchmark for Multi-Agent Dynamics in World Models
基于物理的多智能体动力学世界模型基准
Nuo Chen, Lulin Liu, Zihao Li, Ziyao Zeng, Zihao Zhu, Wenyan Cong, Junyuan Hong, Yunhao Yang, Zhengzhong Tu, Yan Wang, Boris Ivanovic, Marco Pavone, Zhangyang Wang, Yang Zhou, Zhiwen Fan
机构
*
Texas A&M University(德克萨斯大学)
;
University of Minnesota(明尼苏达大学)
;
Marquette University(马奎特大学)
;
Yale University(耶鲁大学)
;
University of Texas at Austin(德克萨斯大学奥斯汀分校)
;
Massachusetts General Hospital(麻省总医院)
;
Harvard Medical School(哈佛医学院)
;
NVIDIA(英伟达)
;
Stanford University(斯坦福大学)
Comments94 pages; includes machine-checked Lean 4 proofs. v2: empirical-companion references reconciled to the companion's final findings; the MARL factorial appendix is split out to the companion paper; several formal statements corrected and honestly scoped; reference list repaired
Prompt-to-Paper: Agentic AI System for Bioinformatics
从提示到论文:用于生物信息学的智能AI系统
Ramsha Kamran, Maheera Amjad, Zartasha Mustansar, Arsalan Shaukat, Salma Sherbaz, Muhammad U. S. Khan
机构
*
School of Interdisciplinary Engineering and Sciences (SINES), National University of Sciences and Technology (NUST)(跨学科工程与科学学院(SINES),国立科技大学(NUST))
Comments5 pages. To be published in the proceedings of 41st International Conference on Automated Software Engineering (ASE '26), October 12-16, 2026, Munich, Germany (New Ideas and Emerging Results Track)
CommentsThis paper has been accepted for publication in the Proceedings of the 2026 International Conference on Robotic System and Artificial Intelligence (RSAI 2026), 10-12 July, 2026, Tokyo, Japan