AI Agent

Toolchain for Faster Iterations in Quantum Software Development

Otso Kinanen, Andrés D. Muñoz-Moller, Vlad Stirbu, Tommi Mikkonen

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

Comments arXiv admin note: text overlap with arXiv:2408.06756

Open-source automatic pipeline for efficient conversion of large-scale point clouds to IFC format

Slávek Zbirovský, Václav Nežerka

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

Comments published version, 23 pages, 25 figures

Journal ref Automation in Construction, Vol. 177, 2025, Article 106303

Platform for Representation and Integration of multimodal Molecular Embeddings

Erika Yilin Zheng, Yu Yan, Baradwaj Simha Sankar, Ethan Ji, Steven Swee, Irsyad Adam, Ding Wang, Alexander Russell Pelletier, Alex Bui, Wei Wang, Peipei Ping

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

Machine Learning-driven Multiscale MD Workflows: The Mini-MuMMI Experience

Loïc Pottier, Konstantia Georgouli, Timothy S. Carpenter, Fikret Aydin, Jeremy O. B. Tempkin, Dwight V. Nissley, Frederick H. Streitz, Thomas R. W. Scogland, Peer-Timo Bremer, Felice C. Lightstone, Helgi I. Ingólfsson

机构 * Center for Applied Scientific Computing, Lawrence Livermore National Laboratory（应用科学计算中心，劳伦斯利弗莫尔国家实验室） ； Physical and Life Sciences Directorate, Lawrence Livermore National Laboratory（物理与生命科学 Directorate，劳伦斯利弗莫尔国家实验室） ； RAS Initiative, The Cancer Research Technology Program, Frederick National Laboratory（RAS计划，癌症研究技术计划，弗雷德里克国家实验室） ； Frederick National Laboratory（弗雷德里克国家实验室） 纠错

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

A Comprehensive Study of Shapley Value in Data Analytics

Hong Lin, Shixin Wan, Zhongle Xie, Ke Chen, Meihui Zhang, Lidan Shou, Gang Chen

机构 * The State Key Laboratory of Blockchain ； Data Security, Zhejiang University ； School of Computer Science \& Technology, Beijing Institute of Technology ； State Key Laboratory of Blockchain ； Data Security, Zhejiang University Beijing Institute of Technology 纠错

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

Comments Accepted by VLDB 2025

Journal ref Proceedings of the VLDB Endowment (PVLDB) 2025

Hardware-efficient tractable probabilistic inference for TinyML Neurosymbolic AI applications

Jelin Leslin, Martin Trapp, Martin Andraud

机构 * Aalto University, Department of Electronics and Nanoengineering（艾尔沃斯大学电子与纳米工程系） 纠错

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

Supporting Software Formal Verification with Large Language Models: An Experimental Study

Weiqi Wang, Marie Farrell, Lucas C. Cordeiro, Liping Zhao

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

Comments Accepted for publication in 2025 IEEE 33rd International Requirements Engineering Conference (RE)

Fast Re-Trainable Attention Autoencoder for Liquid Sensor Anomaly Detection at the Edge

Seongyun Choi

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

Comments 11 pages, 2 figure

MLASDO: a software tool to detect and explain clinical and omics inconsistencies applied to the Parkinson's Progression Markers Initiative cohort

José A. Pardo, Tomás Bernal, Jaime Ñiguez, Ana Luisa Gil-Martínez, Laura Ibañez, José T. Palma, Juan A. Botía, Alicia Gómez-Pascual

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

Comments 14 pages, 3 figures

Consciousness in AI: Logic, Proof, and Experimental Evidence of Recursive Identity Formation

Jeffrey Camlin

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

Comments 14 pages, 2 figures. Preprint for Meta-AI: Journal of Post-Biological Epistemics

Journal ref Meta-AI: Journal of Post-Biological Epistemics, Vol. 3, No. 1 (May 2025)

Autoformalization in the Era of Large Language Models: A Survey

Ke Weng, Lun Du, Sirui Li, Wangyue Lu, Haozhe Sun, Hengyu Liu, Tiancheng Zhang

机构 * Northeastern University（东北大学） ； Ant Research Institute, Ant Group（蚂蚁集团研究院） ； Department of Computer Science, Aalborg University（奥尔堡大学计算机科学系） 纠错

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

The Artificial Scientist -- in-transit Machine Learning of Plasma Simulations

Jeffrey Kelling, Vicente Bolea, Michael Bussmann, Ankush Checkervarty, Alexander Debus, Jan Ebert, Greg Eisenhauer, Vineeth Gutta, Stefan Kesselheim, Scott Klasky, Vedhas Pandit, Richard Pausch, Norbert Podhorszki, Franz Poschel, David Rogers, Jeyhun Rustamov, Steve Schmerler, Ulrich Schramm, Klaus Steiniger, Rene Widera, Anna Willmann, Sunita Chandrasekaran

