Skip to content

Category

artificial intelligence

19,710 papers

#artificial intelligence Preprint Oct 2026

Convex-SKM-Net: Low-Latency Block Halfspace Corrections for Neural Convex Constraint Satisfaction

Fast inference and strict constraint satisfaction are essential for learning-based decision-making. Existing methods often rely on constraint-specific projections or feasible-set parameterizations, while iterative repair can be costly. We introduce Convex-SKM-Net, a convex constraint-satisfaction layer that forms linea...

Hao-Yu Zhu, Xi Zhang, Qing-Chun Hou · 0 citations
#artificial intelligence Preprint Oct 2026

Scaling Lean Theorem Proving for Real-World Code Verification

EasyProver is presented, a Lean proving system built from recursive agents with isolated contexts, asynchronous search, parallel tactic probing, and an elastic elaboration service, and Aegis is introduced, which converts competitive programming problems into much harder verification tasks over real implementations.

Debargha Ganguly, Divya Raghunathan, Dejan Jovanovic et al. · 0 citations
#artificial intelligence Preprint Open access Oct 2026

Estimating Implicit Expected Log Density Ratios

When exact probabilities cannot be computed, \emph{density ratio estimation (DRE)} is a key subroutine in the wide range of applications where density ratios appear, from experimental design to generative modelling and reinforcement learning. In this paper, we introduce the concept of an \emph{expected log density rati...

Avi Amalanshu, Chandler Squires, Yizhou Lu et al. · 0 citations
#artificial intelligence Preprint Oct 2026

Answer-Only Disclosure: Private-Context LLM Assistance over Web APIs with a Leakage Ledger

ADLER is presented, a decoding protocol for streaming LLM APIs in which every message to the cloud depends only on the public view and the answer the user sees, regardless of how the client combines the two models or how the cloud behaves.

Liang Yuan, Xiao-Hu Du, Rui-Kun Luo et al. · 0 citations
#artificial intelligence Preprint Open access Oct 2026

Beauty Is Human: When People Love AI-Generated Art, They Think a Human Made It

Generative AI now produces images and poems that people cannot reliably distinguish from human-made work, so people often judge for themselves who made a work. We examine how these perceived-authorship judgments relate to aesthetic preference. In a public online AI Art Turing Test, 11,123 people judged whether each of...

Zihan Chen, Di Zhu, Lei Nico Zheng · 0 citations
#artificial intelligence Preprint Open access Oct 2026

From the Gettier Machine to Justified True Output: A Three-Step Account of Rational Trust in Generative AI

As generative artificial intelligence (AI) settles into everyday practices of inquiry, an old epistemological question returns in a new guise: when does a proposition a user takes from an AI output become something the user knows, and when is it rational to trust it as such? This paper argues that the characteristic fa...

Tevfik Uyar · 0 citations
#artificial intelligence Preprint Open access Oct 2026

The Prestige: Benchmarking Cognitive Visual Reasoning using Magic Tricks

We introduce The Prestige, a video understanding benchmark that probes cognitive visual reasoning through professional magic performances, where deliberate misdirection challenges models to track events and explain unexpected outcomes. The benchmark comprises open-ended questions ranging from temporal and causal unders...

Shuo Wen, Beixi Du, Edwin Meriaux et al. · 0 citations
#artificial intelligence Preprint Open access Oct 2026

Nemotron 3.5 Super and Lightning: Open, Efficient Mixture-of-Experts Hybrid Mamba-Transformer Models for Agentic AI

We introduce Nemotron 3.5 Super and Nemotron 3.5 Lightning, open and efficient Mixture-of-Experts Hybrid Mamba-Transformer models designed for reasoning, long-context understanding, and agentic workloads. Super is a 120B-parameter, 12B-active multimodal model, while Lightning is a smaller 30B-parameter, 3B-active text...

NVIDIA, :, Aastha Jhunjhunwala et al. · 0 citations
#artificial intelligence Preprint Oct 2026

Jailbreak Connectivity: Towards Diverse, Transferable, and Universal Multimodal Large Language Model Jailbreak

Multimodal large language models (MLLMs) are vulnerable to visual jailbreak attacks that bypass safety safeguards. Existing methods typically optimize isolated adversarial examples, limiting attack diversity, transferability, and generalization. We propose Jailbreak Connectivity (JC), a framework based on the observati...

Xu Zhang, Zi-Qing Hu, Shuo Han et al. · 0 citations
#artificial intelligence Preprint Open access Oct 2026

Predicting What Answer Engines Cite: Open Decision Models, Rerankers and a Distilled 4B Student on Ten Engines under Controlled Retrieval

Generative engine optimization needs a scorer that ranks candidate pages by the share of an answer they will receive as citations. We measure pretrained rerankers, a hosted typed decision model (Jev), eight open decision models and distilled students on GEO-Bench queries answered by ten engines that receive the same ca...

Elisha Bajemon, Andre-Louis Rochet · 0 citations

From tech blogs

See all →

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.