LLM Agents

LLM: Large Language Model

Follow this topic Ask about this topic

Momentum

57 papers in the last four weeks, up 58% on the four weeks before. 0.6% of all new papers.

Jul 13Week of Sep 28

Latest papers 433

All topics

Fewer Assumptions by Design: A Reusable Skill for LLM-Assisted Verus Verification
Sep 28, 2026Andrada-Livia Antoneac, Dorel Lucanu, Dragoş Teodor GavriluţFormal Verification LLM Agent Skill Learning
Alexandru Ioan Cuza University of Iaşi, Bitdefender · Alexandru Ioan Cuza University of Iaşi
VehicleArena: A Realistic Urban Environment for Multi-Agent Driving
Sep 28, 2026Jie Yang, Jiajun Chen, Jiazheng Zhou +4Autonomous Driving Benchmarks Autonomous Driving
Fudan University · Shanghai Innovation Institute
SGG-ReflAct: Sub-Goal Guided ReflAct with Structured Planning for Reliable Long-Horizon Reasoning
Sep 28, 2026Jaeho Jung, Sung Hoon JungLLM Agents Long-Horizon LLM Agents
Independent Researcher Seoul, Republic of Korea · Department of Applied Artificial Intelligence Hansung University Seoul, Republic of Korea
Evo2Team: When Do Evolved Skills Transfer? From Selection to Deployment
Sep 28, 2026Renxiang Wang, Jiaming CuiMulti-Agent Coordination Task Transferability Estimation
Virginia Tech, Blacksburg, VA
StateGuard: Analytical-State Management with Validity-Aware Intervention for Long-Horizon Data Agents
Sep 28, 2026Wenle Liao, Zhao Wang, Jingchao Zhang +3LLM Agent Verification Graph-Based Agent Memory
Gaoling School of Artificial Intelligence Renmin University of China
UOPD: Uncertainty-Aware Intervention for On-Policy Distillation of Multi-Turn Agents
Sep 27, 2026Wenbo Zhang, Pengcheng Xu, Weizhi Du +2LLM Agents Uncertainty-Aware Knowledge Distillation
University of California, Irvine · University of Michigan, Ann Arbor
AgentBoundary: Counterfactual Evaluation of Safety in Tool-Using LLM Agents
Sep 27, 2026Tianzhuo Yang, Zirui Mi, Yantao Huang +4LLM Agent Evaluation LLM Agents
Peking University · Beijing Academy of Artificial Intelligence
Robust Hierarchical Structures for Agentic Document Analysis
Sep 27, 2026Ruiying Ma, Yiming Lin, Aditya G. ParameswaranDocument Information Extraction Document Parsing
UC Berkeley
LLM Parkinsonism: Executive-Control Failure, Token-Inefficient Persistence, and an Uncertainty-Aware Global Executive Control Architecture for Autonomous Language-Model Agents
Sep 25, 2026Dongsheng Xiao, Zeyuan Wang, Xuzhe Xia +2Overthinking in Language Models LLM Agents
Queensland Brain Institute, The University of Queensland, Brisbane, Queensland, Australia · School of Cyber Security, Northwestern Polytechnical University, Xi'an, Shaanxi, China · Department of Electrical and Computer Engineering, The University of British Columbia, Vancouver, British Columbia, Canada +2
ASIRF: An Agentic Framework for Context-Dependent Sensitive Information Redaction
Sep 24, 2026Sudha Priyadarshini, Mohamed Chahine GhanemPrivacy-Preserving Language Models LLM Agents
University of Liverpool, UK · Keele University, UK
PFArena: Benchmarking Language Models for Protein Modification
Sep 24, 2026Yawen Ouyang, Xinbo Zhang, Ziyuan Ma +15Protein Fitness Prediction Protein Language Models
Shanghai Artificial Intelligence Laboratory · Generative Symbolic Intelligence Lab (GenSI), Tsinghua University · Institute for AI Industry Research (AIR), Tsinghua University +1
Live Assistant: Learning Whether, When, and Whom to Assist in Real-World Live Social Streams
Sep 23, 2026Shujian Gao, Jiamei Yan, Yuchen Yang +6Human-AI Interaction Proactive Assistance
Institute of Trustworthy Embodied AI, Fudan University · ByteDance TikTok · Shanghai Innovation Institution +1
SR-Fraud: An Outcome-Supervised Reflective LLM Agent Framework for Non-Stationary Payment Fraud Detection
Sep 23, 2026Xuwei Tan, Yao Ma, Xueru ZhangConcept Drift Financial Fraud Detection
Coinbase, Inc. · The Ohio State University
TimeEvo: Failure-Driven Self-Evolution of a Time Series Agent
Sep 23, 2026Jie Yang, Yan Zheng, Jiarui Sun +8Time Series QA LLM Agent Self-Improvement
University of Illinois at Chicago · Visa Research · University of Florida +2
UniDataAgent: An Ontology-Grounded Agent for Enterprise Question-to-Report Automation
Sep 23, 2026Yutai Duan, Yahui Zhao, Zhangti Li +5Tool-Using Agents LLM Agents
China Unicom Software Research Institute Beijing, China
Harness as a Language: A Minimalist Agent Framework With Maximal Expressivity
Sep 22, 2026Zhening Li, Joshua Liu, Mateja Vukelic +7LLM Agent Memory LLM Agent Self-Improvement
MIT CSAIL · Independent Researcher
Towards Strategy-Level RSI for Skill-Augmented Agents: Learning When to Reuse Skills from Execution Feedback
Sep 22, 2026Shuang Guo, Xiaobo Sui, Fei Jiang +4LLM Agent Skill Retrieval LLM Agents
Central China Normal University
REFLEX with Jev for Efficient Selective Control in LLM Agents
Sep 22, 2026Tiantong Wu, Wei Yang Bryan LimLLM Inference Efficiency LLM Agent Evaluation
Nanyang Technological University Singapore
Qwen-Audio-3.1-Realtime: Towards Reliable Agentic Voice Interaction
Sep 21, 2026Lujia Bao, Qian Chen, Luyao Cheng +15Tool-Augmented Language Model Agents Speech Foundation Models
Alibaba Token Foundry, Alibaba Group
Data Agents: Agentic Data Systems
Sep 21, 2026Guoliang Li, Peiyao Zhou, Xuanhe Zhou +3LLM Agents Data Analysis Agents
Department of Computer Science, Tsinghua University, Beijing, China · Shanghai Jiao Tong University, Shanghai, China · The Hong Kong University of Science and Technology (Guangzhou), China +1
Chronicle: Cut-Point Replay for Regression Testing of LLM Agents
Sep 17, 2026Tisha Chawla, Susheem KoulLLM Agents LLM Agent Reliability
Microsoft
SoK: Trading Agents or Market Crashers? Dissecting Robustness and Security Failures in Academic Financial LLM Trading Schemes
Sep 17, 2026Mengxiao Wang, Nitesh SaxenaLLM Agent Security AI Agent Security Benchmarks
Texas A&M University
Cognitive Extensions for Dual-Process Language Agents: Memory and Self-Reflection in Interactive Environments
Sep 16, 2026João Meneses dos Santos, Arlindo L. OliveiraCognitive Architectures for AI Agents Runtime Enforcement for AI Agents
Instituto Superior Técnico, Universidade de Lisboa, Portugal · INESC-ID, Lisboa, Portugal
Interpreting and Steering LLM Agents for Social Simulations
Sep 14, 2026Jiayue Gaveal Fan, Arul Murugan, Shreyas Krishnan +1LLM Interpretability Human Behavior Simulation
1Data Innovation and AI Lab (DIAL), University of California, Berkeley · 2National Bureau of Economic Research (NBER)
Cheap Talk Stabilizes Strategic Interaction in LLM Agents
Sep 14, 2026Nunzio Lorè, Hongan Zhu, Babak HeydariRepeated Games LLM Agents
Multi-Agent Intelligent Complex Systems (MAGICS) Lab, Northeastern University, Boston, MA, USA
Enabling Creative Exploration for Vibe Design Agents
Sep 14, 2026Yifan Zhang, Nghi D. Q. Bui, Georgios Evangelopoulos +1Agentic Code Generation LLM Agents
Google
The average-farmer illusion in language-model simulations of agricultural decisions
Sep 14, 2026Zhanliang Zhu, Ziwei Li, Yuchen Liu +5Synthetic Data Generation LLM Agents
1State Key Laboratory of Water Disaster Prevention, Hohai University, Nanjing 210098, China · 2Yangtze Institute for Conservation and Development, Hohai University, Nanjing 210098, China · 3Meta Platforms Inc. +2
GTA: Graph Theory Agent and Benchmark for Algorithmic Graph Reasoning with LLMs
Sep 14, 2026Zixiang Xu, Yanbo Wang, Chenxi Wang +6LLM Reasoning with Graphs LLM Agents
University of Southern California · University of California, Los Angeles · Mohamed bin Zayed University of Artificial Intelligence +2
Do LLMs Trust the Accuser or the Accusation? Measuring Belief Shifts in Werewolf
Sep 14, 2026Yu-Yu Yang, Ti-Rong Wu, Hung Guei +2Social Deduction Games Pragmatic Reasoning in Language Models
Department of Computer Science, National Yang Ming Chiao Tung University, Taiwan · Institute of Information Science, Academia Sinica, Taiwan · College of Artificial Intelligence, National Yang Ming Chiao Tung University, Taiwan +1
AgentKV: Phase-Aware KV Eviction for Agentic LLMs
Sep 14, 2026Taowen Tony Liu, Jeffrey T. H. Wong, Can Xiao +3KV Caching KV-Cache Eviction
Imperial College London, London, United Kingdom · Columbia University, New York, NY, USA

