PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP. - Chaitanya Agarwal; Shibashis Guha; Jan Kretínský; Pazhamalai Muruganandham (CAV (2), 2022)

Bilingual Tabular Inference: A Case Study on Indic Languages. - Chaitanya Agarwal; Vivek Gupta 001; Anoop Kunchukuttan; Manish Shrivastava 001 (NAACL-HLT, 2022)

The Multi-vehicle Ride-Sharing Problem. - Kelin Luo; Chaitanya Agarwal; Syamantak Das; Xiangyu Guo (WSDM, 2022)

Inferring Accumulative Effects of Higher Order Programs. - Mihai Nicola; Chaitanya Agarwal; Eric Koskinen; Thomas Wies (CoRR, 2024)

Linguistics Theory Meets LLM: Code-Switched Text Generation via Equivalence Constrained Large Language Models. - Garry Kuwanto; Chaitanya Agarwal; Genta Indra Winata; Derry Tanti Wijaya (CoRR, 2024)

Logical Relations for Formally Verified Authenticated Data Structures. - Simon Oddershede Gregersen; Chaitanya Agarwal; Joseph Tassarotti (CoRR, 2025)

FinBloom: Knowledge Grounding Large Language Model with Real-time Financial Data. - Ankur Sinha 001; Chaitanya Agarwal; Pekka Malo (CoRR, 2025)

PAC statistical model checking of mean payoff in discrete- and continuous-time MDP. - Chaitanya Agarwal; Shibashis Guha; Jan Kretínský; M. Pazhamalai (Formal Methods Syst. Des., 2025)