Artificial Intelligence

Authors and titles for recent submissions, skipping first 412

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

Mon, 8 Dec 2025 (continued, showing 10 of 121 entries)

[413]  arXiv:2512.05439 [pdf, ps, other]

Title: BEAVER: An Efficient Deterministic LLM Verifier

Authors: Tarun Suresh, Nalin Wadhwa, Debangshu Banerjee, Gagandeep Singh

Subjects: Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL)

[414]  arXiv:2512.05371 [pdf, ps, other]

Title: ChipMind: Retrieval-Augmented Reasoning for Long-Context Circuit Design Specifications

Authors: Changwen Xing, SamZaak Wong, Xinlai Wan, Yanfeng Lu, Mengli Zhang, Zebin Ma, Lei Qi, Zhengxiong Li, Nan Guan, Zhe Jiang, Xi Wang, Jun Yang

Comments: Accepted by the AAAl26 Conference Main Track

Subjects: Artificial Intelligence (cs.AI); Hardware Architecture (cs.AR)

[415]  arXiv:2512.05365 [pdf, ps, other]

Title: MCP-AI: Protocol-Driven Intelligence Framework for Autonomous Reasoning in Healthcare

Authors: Zag ElSayed, Craig Erickson, Ernest Pedapati

Comments: 6 pages, 4 figures

Journal-ref: IEEE ICMLA 2025

Subjects: Artificial Intelligence (cs.AI); Quantitative Methods (q-bio.QM)

[416]  arXiv:2512.05356 [pdf, ps, other]

Title: AI & Human Co-Improvement for Safer Co-Superintelligence

Authors: Jason Weston, Jakob Foerster

Subjects: Artificial Intelligence (cs.AI)

[417]  arXiv:2512.05257 [pdf, ps, other]

Title: Resolving Zadehs Paradox Axiomatic Possibility Theory as a Foundation for Reliable Artificial Intelligence

Authors: Bychkov Oleksii, Bychkova Sophia, Lytvynchuk Khrystyna

Comments: 9 pages

Subjects: Artificial Intelligence (cs.AI)

[418]  arXiv:2512.05212 [pdf, ps, other]

Title: On the Computability of Artificial General Intelligence

Authors: Georgios Mappouras, Charalambos Rossides

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL)

[419]  arXiv:2512.05167 [pdf, ps, other]

Title: Bridging Traditional Machine Learning and Large Language Models: A Two-Part Course Design for Modern AI Education

Authors: Fang Li

Comments: Accepted by the 39th annual Consortium for Computing Sciences in Colleges (CCSC:SE)

Subjects: Artificial Intelligence (cs.AI)

[420]  arXiv:2512.05156 [pdf, ps, other]

Title: Semantic Faithfulness and Entropy Production Measures to Tame Your LLM Demons and Manage Hallucinations

Authors: Igor Halperin

Comments: 23 pages, 6 figures

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Information Theory (cs.IT); Machine Learning (cs.LG); Computational Finance (q-fin.CP)

[421]  arXiv:2512.05122 [pdf, ps, other]

Title: Documenting SME Processes with Conversational AI: From Tacit Knowledge to BPMN

Authors: Unnikrishnan Radhakrishnan

Comments: Presented at 2025 International Workshop on Low-Cost Digital Solutions for Industrial Automation (LODISA)

Subjects: Artificial Intelligence (cs.AI)

[422]  arXiv:2512.05967 (cross-list from cs.IR) [pdf, ps, other]

Title: Enhancing Retrieval-Augmented Generation with Entity Linking for Educational Platforms

Authors: Francesco Granata, Francesco Poggi, Misael Mongiovì

Subjects: Information Retrieval (cs.IR); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG)

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