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

Artificial Intelligence

Authors and titles for recent submissions, skipping first 412

[ total of 818 entries: 1-10 | ... | 383-392 | 393-402 | 403-412 | 413-422 | 423-432 | 433-442 | 443-452 | ... | 813-818 ]
[ showing 10 entries per page: fewer | more | all ]

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

[413]  arXiv:2512.05439 [pdf, ps, other]
Title: BEAVER: An Efficient Deterministic LLM Verifier
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
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
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
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
Comments: 9 pages
Subjects: Artificial Intelligence (cs.AI)
[418]  arXiv:2512.05212 [pdf, ps, other]
Title: On the Computability of Artificial General Intelligence
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
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
Subjects: Information Retrieval (cs.IR); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG)
[ total of 818 entries: 1-10 | ... | 383-392 | 393-402 | 403-412 | 413-422 | 423-432 | 433-442 | 443-452 | ... | 813-818 ]
[ showing 10 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)