Author

Srijith Nair

h-index 2 View on Semantic Scholar

We have 2 of 6 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Oct 2026

Beyond Type-checking: Towards Holistic Evaluation of Formal Specification Generation

When generating verifiable code, natural language requirements are mapped to machine checked code using LLMs and agentic workflows. A crucial component of this pipeline is specification generation (SpecGen), which produces a formal contract against which an agent can prove implementation correctness. Proof generation c...

Srijith Nair, Aditya Vempaty, Jia Liu et al. · 0 citations

Book Open access Aug 2026

Toward WAN-Aware LLM Training Across Heterogeneous, Geo-Distributed Sites

Preliminary results from a geo-distributed LLM training prototype that treats networking constraints as first-order design concerns are presented, motivating adaptive networking support for synchronization, compression, placement, telemetry, and recovery in geo-distributed LLM training.

Zi-Yue Luo, Jiaxuan Cai, Cedric Le Denmat et al. · Conference on Applications,... · 0 citations