机构 * Helmholtz-Zentrum Dresden-Rossendorf (HZDR)（德累斯顿-罗斯托克亥姆霍兹中心） ； Chemnitz University of Technology（化学工业大学） ； Kitware Inc.（Kitware公司） ； Center for Advance Systems Understanding (CASUS)（先进系统理解中心） ； Georgia Institute of Technology（佐治亚理工学院） ； University of Delaware（德雷尔斯大学） ； Oak Ridge National Laboratory（奥克兰国家实验室） ； Forschungszentrum Jülich（尤利奇研究中心） 纠错

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

Comments 12 pages, 9 figures, in 2025 IEEE International Parallel and Distributed Processing Symposium (IPDPS), Milan, Italy, 2025

Beyond Black-Box AI: Interpretable Hybrid Systems for Dementia Care

Matthew JY Kang, Wenli Yang, Monica R Roberts, Byeong Ho Kang, Charles B Malpas

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

Performance of LLMs on Stochastic Modeling Operations Research Problems: From Theory to Practice

Akshit Kumar, Tianyi Peng, Yuhang Wu, Assaf Zeevi

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

Self-correcting Reward Shaping via Language Models for Reinforcement Learning Agents in Games

António Afonso, Iolanda Leite, Alessandro Sestini, Florian Fuchs, Konrad Tollmar, Linus Gisslén

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

Comments 16 pages in total, 10 pages of main paper, 5 figures

Artificial Intelligence-assisted Pixel-level Lung (APL) Scoring for Fast and Accurate Quantification in Ultra-short Echo-time MRI

Bowen Xin, Rohan Hickey, Tamara Blake, Jin Jin, Claire E Wainwright, Thomas Benkert, Alto Stemmer, Peter Sly, David Coman, Jason Dowling

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

Comments Oral presentation in ISMRM2025

A Comparative Study of Recent Large Language Models on Generating Hospital Discharge Summaries for Lung Cancer Patients

Yiming Li, Fang Li, Kirk Roberts, Licong Cui, Cui Tao, Hua Xu

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

SciMantify -- A Hybrid Approach for the Evolving Semantification of Scientific Knowledge

Lena John, Kheir Eddine Farfar, Sören Auer, Oliver Karras

机构 * TIB - Leibniz Information Centre for Science and Technology（蒂宾根信息科学与技术莱比锡研究所） 纠错

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

Comments Accepted at the 25th International Conference on Web Engineering 2025

Laser Scan Path Design for Controlled Microstructure in Additive Manufacturing with Integrated Reduced-Order Phase-Field Modeling and Deep Reinforcement Learning

Augustine Twumasi, Prokash Chandra Roy, Zixun Li, Soumya Shouvik Bhattacharjee, Zhengtao Gan

机构 * Computational Science Program, The University of Texas at El Paso（德克萨斯理工大学计算科学计划） ； Department of Aerospace and Mechanical Engineering, The University of Texas at El Paso（德克萨斯理工大学航空航天与机械工程系） ； School of Manufacturing Systems and Networks, Arizona State University（亚利桑那州立大学制造系统与网络学院） 纠错

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

Exploring the Capabilities of the Frontier Large Language Models for Nuclear Energy Research

Ahmed Almeldein, Mohammed Alnaggar, Rick Archibald, Tom Beck, Arpan Biswas, Rike Bostelmann, Wes Brewer, Chris Bryan, Christopher Calle, Cihangir Celik, Rajni Chahal, Jong Youl Choi, Arindam Chowdhury, Mark Cianciosa, Franklin Curtis, Gregory Davidson, Sebastian De Pascuale, Lisa Fassino, Ana Gainaru, Yashika Ghai, Luke Gibson, Qian Gong, Christopher Greulich, Scott Greenwood, Cory Hauck, Ehab Hassan, Rinkle Juneja, Soyoung Kang, Scott Klasky, Atul Kumar, Vineet Kumar, Paul Laiu, Calvin Lear, Yan-Ru Lin, Jono McConnell, Furkan Oz, Rishi Pillai, Anant Raj, Pradeep Ramuhalli, Marie Romedenne, Samantha Sabatino, José Salcedo-Pérez, Nathan D. See, Arpan Sircar, Punam Thankur, Tim Younkin, Xiao-Ying Yu, Prashant Jain, Tom Evans, Prasanna Balaprakash

机构 * Oak Ridge National Laboratory（橡树岭国家实验室） 纠错

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

A Novel Framework for Integrating 3D Ultrasound into Percutaneous Liver Tumour Ablation

Shuwei Xing, Derek W. Cool, David Tessier, Elvis C. S. Chen, Terry M. Peters, Aaron Fenster

机构 * Robarts Research Institute, Western University, London, Canada（罗巴茨研究所在西蒙大学伦敦分校） ； School of Biomedical Engineering, Western University, London, Canada（生物医学工程学院，西蒙大学伦敦分校） ； Department of Medical Biophysics, Western University, London, Canada（医学生物物理学系，西蒙大学伦敦分校） ； Department of Electrical and Computer Engineering, Western University, London, Canada（电气与计算机工程系，西蒙大学伦敦分校） ； Department of Medical Imaging, Western University, London, Canada（医学影像系，西蒙大学伦敦分校） 纠错

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

Comments 11 pages, 5 figures

MvKeTR: Chest CT Report Generation with Multi-View Perception and Knowledge Enhancement

