AI Agent

DataJoint 2.0: A Computational Substrate for Agentic Scientific Workflows

DataJoint 2.0：一种用于智能科学工作流的计算基础

Dimitri Yatsenko, Thinh T. Nguyen

机构 * DataJoint Inc.（DataJoint公司） 纠错

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

AI总结 DataJoint 2.0通过关系型工作流模型和四项技术创新，提供了一种统一的数据结构、数据和计算转换的科学工作流计算基础。

Comments 20 pages, 2 figures, 1 table

Amortized Bayesian Workflow

批处理贝叶斯工作流

Chengkun Li, Aki Vehtari, Paul-Christian Bürkner, Stefan T. Radev, Luigi Acerbi, Marvin Schmitt

机构 * University of Helsinki（赫尔辛基大学） ； ELLIS Institute Finland, Aalto University（芬兰埃利斯研究所、阿尔托大学） ； TU Dortmund University（多特蒙德技术大学） ； Rensselaer Polytechnic Institute（伦斯勒理工学院） ； Independent Scientist（独立研究者） 纠错

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

AI总结 本文提出了一种结合快速近似推断与MCMC技术的自适应工作流，通过在处理大量数据集时平衡速度与精度，提升推断效率并保持高质量后验结果。

Comments Accepted in Transactions on Machine Learning Research

From Sound Workflow Nets to LTLf Declarative Specifications by Casting Three Spells

从声音工作流网到LTLf声明性规范：通过施放三道咒语

Luca Barbaro, Giovanni Varricchione, Marco Montali, Claudio Di Ciccio

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

AI总结 本文提出通过施放三道咒语，从安全且正确的Workflow网系统地推导出LTLf声明性规范，证明行为等价性并展示编码的可扩展性和紧凑性。

Automated Extraction of Mechanical Constitutive Models from Scientific Literature using Large Language Models: Applications in Cultural Heritage Conservation

利用大语言模型自动化提取科学文献中的机械本构模型：应用于文化遗产保护

Rui Hu, Yue Wu, Tianhao Su, Yin Wang, Shunbo Hu, Jizhong Huang

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

AI总结 本研究利用大语言模型自动化提取科学文献中的机械本构模型，应用于文化遗产保护，构建了结构化数据库并提高了数据处理效率。

Measuring Mid-2025 LLM-Assistance on Novice Performance in Biology

测量2025年中期LLM对生物学新手表现的影响

Shen Zhou Hong, Alex Kleinman, Alyssa Mathiowetz, Adam Howes, Julian Cohen, Suveer Ganta, Alex Letizia, Dora Liao, Deepika Pahari, Xavier Roberts-Gaal, Luca Righetti, Joe Torres

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

AI总结 2025年中期LLM对生物学新手在实验室任务中的表现影响有限，但显示出适度的性能优势。

Towards Autonomous Robotic Kidney Ultrasound: Spatial-Efficient Volumetric Imaging via Template Guided Optimal Pivoting

迈向自主机器人肾脏超声：通过模板引导的最优旋转实现空间高效的体积分层成像

Xihan Ma, Haichong Zhang

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

AI总结 本文提出了一种基于模板引导的最优旋转方法，用于实现空间高效的肾脏超声成像，通过最小化探头足迹提高扫描效率和准确性。

push0: Scalable and Fault-Tolerant Orchestration for Zero-Knowledge Proof Generation

push0: 可扩展且容错的零知识证明生成编排系统

Mohsen Ahmadvand, Rok Pajnič, Ching-Lun Chiu

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

AI总结 push0是一种可扩展且容错的零知识证明生成编排系统，通过解耦证明者二进制与调度基础设施，实现了高效的区块顺序证明和并行处理，显著降低了编排开销并提升了容错能力。

Breaking the Sub-Millimeter Barrier: Eyeframe Acquisition from Color Images

突破毫米级障碍：从彩色图像中获取眼框

Manel Guzmán, Antonio Agudo

机构 * Horizons Optical ； Institut de Robòtica i Informàtica Industrial, CSIC-UPC（机器人与信息技术研究所） 纠错

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

AI总结 本文提出了一种基于人工视觉的新型眼框追踪方法，利用多视角信息实现高精度测量，无需专用设备，提升验光效率。

Comments Accepted to CAI 2026

ROIX-Comp: Optimizing X-ray Computed Tomography Imaging Strategy for Data Reduction and Reconstruction

ROIX-Comp: 优化X射线计算机断层扫描成像策略以实现数据缩减与重建

Amarjit Singh, Kento Sato, Kohei Yoshida, Kentaro Uesugi, Yasumasa Joti, Takaki Hatsui, Andrès Rubio Proaño

机构 * The University of Electro-Communications, RIKEN (R-CCS)（电子通信大学，RIKEN（R-CCS）） ； Japan Synchrotron Radiation Research Institute（日本同步辐射研究中心） ； RIKEN SPring-8 Center（RIKEN SPring-8研究中心） 纠错

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

AI总结 ROIX-Comp通过基于ROI的提取框架，结合无损和有损压缩技术，实现X-CT数据的高效压缩，压缩比提升达12.34倍。

Comments 11 pages, SCA/HPCAsia2026