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
Strategy-first synthesis planning for complex natural products
复杂天然产物的优先策略合成规划
Daniel Armstrong, Xuan-Vu Nguyen, Octavian Susanu, Gabriel Gibberd, Théo A. Neukomm, Taddäus Strunden, Dan Forster, Morgane Delattre, Shawn Teh, Clément Rols, John Federice, Hayden Leatherwood, M. Lavelle Barnes, Maarten R. Dobbelaere, Peter Wipf, Jon T. Njardarson, Jieping Zhu, Philippe Schwaller
Paying for Honesty Without Knowing the Truth: Reputation-Penalty Design for LLM Marketplace Agents
在未知真相的情况下为诚实付费:LLM市场智能体的声誉惩罚机制设计
Mingdai Yang, Shicheng Fan, Kejing Yu, Duohao Wang, Li Sun, Hao Peng, Philip S. Yu, Zhiwei Liu
机构
*
Univ. of Illinois Chicago(伊利诺伊大学芝加哥分校)
;
Springbrand Inc.(春品牌公司)
;
Beijing University of Posts and Telecommunications(北京邮电大学)
;
Beihang University(北京航空航天大学)
;
Hangzhou Innovation Institute of BUAA(北京航空航天大学杭州创新研究院)
;
Microsoft(微软公司)
ZAS-SQL: Distilling Rules from Failures for Zero-Shot Text-to-SQL
ZAS-SQL: 从失败中提炼规则用于零样本文本到SQL
Hongzhou Zheng, Yixin Gou, Wenjia Zhang
机构
*
Shanghai Research Institute for Intelligent Autonomous Systems, Tongji University(同济大学上海自主智能无人系统科学中心)
;
College of Architecture and Urban Planning, Tongji University(同济大学建筑与城市规划学院)
;
Behavioral and Spatial AI Lab, Peking University & Tongji University(北京大学与同济大学行为与空间人工智能实验室)