3 papers
cs.IR2026
JKO-RAG: Distributional Retrieval as Wasserstein Free-Energy Gradient Flow
Levi Segal, Murari Ambati
RAG pipelines return a \emph{ranked list} of passages. We argue this is a mismatch: the downstream language model conditions on a \emph{set}, and the selection problem is fundament…
cs.CV2025
Vision-Language Cross-Attention for Real-Time Autonomous Driving
Santosh Patapati, Trisanth Srinivasan, Murari Ambati
Autonomous cars need geometric accuracy and semantic understanding to navigate complex environments, yet most stacks handle them separately. We present XYZ-Drive, a single vision-l…
cs.AI2025
ProofNet++: A Neuro-Symbolic System for Formal Proof Verification with Self-Correction
Murari Ambati
We propose ProofNet++, a neuro-symbolic framework that enhances automated theorem proving by combining large language models (LLMs) with formal proof verification and self-correcti…