Computer Science

Authors and titles for Dec 2025, skipping first 3030

[3031]  arXiv:2512.06591 [pdf, ps, other]

Title: Beyond Satisfaction: From Placebic to Actionable Explanations For Enhanced Understandability

Authors: Joe Shymanski, Jacob Brue, Sandip Sen

Comments: 21 pages, 7 figures, 6 tables. EXTRAAMAS 2025 submission. Preprint version

Journal-ref: In: Calvaresi, D., et al. Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems. EXTRAAMAS 2025. Lecture Notes in Computer Science. Springer, Cham

Subjects: Human-Computer Interaction (cs.HC); Artificial Intelligence (cs.AI)

[3032]  arXiv:2512.06592 [pdf, ps, other]

Title: On fine-tuning Boltz-2 for protein-protein affinity prediction

Authors: James King, Lewis Cornwall, Andrei Cristian Nica, James Day, Aaron Sim, Neil Dalchau, Lilly Wollman, Joshua Meyers

Comments: MLSB 2025

Subjects: Machine Learning (cs.LG); Biomolecules (q-bio.BM)

[3033]  arXiv:2512.06595 [pdf, ps, other]

Title: ChargingBoul: A Competitive Negotiating Agent with Novel Opponent Modeling

Authors: Joe Shymanski

Comments: 10 pages, 3 figures. Describes the ChargingBoul negotiating agent submitted to ANAC 2022. Preprint

Subjects: Multiagent Systems (cs.MA); Artificial Intelligence (cs.AI)

[3034]  arXiv:2512.06597 [pdf, ps, other]

Title: When Does Regulation by Insurance Work? The Case of Frontier AI

Authors: Cristian Trout

Subjects: Computers and Society (cs.CY)

[3035]  arXiv:2512.06598 [pdf, ps, other]

Title: From Remote Sensing to Multiple Time Horizons Forecasts: Transformers Model for CyanoHAB Intensity in Lake Champlain

Authors: Muhammad Adil, Patrick J. Clemins, Andrew W. Schroth, Panagiotis D. Oikonomou, Donna M. Rizzo, Peter D. F. Isles, Xiaohan Zhang, Kareem I. Hannoun, Scott Turnbull, Noah B. Beckage, Asim Zia, Safwan Wshah

Comments: 23 pages, 15 figures

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[3036]  arXiv:2512.06600 [pdf, ps, other]

Title: Learning Reachability of Energy Storage Arbitrage

Authors: Tomás Tapia, Agustin Castellano, Enrique Mallada, Yury Dvorkin

Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)

[3037]  arXiv:2512.06603 [pdf, ps, other]

Title: Sliding-Mode Control Strategies for PMSM: Benchmarking and Comparative Simulation Study

Authors: Mubarak Badamasi Aremu, Abdullah Ajasa, Ali Nasir

Subjects: Systems and Control (eess.SY)

[3038]  arXiv:2512.06604 [pdf, ps, other]

Title: Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction

Authors: Michał Sochański, Przemysław Andrzej Wałęga, Michał Zawidzki

Comments: Accepted for publication at AAAI 2026; pre-print with full proofs and supplementary results

Subjects: Logic in Computer Science (cs.LO)

[3039]  arXiv:2512.06606 [pdf, ps, other]

Title: Improved Interactive Protocol for Synchronizing From Deletions

Authors: Haolun (Michael)Ni, Lev Tauz, Ryan Gabrys, Lara Dolecek

Comments: 14 pages, 3 figures. Extended version of a paper presented at ISIT 2025. A journal version is in preparation

Subjects: Information Theory (cs.IT)

[3040]  arXiv:2512.06607 [pdf, ps, other]

Title: A Fast and Effective Solution to the Problem of Look-ahead Bias in LLMs

Authors: Humzah Merchant, Bradford Levy

Subjects: Machine Learning (cs.LG); Computation and Language (cs.CL)