AI & Machine Learning · Computer Science & AI
Artificial Intelligence
The newest papers in Artificial Intelligence that ReadSearch has read, newest first. Each links to its own page, with its authors, date, where it was published and the original.
The newest 5,000 papers, from 11 October 2026 to 5 November 2026: 4,998 arXiv preprints and 2 OpenAlex records.
Get the few papers worth your time in Artificial Intelligence every morning.
Follow Artificial Intelligence and ReadSearch reads its new papers each day, then brings you the few worth reading, each with its key finding in a sentence.
Newest papers, page 34
Math Foundation Formalization Agent: A General-Purpose Approach to Formalizing Mathematical Foundations
Mathematical formalization plays an important role in establishing rigorous and machine-verifiable foundations for mathematical reasoning.SpecOPD: Branch-Parallel On-Policy Distillation for Speculative Decoding
Speculative decoding (SD) accelerates large language model inference by reducing the sequential cost of token-by-token generation.TLAPS-Bench: Formally Proving Correctness of Real-World System Specifications with TLA+ Proof System
TLAPS-Bench is a benchmark and execution harness for constructing machine-checked proofs for real-world system specifications in TLA+ with agentic AI.Value-Conditioned Proposal Acquisition for Test-Time Reasoning
Sampling and selection spend test-time compute inside a candidate pool, but they cannot recover a correct answer that never enters it.Kolmogorov-Arnold Networks vs. Multi-Layer Perceptrons: A Rigorous Statistical Benchmark on Clinical Tabular Data
Kolmogorov-Arnold Networks (KANs) have recently been proposed as a promising alternative to Multi-Layer Perceptrons (MLPs).Integrating Domain Adaptation and Retrieval-Augmented Generation for Saline-Alkali Land Reclamation Planning
Reclamation of saline-alkali land requires management plans that account for soil and water conditions, treatment evidence, and financial constraints.Tug of Watts: A study on the Energy - Accuracy Trade-off of Large Language Models on Medical Question Answering Tasks
Large Language Models (LLMs) are increasingly used in medical question answering (QA) systems.JABER: Sequential Quality Control for Human-AI Data Annotation under Shared Bias
High-quality annotations are essential for training and evaluating artificial intelligence (AI) systems.Voice-Native LLMs Hear Frustration but Do Not Listen to It
Users convey frustration in what they say and in how they say it, and voice-native models, which hear speech instead of an ASR transcript, can register both.Bridging Low-Level Image Fusion and High-Level Semantic Understanding
Remote sensing image fusion and semantic interpretation are usually optimized separately, so reconstruction quality need not preserve downstream retrieval utility.Maswao: An automatically collected, prepared, and benchmarked dataset for the South African Sign language
Recent advancements in sign language processing can be attributed to developments in both large-scale dataset collection and algorithmic complexity in areas such as pose estimation techniques…What makes a theorem interesting? Operationalizing interestingness for open-ended exploration
An agent that explores, whether it generates conjectures or research ideas, must decide which of them are worth keeping.User Attributes and Political Ideology Shape LLM Receptiveness in Online Political Debates
Online political discussions increasingly involve AI-mediated participation, as users invoke LLMs to assess contested claims, arbitrate disputes, and respond to opposing viewpoints.Training-Time Domain Transfer for Generator-Free Diagnostics on Novel Modalities in Computational Pathology
Novel imaging modalities promise improved diagnostics, but AI development is constrained by scarce training data.Why Tabular Foundation Models Excel on Relational Data They Have Never Seen
Given a relational database (RDB) storing heterogeneous tabular information, how can we predict missing (or future) values in some target column of interest?PlagiaCorpus: A Bilingual, Adversarial, and Cross-Lingual Dataset for Forensic Plagiarism Detection
PlagiaCorpus is a bilingual Arabic-English dataset for benchmarking plagiarism and text-reuse detection, including reuse produced by large language models (LLMs) and reuse across languages.Action Verification through Conjecture and Refutation for Language Model Agents
Language model agents increasingly act on users' behalf by manipulating external environments through tools, often from high-level instructions that leave critical task- and environment-specific…Balancing Representations by Identifying and Generating Under-represented Data
Self-supervised learning inherits the coverage of its source data.Specification-Aware Predictive Uncertainty Decomposition
Classical decompositions of predictive uncertainty, such as the information-theoretic one, are defined for a fixed representation $x$ of the input object.CAREFUL-Bench: Effect-Aware, Judge-Free Evaluation of Multi-Turn LLM Function Calling
The multi-turn checker of the Berkeley Function Calling Leaderboard (BFCL) checks only the final state of a simulated service, never the calls that produced it.