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

高校专区

University of Michigan(密歇根大学安娜堡分校)

2025-11-05 至 2025-11-05 共收录 2
2508.19999 2025-11-05 cs.LG cs.AI cs.CL

Linear-Time Demonstration Selection for In-Context Learning via Gradient Estimation

Ziniu Zhang, Zhenshuo Zhang, Dongyue Li, Lu Wang, Jennifer Dy, Hongyang R. Zhang

机构 * Northeastern University(东北大学) University of Michigan(密歇根大学)

Comments 19 pages. EMNLP'25

详情

展开后加载摘要…

URL PDF HTML 收藏
2511.02164 2025-11-05 cs.LO cs.AI cs.LG cs.PL

ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems

Eric Vin, Kyle A. Miller, Inigo Incer, Sanjit A. Seshia, Daniel J. Fremont

机构 * University of California, Santa Cruz(加州大学圣克鲁兹分校) University of Michigan(密歇根大学) University of California, Berkeley(加州大学伯克利分校)

Comments 26 pages, 4 figures. Full version (including appendices) of a paper submitted to TACAS 2026

详情

展开后加载摘要…

URL PDF HTML 收藏