Computer Science

Authors and titles for recent submissions, skipping first 1347

• Thu, 11 Dec 2025
• Wed, 10 Dec 2025
• Tue, 9 Dec 2025
• Mon, 8 Dec 2025
• Fri, 5 Dec 2025

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

Authors: Shuo Liu, Wenliang Liu, Wei Xiao, Calin A. Belta

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

Authors: Ben Jacobsen, Kassem Fawaz

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

Authors: Adrian Przybysz, Mikołaj Kołek, Franciszek Sobota, Jarek Duda

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

Authors: Zilin Li, Weiwei Xu, Vicki Kane

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

Authors: Yichao Shen, Fangyun Wei, Zhiying Du, Yaobo Liang, Yan Lu, Jiaolong Yang, Nanning Zheng, Baining Guo

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

Authors: Marco Bernardo, Andrea Esposito, Claudio A. Mezzina

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

Authors: Mirco A. Mannucci, Corey Thuro

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

Authors: Ilia Larchenko, Gleb Zarin, Akash Karnatak

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

Authors: Shravan Venkatraman, Muthu Subash Kavitha, Joe Dhanith P R, V Manikandarajan, Jia Wu

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

Authors: Munshi Mahbubur Rahman, Shimei Pan, James R. Foulds

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computers and Society (cs.CY)

• Thu, 11 Dec 2025
• Wed, 10 Dec 2025
• Tue, 9 Dec 2025
• Mon, 8 Dec 2025
• Fri, 5 Dec 2025