We gratefully acknowledge support from
the Simons Foundation and member institutions.

Artificial Intelligence

Authors and titles for recent submissions, skipping first 572

[ total of 798 entries: 1-5 | ... | 558-562 | 563-567 | 568-572 | 573-577 | 578-582 | 583-587 | 588-592 | ... | 798 ]
[ showing 5 entries per page: fewer | more | all ]

Tue, 9 Dec 2025 (continued, showing 5 of 256 entries)

[573]  arXiv:2512.06866 (cross-list from cs.CV) [pdf, ps, other]
Title: Less Is More, but Where? Dynamic Token Compression via LLM-Guided Keyframe Prior
Comments: Accepted by NeurIPS 2025
Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG)
[574]  arXiv:2512.06854 (cross-list from cs.AR) [pdf, ps, other]
Title: ArchPower: Dataset for Architecture-Level Power Modeling of Modern CPU Design
Comments: Published in NeurIPS'25 Dataset and Benchmark Track
Subjects: Hardware Architecture (cs.AR); Artificial Intelligence (cs.AI)
[575]  arXiv:2512.06850 (cross-list from cs.LO) [pdf, ps, other]
Title: Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
Comments: To appear at the 37th IEEE International Conference on Microelectronics (ICM), December 14-17, 2025, Cairo, Egypt
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Hardware Architecture (cs.AR)
[576]  arXiv:2512.06836 (cross-list from cs.SE) [pdf, ps, other]
Title: Leveraging LLMs to support co-evolution between definitions and instances of textual DSLs
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[577]  arXiv:2512.06814 (cross-list from cs.CL) [pdf, ps, other]
Title: CAuSE: Decoding Multimodal Classifiers using Faithful Natural Language Explanation
Comments: Accepted at Transactions of the Association for Computational Linguistics (TACL). Pre-MIT Press publication version
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)
[ total of 798 entries: 1-5 | ... | 558-562 | 563-567 | 568-572 | 573-577 | 578-582 | 583-587 | 588-592 | ... | 798 ]
[ showing 5 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2512, contact, help  (Access key information)