EigenAI: Deterministic Inference, Verifiable Results. - David Ribeiro Alves; Vishnu Patankar; Matheus Pereira; Jamie Stephens; Nima Vaziri; Sreeram Kannan (CoRR, 2026)

TensorCommitments: A Lightweight Verifiable Inference for Language Models. - Oguzhan Baser; Elahe Sadeghi; Eric Wang; David Ribeiro Alves; Sam Kazemian; Hong Kang; Sandeep P. Chinchali; Sriram Vishwanath (CoRR, 2026)

A common parallel framework for LLP combinatorial problems. - David Ribeiro Alves; Vijay K. Garg (CoRR, 2026)