Sep 28, 2026, cs.AIJ/K move · Enter open · S save

Fewer Assumptions by Design: A Reusable Skill for LLM-Assisted Verus Verification

Andrada-Livia Antoneac, Dorel Lucanu, Dragoş Teodor Gavriluţ

Alexandru Ioan Cuza University of Iaşi, Bitdefender · Alexandru Ioan Cuza University of Iaşi

Formal Verification LLM Agent Skill Learning LLM Agents

Open paper AskPDF arXiv

LLM-assisted Verus verification is a less tedious method to verify Rust implementations, but paired with self-referential structures, e.g., Doubly Linked Lists (DLLs)ânotoriously difficult to formalise for verificationâit becomes a substantially more demanding verification task. Moreover, a specification weakness can arise when verification relies on unproven or invalidated assumptions, such as axiomatic lemmas and assume statements. We investigate whether LLM agents can synthesize strong DLL specifications while minimizing these trusted base. The analysis follows three different approaches: manual verification, property-specific verification, and a defined skill for the specific case of DLLs and certain properties of this type of data structure. The skill encodes domain knowledge and a task-decomposition strategy. We show that an LLM agent equipped with a carefully designed verification skill can generate strong, low-trust specifications for DLLs in Verus.

Momentum

Related topics

Latest papers 433