arXivDaily arXiv每日学术速递 周一至周五更新

高校专区

California Institute of Technology(加州理工学院)

2025-10-24 至 2025-10-24 共收录 2
2510.20436 2025-10-24 stat.ML cs.LG

Learning Decentralized Routing Policies via Graph Attention-based Multi-Agent Reinforcement Learning in Lunar Delay-Tolerant Networks

Federico Lozano-Cuadra, Beatriz Soret, Marc Sanchez Net, Abhishek Cauligi, Federico Rossi

机构 * Telecommunications Research Institute, University of Málaga(马德里大学电信研究所) Jet Propulsion Laboratory, California Institute of Technology(加州理工学院喷气推进实验室) Department of Mechanical Engineering, Johns Hopkins University(约翰霍普金斯大学机械工程系)

详情

展开后加载摘要…

URL PDF HTML 收藏
2505.13938 2025-10-24 cs.LG cs.AI cs.LO cs.PL cs.SE

CLEVER: A Curated Benchmark for Formally Verified Code Generation

Amitayush Thakur, Jasper Lee, George Tsoukalas, Meghana Sistla, Matthew Zhao, Stefan Zetzsche, Greg Durrett, Yisong Yue, Swarat Chaudhuri

机构 * UT Austin(得克萨斯大学) Amazon(亚马逊) Caltech(加州理工学院)

详情

展开后加载摘要…

URL PDF HTML 收藏