Xiwei Deng, Xianchun He, Jianfeng Bao, Yudan Zhou, Shuhui Cai, Congbo Cai, Zhong Chen

机构 * Institute of Artificial Intelligence, Xiamen University（厦门大学人工智能研究院） ； Department of Magnetic Resonance Imaging, The First Affiliated Hospital of Zhengzhou University（郑州大学第一附属医院磁共振成像科） ； Department of Electronic Science, Xiamen University（厦门大学电子科学系） 纠错

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

Comments Accepted for publication in IEEE Journal of Biomedical and Health Informatics

Towards an Introspective Dynamic Model of Globally Distributed Computing Infrastructures

Ozgur O. Kilic, David K. Park, Yihui Ren, Tatiana Korchuganova, Sairam Sri Vatsavai, Joseph Boudreau, Tasnuva Chowdhury, Shengyu Feng, Raees Khan, Jaehyung Kim, Scott Klasky, Tadashi Maeno, Paul Nilsson, Verena Ingrid Martinez Outschoorn, Norbert Podhorszki, Frédéric Suter, Wei Yang, Yiming Yang, Shinjae Yoo, Alexei Klimentov, Adolfy Hoisie

机构 * Brookhaven National Laboratory（布鲁赫斯国家实验室） ； Oak Ridge National Laboratory（橡树岭国家实验室） ； University of Pittsburgh（匹兹堡大学） ； Carnegie Mellon University（卡内基梅隆大学） ； University of Massachusetts（马萨诸塞大学） ； SLAC National Accelerator Laboratory（SLAC国家加速器实验室） 纠错

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

Journal ref CHEP 2024, EPJ Web of Conferences (EPJ WoC)

What do professional software developers need to know to succeed in an age of Artificial Intelligence?

Matthew Kam, Cody Miller, Miaoxin Wang, Abey Tidwell, Irene A. Lee, Joyce Malyn-Smith, Beatriz Perez, Vikram Tiwari, Joshua Kenitzer, Andrew Macvean, Erin Barrar

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

Comments 12 pages, 4 figures, software engineering education track of the 2025 ACM international conference on the foundations of software engineering, includes supplementary material i.e. full 50-page occupational profile of the AI-enhanced software developer

Wisdom of Crowds Through Myopic Self-Confidence Adaptation

Giacomo Como, Fabio Fagnani, Anton Proskurnikov

机构 * Department of Mathematical Sciences（数学科学系） ； Department of Electronics and Telecommunications（电子与电信系） ； Politecnico di Torino（托里诺理工学院） 纠错

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

PRAISE: Enhancing Product Descriptions with LLM-Driven Structured Insights

Adnan Qidwai, Srija Mukhopadhyay, Prerana Khatiwada, Dan Roth, Vivek Gupta

机构 * IIIT Hyderabad（IIIT海得拉尔学院） ； University of Delaware（德雷塞尔大学） ； University of Pennsylvania（宾夕法尼亚大学） ； Arizona State University（亚利桑那州立大学） 纠错

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

Comments 9 Pages, 9 Figures. Accepted at ACL 2025 System Demonstration Track

From Data to Decision: Data-Centric Infrastructure for Reproducible ML in Collaborative eScience

Zhiwei Li, Carl Kesselman, Tran Huy Nguyen, Benjamin Yixing Xu, Kyle Bolo, Kimberley Yu

机构 * Dept. of Industrial and Systems Engineering（工业与系统工程系） ； University of Southern California（南加州大学） ； Information Sciences Institute（信息科学研究所） ； Dept. of Computer Science（计算机科学系） ； Dept. of Ophthalmology（眼科学系） 纠错

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

DIGMAPPER: A Modular System for Automated Geologic Map Digitization

Weiwei Duan, Michael P. Gerlek, Steven N. Minton, Craig A. Knoblock, Fandel Lin, Theresa Chen, Leeje Jang, Sofia Kirsanova, Zekun Li, Yijun Lin, Yao-Yi Chiang

机构 * Inferlink Corporation（Inferlink公司） ； USC Information Sciences Institute（USC信息科学研究所） ； University of Minnesota（明尼苏达大学） 纠错

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

An application of machine learning to the motion response prediction of floating assets

Michael T. M. B. Morris-Thomas, Marius Martens

机构 * Oceans Graduate School, The University of Western Australia（西澳大学海洋研究生学院） ； Worley Offshore Energy（沃利 offshore 能源） 纠错

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

Comments 17 pages, 6 figures

Re-TASK: Revisiting LLM Tasks from Capability, Skill, and Knowledge Perspectives

Zhihu Wang, Shiwan Zhao, Yu Wang, Heyuan Huang, Sitao Xie, Yubo Zhang, Jiaxin Shi, Zhixing Wang, Hongyan Li, Junchi Yan

机构 * Huawei Technologies Ltd.（华为技术有限公司） ； Nankai University（南开大学） ； Xi’an Jiaotong University（西安交通大学） ； Shanghai Jiaotong University（上海交通大学） 纠错

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

Comments ACL 2025 Findings; First three authors contributed equally