Alfredo Sepulveda-Jimenez

Wearable AI as a Distributed Personal Computing System Glasses, body attachments, miniature compute modules, and future implantable AI architectures

This proposal develops a wearable AI system as a heterogeneous network of sensing, inference,memory, and interaction devices. Its central software abstraction is a signed, resource-boundedAI capsule containing a compact language model, explicit tools, evidence memory, schedulingr...

Wearable AI as a Distributed Personal Computing System Glasses, body attachments, miniature compute modules, and future implantable AI architectures

This proposal develops a wearable AI system as a heterogeneous network of sensing, inference,memory, and interaction devices. Its central software abstraction is a signed, resource-boundedAI capsule containing a compact language model, explicit tools, evidence memory, schedulingr...

Statistical Inference for Stochastic-Belief Extended Realities

We develop a rigorous asymptotic-statistical theory for the inference of stochastic-beliefextended realities (SBxRs), the path-space probabilistic objects introduced in [1] for the modellingof perceptual experience in extended-reality systems. Given n independent percepttrajector...

Statistical Inference for Stochastic-Belief Extended Realities

We develop a rigorous asymptotic-statistical theory for the inference of stochastic-beliefextended realities (SBxRs), the path-space probabilistic objects introduced in [1] for the modellingof perceptual experience in extended-reality systems. Given n independent percepttrajector...

From AI Safety via Debate to Evidence-Grounded Adversarial Assurance

Can competing AI systems help humans evaluate reasoning they cannot independently verify? AI safety via debate proposes this possibility. Yet winning an argument is not a certificate of safe action. This paper develops evidence-grounded adversarial assurance: a mathematical frame...

From AI Safety via Debate to Evidence-Grounded Adversarial Assurance

Can competing AI systems help humans evaluate reasoning they cannot independently verify? AI safety via debate proposes this possibility. Yet winning an argument is not a certificate of safe action. This paper develops evidence-grounded adversarial assurance: a mathematical frame...

From AI Safety via Debate to Evidence-Grounded Adversarial Assurance

Can competing AI systems help humans evaluate reasoning they cannot independently verify? AI safety via debate proposes this possibility. Yet winning an argument is not a certificate of safe action. This paper develops evidence-grounded adversarial assurance: a mathematical frame...

From AI Safety via Debate to Evidence-Grounded Adversarial Assurance

Can competing AI systems help humans evaluate reasoning they cannot independently verify? AI safety via debate proposes this possibility. Yet winning an argument is not a certificate of safe action. This paper develops evidence-grounded adversarial assurance: a mathematical frame...

Meta-Architectures for AI-Native Mathematical Research

Meta-Architectures for AI-Native Mathematical Research argues that as machine exploration, proof search, and formal verification become abundant, the unit of mathematical work should shift from the isolated theorem to an evolving, typed research state of conjectures, counterexamp...

Meta-Architectures for AI-Native Mathematical Research

Meta-Architectures for AI-Native Mathematical Research argues that as machine exploration, proof search, and formal verification become abundant, the unit of mathematical work should shift from the isolated theorem to an evolving, typed research state of conjectures, counterexamp...

General Entanglement Diagnostics

A balance diagnostic for bipartite pure states of arbitrary Schmidt rank is built from the elementary symmetric polynomials of the Schmidt spectrum, where the altitude e2\sqrt{e_2} e2 coincides with half the I-concurrence, the AM–GM–HM chain generalizes to Maclaurin's and Newton'...