20 papers
Proof-Carrying Multimodal Timelines: Finite-Trace Modal Certificates for Video-Audio Consistency
Faruk Alpay, Hamdi Alakkad
Multimodal video systems often expose clip-level scores while hiding the local temporal failure that makes a video inconsistent. We formulate video-audio consistency as finite-trac…
Finite Certificates for In-Context Determinacy and a Threshold Theory of Emergence in Language Models
Faruk Alpay, Hamdi Alakkad
This paper develops a model-theoretic framework for verifying context-conditioned language-model behavior by replacing benchmark labels with finite semantic certificates. The first…
Executable Boundary Contracts for Sound Event Traces
Faruk Alpay, Hamdi Alakkad
Sound event reports often compress timed boundary behavior into frame, segment, or event scores. This paper defines executable boundary contracts for finite sound event traces. The…
Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
Faruk Alpay, Hamdi Alakkad
This paper introduces Truth-Aware Decoding (TAD), a verification-oriented decoding scheme that aligns neural language generation with knowledge bases. Situated in the tradition of…
A Riemannian Variational and Spectral Framework for High-Dimensional Sphere Packing: Barrier-Dynamics Reconciliation, Periodic Rigidity, and Discrete-Time Guarantees
Faruk Alpay, Hamdi Alakkad
We develop a unified framework that reconciles a barrier based geometric model of periodic sphere packings with a provably convergent discrete time dynamics. First, we introduce a…
Glass-Box Analysis for Computer Systems: Transparency Index, Shapley Attribution, and Markov Models of Branch Prediction
Faruk Alpay, Hamdi Alakkad
We formalize glass-box analysis for computer systems and introduce three principled tools. First, the Glass-Box Transparency Index (GTI) quantifies the fraction of performance vari…