AI Agent

DNF Learning via Locally Mixing Random Walks

Josh Alman, Shivam Nadimpalli, Shyamal Patel, Rocco A. Servedio

专题命中 工具调用 ：tool use(abstract)

Enhancing LLMs' Reasoning-Intensive Multimedia Search Capabilities through Fine-Tuning and Reinforcement Learning

Jinzheng Li, Sibo Ju, Yanzhou Su, Hongguang Li, Yiqing Shen

专题命中 工具调用 ：agent(abstract)

COSMIC: Enabling Full-Stack Co-Design and Optimization of Distributed Machine Learning Systems

Aditi Raju, Jared Ni, William Won, Changhai Man, Srivatsan Krishnan, Srinivas Sridharan, Amir Yazdanbakhsh, Tushar Krishna, Vijay Janapa Reddi

专题命中 工具调用 ：agent(abstract)

Comments 11 pages (excluding references), 10 figures, 6 tables

The Szymczak Functor on the Category of Finite Sets and Finite Relations

Mateusz Przybylski, Marian Mrozek, Jim Wiseman

专题命中 工具调用 ：tool use(abstract)

Comments New coauthor, disproved Conjecture 6.40, added "Final Remarks" section and minor changes

Journal ref Journal of Dynamics and Differential Equations, vol. 37 (2025), 1835-1870

Data Mining and Computational Screening of Rashba-Dresselhaus Splitting and Optoelectronic Properties in Two-Dimensional Perovskite Materials

Robert Stanton, Wanyi Nie, Sergei Tretiak, Dhara J. Trivedi

专题命中 工具调用 ：workflow(abstract)

Comments Main Manuscript: 34 pages, 7 figures. Supplementary Material: 19 pages, 11 figures

Adaptive Ergodic Search with Energy-Aware Scheduling for Persistent Multi-Robot Missions

Kaleb Ben Naveed, Devansh R. Agrawal, Rahul Kumar, Dimitra Panagou

专题命中 工具调用 ：planning(abstract)

Comments Under review at Autonomous Robots

A Review of Tools and Techniques for Optimization of Workload Mapping and Scheduling in Heterogeneous HPC System

Aasish Kumar Sharma, Julian Kunkel

专题命中 工具调用 ：workflow(abstract)

Comments The report follows IEEE double column format. It is submitted to a "International Journal of High Performance Computing Applications" on "30-Apr-2024" with Id: "hpc-24-0378" and is in peer-review. Reprints and permission: sagepub.co.uk/journalsPermissions.nav. DOI: 10.1177/ToBeAssigned; www.sagepub.com/

Linear Search with Probabilistic Detection and Variable Speeds

Jared Coleman, Oscar Morales-Ponce

专题命中 工具调用 ：agent(abstract)

Efficiently Manipulating Clutter via Learning and Search-Based Reasoning

Baichuan Huang

机构 * Baichuan Huang（黄百川） 纠错

专题命中 工具调用 ：planning(abstract)

Comments PhD Thesis of Baichuan Huang, written under the direction of Prof. Jingjin Yu

Enabling Robots to Autonomously Search Dynamic Cluttered Post-Disaster Environments

Karlo Rado, Mirko Baglioni, Anahita Jamshidnejad

专题命中 工具调用 ：planning(abstract)

Riemannian Direct Trajectory Optimization of Rigid Bodies on Matrix Lie Groups

Sangli Teng, Tzu-Yuan Lin, William A Clark, Ram Vasudevan, Maani Ghaffari

机构 * University of Michigan（密歇根大学） ； Ohio University（俄亥俄大学） 纠错

专题命中 工具调用 ：planning(abstract)

Comments Accepted to Robotics: Science and Systems (RSS) 2025

Conformal Prediction for Verifiable Learned Query Optimization

Hanwen Liu, Shashank Giridhara, Ibrahim Sabek

专题命中 工具调用 ：planning(abstract)

