Search
7 results for "theory"
- ai · arxiv/cs.AI · 8 min
Formal Proofs Verify Machine Governance in AI Systems
McCann's mechanized theory establishes mathematical foundations for controlling intelligent systems through coinductive safety predicates and verified interpreter specifications.
May 2, 2026 Read → - ai · arxiv/cs.AI · 8 min
LLMs Need Feedback Loops to Keep Code and Theory Aligned
Researchers propose Comet-H, a system that orchestrates language models through iterative cycles to prevent hallucination and desynchronization in research software development.
May 1, 2026 Read → - ai · arxiv/cs.LG · 8 min
Admissible Objectives for Hierarchical Clustering Formally Characterized
Tsukuba and Ando extend the theory of objective functions for hierarchical clustering, characterizing when functions recover ground-truth structures and introducing max-type variants.
Apr 28, 2026 Read → - ai · arxiv/cs.AI · 8 min
Q-Value Iteration Finds Optimal Actions Faster Than Theory Predicts
Lee's switching system analysis reveals Q-VI reaches practical optimality in finite time, with convergence rates potentially faster than the classical discount factor bound.
Apr 22, 2026 Read → - ai · arxiv/cs.LG · 8 min
Three diffusion methods unified under population genetics framework
Researchers connect discrete, Gaussian, and simplicial diffusion models through Wright-Fisher theory, enabling stable cross-domain sequence generation.
Apr 21, 2026 Read → - ai · arxiv/cs.LG · 8 min
Theory for learning blind inverse problems with finite samples
Researchers establish sample complexity bounds and optimal estimators for blind inverse problems using linear minimum mean square estimation framework.
Apr 21, 2026 Read → - ai · arxiv/cs.LG · 8 min
Formalizing How Much Data Proves a Learning Model Right
Researchers formalize identifying information—the bits needed to confirm or reject a hypothesis—bridging information theory with practical sample complexity.
Apr 17, 2026 Read →