AI Agent

SPICE: A Synergistic, Precise, Iterative, and Customizable Image Editing Workflow

Kenan Tang, Yanhong Li, Yao Qin

机构 * University of California, Santa Barbara（加州大学圣芭芭拉分校） 纠错

专题命中 工作流自动化 ：workflow(title,abstract)；分类 cs.LG

Comments The paper has been accepted to NeurIPS Creative AI Track 2025. Figure 4(c) has been accepted to CVPR AI Art Gallery 2025

Build Your Personalized Research Group: A Multiagent Framework for Continual and Interactive Science Automation

Ed Li, Junyu Ren, Xintian Pan, Cat Yan, Chuanhao Li, Dirk Bergemann, Zhuoran Yang

专题命中 工作流自动化 ：agent(abstract)；agentic(abstract)；分类 cs.AI、cs.CL、cs.LG

Comments 37 pages, 5 figures. Code: https://github.com/ltjed/freephdlabor

ProofOptimizer: Training Language Models to Simplify Proofs without Human Demonstrations

Alex Gu, Bartosz Piotrowski, Fabian Gloeckle, Kaiyu Yang, Aram H. Markosyan

机构 * Meta FAIR & MIT CSAIL（Meta FAIR 与 MIT CSAIL） ； Meta FAIR ； Meta FAIR & École des Ponts Paris（Meta FAIR 与 巴黎École des Ponts） 纠错

专题命中 工作流自动化 ：workflow(abstract)；agentic(abstract)；分类 cs.AI、cs.LG

Comments 52 pages, 16 figures, website: http://proof-optimizer.github.io/

METIS: Fast Quality-Aware RAG Systems with Configuration Adaptation

Siddhant Ray, Rui Pan, Zhuohan Gu, Kuntai Du, Shaoting Feng, Ganesh Ananthanarayanan, Ravi Netravali, Junchen Jiang

机构 * University of Chicago（芝加哥大学） ； Princeton University（普林斯顿大学） ； University of Chicago / TensorMesh（芝加哥大学 / TensorMesh） ； Microsoft（微软公司） 纠错

专题命中 工作流自动化 ：workflow(abstract)；分类 cs.CL、cs.LG

Comments 17 pages, 18 figures

EASELAN: An Open-Source Framework for Multimodal Biosignal Annotation and Data Management

Rathi Adarshi Rammohan, Moritz Meier, Dennis Küster, Tanja Schultz

专题命中 工作流自动化 ：workflow(abstract)；分类 cs.SE

GAZE:Governance-Aware pre-annotation for Zero-shot World Model Environments

Leela Krishna, Mengyang Zhao, Saicharithreddy Pasula, Harshit Rajgarhia, Abhishek Mukherji

机构 * Centific Global Solutions Inc.（Centific全球解决方案公司） 纠错

专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI

Extending Load Forecasting from Zonal Aggregates to Individual Nodes for Transmission System Operators

Oskar Triebe, Fletcher Passow, Simon Wittner, Leonie Wagner, Julio Arend, Tao Sun, Chad Zanocco, Marek Miltner, Arezou Ghesmati, Chen-Hao Tsai, Christoph Bergmeir, Ram Rajagopal

机构 * School of Engineering, Stanford University（斯坦福大学工程学院） ； Technical University Munich（慕尼黑技术大学） ； Czech Technical University in Prague（布拉格捷克技术大学） ； University of Granada（Granada大学） ； Monash University（墨尔本大学） 纠错

专题命中 工作流自动化 ：workflow(abstract)；分类 cs.LG

Comments Collaborative Research, Stanford University and Midcontinent Independent System Operator

CLAIRE-DSA: Fluoroscopic Image Classification for Quality Assurance of Computer Vision Pipelines in Acute Ischemic Stroke

Cristo J. van den Berg, Frank G. te Nijenhuis, Mirre J. Blaauboer, Daan T. W. van Erp, Carlijn M. Keppels, Matthijs van der Sluijs, Bob Roozenbeek, Wim van Zwam, Sandra Cornelissen, Danny Ruijters, Ruisheng Su, Theo van Walsum

