arXiv AI - Trending Now

1

Formalizing inverse problems in the age of AI: possibilities, pitfalls, and an invitation

AI 时代如何形式化反问题：可能性、陷阱与一份邀请

2

KDASO: Knowledge-Data Dual-Driven Automated Skill Optimization for Liability Adjudication Tasks

KDASO：知识与数据双驱动的责任认定任务技能自动优化

3

BlockLock: Reproducible LLM Inference with Fixed Batch Geometry

BlockLock：以固定批几何实现可复现的大模型推理

4

Resource-Efficient Reinforcement Learning Post-Training through Elastic Expert Parallelism

用弹性专家并行实现资源高效的强化学习后训练

5

The Two-Ledger Model: Transaction-Grain Cost Accounting for Multi-Agent AI Systems Across Clouds, Models, and Systems of Record

双账本模型：跨云、跨模型、跨记录系统的多智能体 AI 交易粒度成本核算

6

Autonomous AI Agents Systematically Diverge From Human Preferences in Proof Formalization

自主 AI 智能体在证明形式化中系统性偏离人类偏好

7

Trust Responsive Runtime Authorization for Agentic AI with Empirical Characterization of Policy Behavior and Parameter Sensitivity

智能体 AI 的信任响应式运行时授权：策略行为与参数敏感性的实证刻画

8

Adapting the Process of Adaptation: Darwinian, Lamarckian, and Agent-Directed Evolution in AI

适应的过程如何再适应：AI 中的达尔文式、拉马克式与智能体主导演化

9

Closed-Loop Agent Evaluation: Layered Measurement and Self-Calibration

闭环智能体评测：分层度量与自校准

10

Cooperative Multi-Agent Reinforcement Learning via Epigraph-Form Guided Exploration

以上图形式引导探索的合作多智能体强化学习

11

When Verification Is Not Agreement: Cross-Agent LLM-to-Dafny Formalization

验证通过不等于达成一致：跨智能体的大模型到 Dafny 形式化

12

Synthesizing symbolic models of human and machine reasoning at scale

大规模合成人类与机器推理的符号模型

13

PromptOps: Iterative Prompt Optimization for LLM-as-a-Judge Systems

PromptOps：面向大模型评审系统的迭代提示优化

14

Goal Revelation as a Bridge Between Information-Theoretic Empowerment and Capability-Based Human Power

目标揭示：连通信息论赋权与能力型人类权力的桥梁

15

Robust Ranking of Port Impacts from Impending Tropical Cyclones: A Two-Stage Recommendation System

热带气旋来袭时港口影响的稳健排序：一个两阶段推荐系统

16

EnvOpt: Automated Optimization for Agent Environments

EnvOpt：智能体运行环境的自动优化

17

FINCOSMOS: An Open-World Evaluation Paradigm for Agents in Finance

FINCOSMOS：金融智能体的开放世界评测范式

18

SAVeR$^2$: Reasoning-based Safety Alignment for Large Reasoning Models via Verifiable Rewards

SAVeR 平方：以可验证奖励为大型推理模型做基于推理的安全对齐

19

DelegateEval: Evaluating Platforms for Personal External Service Agents

DelegateEval：评测个人外部服务智能体平台

20

Graph learning-assisted logic-based Benders decomposition for distributionally robust in-station train rescheduling under disruptions

图学习辅助的逻辑型 Benders 分解：扰动下分布鲁棒的站内列车重调度

21

Goal-Branching LaCAM: Temporary Goals as Search Branches in Dense Multi-Agent Pathfinding

目标分支 LaCAM：把临时目标当作密集多智能体寻路中的搜索分支

22

CST-Bench: Benchmarking Counterfactual Spatial Transition Reasoning with Causal Transition On-Policy Self-Distillation

CST-Bench：以因果转移同策略自蒸馏评测反事实空间转移推理

23

FlashOffloading: Low-Latency KV Cache Offloading for Long-Context LLM Serving

FlashOffloading：长上下文大模型服务中的低延迟缓存卸载

24

Align Before Aggregation: Basis-Consistent Federated LoRA under Heterogeneous Ranks

先对齐再聚合：异构秩下基一致的联邦 LoRA

25

Embedding-Space Fingerprinting of LoRA Fine-Tunes: Recovering the Training-Data Domain from the Model Artifact Alone

LoRA 微调的嵌入空间指纹：仅凭模型产物还原训练数据领域

26

Beneath the Surface: What We Overlook When We Talk About Agent Evolution

水面之下：谈智能体演化时我们忽略了什么

27

Redacting Personal Data: A Speed and Accuracy Comparison of Regex, Presidio and Hybrid Designs

个人数据脱敏：正则、Presidio 与混合方案的速度与准确度对比

28

Don't Prompt Your Agents. Equip Them: Skillware as a Modular Standard for Sovereign, Auditable, and Deterministic Capability Execution for Logical Systems

别只给智能体写提示词，要给它装备：技能件作为逻辑系统自主、可审计、确定性执行的模块化标准

29

PharmAgents2: Towards Autonomous End-to-End Drug Discovery

PharmAgents2：迈向自主的端到端药物发现

30

Who Should Know What? Empirical Information Design for Multi-Agent LLM Economies

谁该知道什么：多智能体大模型经济体中的经验性信息设计

arXiv AI实时榜单