Comments To appear at VLDB 2025 (https://vldb.org/2025/)

On salesmen and tourists: two-step optimization in deterministic foragers

Maya Miguel, Miramontes Octavio, Boyer Denis

专题命中 工具调用 ：planning(abstract)

Comments 10 pages, 8 figures, Submitted to European Journal of Physics Special Topics

Journal ref The European Physical Journal Special Topics 226.3 (2017): 391-400

CWTHF: Identifying Dark Matter Halos with Continuous Wavelet Transform

Minxing Li, Yun Wang, Ping He

专题命中 工具调用 ：tool use(abstract)

Comments 18 pages, 15 figures, 1 table, Accepted by ApJ

Journal ref ApJ (2025), 984, 68

Reduction of $ε$-expanded Feynman integrals

Yan-Qing Ma, Cong-Hao Qin, Ao Tan, Kai Yan

专题命中 工具调用 ：tool use(abstract)

Equivalences between Non-trivial Variants of 3LDT and Conv3LDT

Bartłomiej Dudek, Paweł Gawrychowski, Tatiana Starikovskaya

专题命中 工具调用 ：tool use(abstract)

Comments abstract shortened to meet arXiv requirements

An Extended Horizon Tactical Decision-Making for Automated Driving Based on Monte Carlo Tree Search

Karim Essalmi, Fernando Garrido, Fawzi Nashashibi

专题命中 工具调用 ：planning(abstract)

Comments 6 pages, 5 figures, submitted and accepted to the IEEE Intelligent Vehicles Symposium Conference (IV 2025)

Flow-augmentation III: Complexity dichotomy for Boolean CSPs parameterized by the number of unsatisfied constraints

Eun Jung Kim, Stefan Kratsch, Marcin Pilipczuk, Magnus Wahlström

专题命中 工具调用 ：tool use(abstract)

Comments v2. Major update to all three flow-augmentation papers; v3. Final version accepted to SIAM J. Comput

Zero Day Malware Detection with Alpha: Fast DBI with Transformer Models for Real World Application

Matthew Gaber, Mohiuddin Ahmed, Helge Janicke

专题命中 工具调用 ：tool use(abstract)

TrustMap: Mapping Truthfulness Stance of Social Media Posts on Factual Claims for Geographical Analysis

Zhengyuan Zhu, Haiqi Zhang, Zeyu Zhang, Chengkai Li

专题命中 工具调用 ：tool use(abstract)

The Evolving Role of Programming and LLMs in the Development of Self-Driving Laboratories

John R. Kitchin

专题命中 工具调用 ：function calling(abstract)

Validating LLM-Generated Relevance Labels for Educational Resource Search

Ratan J. Sebastian, Anett Hoppe

专题命中 工具调用 ：planning(abstract)

Comments Presented in the LLM4Eval Workshop Co-located with WSDM '25 in Hannover, Germany

A Competitive Posted-Price Mechanism for Online Budget-Feasible Auctions

Andreas Charalampopoulos, Dimitris Fotakis, Panagiotis Patsilinakos, Thanos Tolias

专题命中 工具调用 ：agent(abstract)

Calculation of time-optimal motion primitives for systems exhibiting oscillatory internal dynamics

Thomas Auer, Frank Woittennek

专题命中 工具调用 ：planning(abstract)

Enhancing Product Search Interfaces with Sketch-Guided Diffusion and Language Agents

Edward Sun

专题命中 工具调用 ：agent(abstract)

Comments Companion Proceedings of the ACM Web Conference 2025

Designing Human-AI System for Legal Research: A Case Study of Precedent Search in Chinese Law

Jiarui Guan, Ruishi Zou, Jiajun Zhang, Kimpan Xin, Bingsu He, Zhuhe Zhang, Chen Ye

专题命中 工具调用 ：workflow(abstract)

Comments To appear in Extended Abstracts of the CHI Conference on Human Factors in Computing Systems (CHI'25)

A note on variants of Buchstab's identity

Runbo Li

专题命中 工具调用 ：tool use(abstract)

Comments 7 pages

A Survey of Large Language Model Empowered Agents for Recommendation and Search: Towards Next-Generation Information Retrieval

Yu Zhang, Shutong Qiao, Jiaqi Zhang, Tzu-Heng Lin, Chen Gao, Yong Li

专题命中 工具调用 ：agent(abstract)

Exactly unitary discrete representations of the metaplectic transform for linear-time algorithms

N. A. Lopez, I. Y. Dodin

专题命中 工具调用 ：tool use(abstract)

Comments 10 pages, 3 figures, 1 appendix

Journal ref J. Opt. Soc. Am. A 38, 634 (2021)

AVP-AP: Self-supervised Automatic View Positioning in 3D cardiac CT via Atlas Prompting

Xiaolin Fan, Yan Wang, Yingying Zhang, Mingkun Bao, Bosen Jia, Dong Lu, Yifan Gu, Jian Cheng, Haogang Zhu

专题命中 工具调用 ：planning(abstract)

Comments 12 pages, 8 figures, published to TMI

Journal ref IEEE TRANSACTIONS ON MEDICAL IMAGING, March 2025