机构 * TU Delft（代尔夫特理工大学） ； Erasmus MC（埃因霍温麦斯特理工大学） ； Maastricht UMC+（马斯特里赫特大学医学中心） ； TU Eindhoven（埃因霍温理工大学） 纠错

专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI

Comments 10 pages, 4 figures, workshop paper accepted at https://switchmiccai.github.io/switch/

Journal ref SWITCH 2025, LNCS, 16098, (2025) 32-41

Clarifying the Ti-V Phase Diagram Using First-Principles Calculations and Bayesian Learning

Timofei Miryashkin, Olga Klimanova, Alexander Shapeev

机构 * Skolkovo Institute of Science and Technology, Artificial Intelligence Center（斯克尔科vo科学与技术研究院，人工智能中心） 纠错

专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI

Breaking scaling relations with inverse catalysts: a machine learning exploration of trends in $\mathrm{CO_2}$ hydrogenation energy barriers

Luuk H. E. Kempen, Marius Juul Nielsen, Mie Andersen

机构 * Center for Interstellar Catalysis, Department of Physics and Astronomy, Aarhus University, Aarhus C, Denmark（星际催化中心，物理与天文学系，奥胡斯大学，奥胡斯C，丹麦） ； Aarhus Institute of Advanced Studies, Aarhus University, Aarhus C, Denmark（奥胡斯高级研究学院，奥胡斯大学，奥胡斯C，丹麦） 纠错

专题命中 工作流自动化 ：workflow(abstract)；分类 cs.LG

Comments 10 pages, 6 figures + supporting information (5 pages, 7 figures, 2 tables)

Journal ref ACS Catalysis 15, 21, 17635--17644 (2025)

Diffusion Bridge Networks Simulate Clinical-grade PET from MRI for Dementia Diagnostics

Yitong Li, Ralph Buchert, Benita Schmitz-Koep, Timo Grimmer, Björn Ommer, Dennis M. Hedderich, Igor Yakushev, Christian Wachinger

机构 * Lab for AI in Medical Imaging, Institute for Diagnostic and Interventional Radiology, School of Medicine and Health（人工智能在医学影像中的实验室，诊断与介入放射学研究所，医学院与健康学院） ； Technical University of Munich (TUM)（慕尼黑技术大学） ； Munich Center for Machine Learning (MCML)（慕尼黑机器学习中心） ； University Medical Center Hamburg-Eppendorf（汉堡-埃本达大学医学中心） ； Department of Neuroradiology, TUM University Hospital, School of Medicine and Health（神经放射学部，慕尼黑技术大学医院，医学院与健康学院） ； Department of Neurology, TUM University Hospital, School of Medicine and Health（神经病学部，慕尼黑技术大学医院，医学院与健康学院） 纠错

专题命中 工作流自动化 ：workflow(abstract)

Retrofitting Service Dependency Discovery in Distributed Systems

Diogo Landau, Gijs Blanken, Jorge Barbosa, Nishant Saurabh

专题命中 工作流自动化 ：agent(abstract)

Cloud-Enabled Virtual Prototypes

Tim Kraus, Axel Sauer, Ingo Feldner

专题命中 工作流自动化 ：workflow(abstract)

Comments 8 pages, 5 figures, Published in DVCon Europe 2025

Impact of AI-Triage on Radiologist Report Turnaround Time: Real-World Time-Savings and Insights from Model Predictions

Yee Lam Elim Thompson, Jonathan Fergus, Jonathan Chung, Jana G. Delfino, Weijie Chen, Gary M. Levine, Frank W. Samuelson

专题命中 工作流自动化 ：workflow(abstract)

Free Lunch for User Experience: Crowdsourcing Agents for Scalable User Studies

Siyang Liu, Sahand Sabour, Xiaoyang Wang, Rada Mihalcea

专题命中 工作流自动化 ：agent(abstract)

How to choose efficiently the size of the Bethe-Salpeter Equation Hamiltonian for accurate exciton calculations on supercells

Rafael R. Del Grande, David A. Strubbe

专题命中 工作流自动化 ：workflow(abstract)

Journal ref Phys. Rev. B 112, 165118 (2025)