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

Computer Science

Authors and titles for recent submissions, skipping first 1347

[ total of 2810 entries: 1-10 | ... | 1318-1327 | 1328-1337 | 1338-1347 | 1348-1357 | 1358-1367 | 1368-1377 | 1378-1387 | ... | 2808-2810 ]
[ showing 10 entries per page: fewer | more ]

Tue, 9 Dec 2025 (continued, showing 10 of 925 entries)

[1348]  arXiv:2512.06973 [pdf, ps, other]
Title: Joint Learning of Feasibility-Aware Signal Temporal Logic and BarrierNet for Robust and Correct Control
Comments: 16 pages, 11 figures
Subjects: Systems and Control (eess.SY); Machine Learning (cs.LG)
[1349]  arXiv:2512.06971 [pdf, ps, other]
Title: Prediction with Expert Advice under Local Differential Privacy
Comments: 19 pages, 3 figures
Subjects: Machine Learning (cs.LG); Cryptography and Security (cs.CR); Data Structures and Algorithms (cs.DS); Machine Learning (stat.ML)
[1350]  arXiv:2512.06969 [pdf, ps, other]
Title: Comparing BFGS and OGR for Second-Order Optimization
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)
[1351]  arXiv:2512.06966 [pdf, ps, other]
Title: Neuro-Vesicles: Neuromodulation Should Be a Dynamical System, Not a Tensor Decoration
Comments: 17 pages, 1 overview figure, 3 tables; Early-stage theoretical design of the Neuro-Vesicle framework, posted as a record of original contribution
Subjects: Neural and Evolutionary Computing (cs.NE)
[1352]  arXiv:2512.06963 [pdf, ps, other]
Title: VideoVLA: Video Generators Can Be Generalizable Robot Manipulators
Comments: Project page: this https URL
Journal-ref: The Thirty-ninth Annual Conference on Neural Information Processing Systems(NeurIPS2025)
Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV)
[1353]  arXiv:2512.06959 [pdf, ps, other]
Title: Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets
Subjects: Logic in Computer Science (cs.LO)
[1354]  arXiv:2512.06952 [pdf, ps, other]
Title: Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
Comments: 20 pages, 2 figures
Subjects: Logic in Computer Science (cs.LO); Computational Engineering, Finance, and Science (cs.CE); Logic (math.LO)
[1355]  arXiv:2512.06951 [pdf, ps, other]
Title: Task adaptation of Vision-Language-Action model: 1st Place Solution for the 2025 BEHAVIOR Challenge
Comments: 2025 NeurIPS Behavior Challenge 1st place solution
Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)
[1356]  arXiv:2512.06949 [pdf, ps, other]
Title: Can We Go Beyond Visual Features? Neural Tissue Relation Modeling for Relational Graph Analysis in Non-Melanoma Skin Histology
Comments: 19 pages, 5 figures, 2 tables
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1357]  arXiv:2512.06944 [pdf, ps, other]
Title: A Unifying Human-Centered AI Fairness Framework
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computers and Society (cs.CY)
[ total of 2810 entries: 1-10 | ... | 1318-1327 | 1328-1337 | 1338-1347 | 1348-1357 | 1358-1367 | 1368-1377 | 1378-1387 | ... | 2808-2810 ]
[ showing 10 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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