arXiv:2608.14771v1 Announce Type: new Abstract: Making language models solve constraint problems reliably often means having them translate the problem…
Category: AI
Auditing an AI-Generated Mathematical Proof: A Correction to a Greedy Conditioning Lemma in Quantum Parallel Repetition
arXiv:2608.14673v1 Announce Type: new Abstract: Chapter 6 of OpenAI’s *Ten Advances in Mathematics and Theoretical Computer Science* claims an exponential…
Synchronized Logit Steering: Real-world Steganography
arXiv:2608.14697v1 Announce Type: new Abstract: Steganography in large language models offers a way to embed hidden messages within natural-sounding text.…
When Agentic Executions Fail: Detecting and Localizing Runtime Faults from Telemetry
arXiv:2608.14680v1 Announce Type: new Abstract: Reliability in LLM-based agentic systems is a property of the whole execution (its tool calls, model…
Beyond Correctness: Toward Automated Novelty Verification with Lean 4
arXiv:2608.14669v1 Announce Type: new Abstract: Artificial intelligence systems applied to mathematics verify correctness but not novelty: an…
A Comprehensive Survey of Wireless Foundation Models for AI-Native 6G Networks
arXiv:2608.14694v1 Announce Type: new Abstract: Foundation models are emerging as a transformative paradigm for AI-native sixth-generation (6G) wireless…
When Uncertainty Isn’t Enough: An Empirical Study of Self-Correction in Code Generation
arXiv:2608.14659v1 Announce Type: new Abstract: Large language models for code generation often produce incorrect solutions without reliable indicators of…
Cross-Domain Industrial Fault Detection by Causal Mechanism Monitoring
arXiv:2608.14666v1 Announce Type: new Abstract: Unsupervised fault detection in industrial systems is dominated by reconstruction based methods that…
Task- and Session-Level Model Routing: A Common-Interface Hybrid Evaluation of Four Open-Source Routers Across Four Benchmarks
arXiv:2608.14641v1 Announce Type: new Abstract: Agentic systems increasingly delegate model selection to a router, yet open-source routers are usually…
Evaluating Multimodal LLMs across Text and Audio Modalities for Accessible Disaster Assistance
arXiv:2608.14651v1 Announce Type: new Abstract: Effective disaster risk communication is a foundational humanitarian challenge, yet current emergency…