Chaitanya Agarwal

12 papers A* 1A 1Journal 8Unranked 2

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	FinBloom: Knowledge-Grounding Large Language Model with Real-Time Financial Data. Knowl. Based Syst. Ankur Sinha, Chaitanya Agarwal, Pekka Malo
2025	J	`jnl`	Abstract Interpretation of Temporal Safety Effects of Higher Order Programs. Proc. ACM Program. Lang. Mihai Nicola, Chaitanya Agarwal, Eric Koskinen, Thomas Wies
2025	J	`jnl`	FinBloom: Knowledge Grounding Large Language Model with Real-time Financial Data. CoRR Ankur Sinha, Chaitanya Agarwal, Pekka Malo
2025	A*	`conf`	Logical Relations for Formally Verified Authenticated Data Structures. CCS Simon Oddershede Gregersen, Chaitanya Agarwal, Joseph Tassarotti
2025	J	`jnl`	Logical Relations for Formally Verified Authenticated Data Structures. CoRR Simon Oddershede Gregersen, Chaitanya Agarwal, Joseph Tassarotti
2025	J	`jnl`	PAC statistical model checking of mean payoff in discrete- and continuous-time MDP. Formal Methods Syst. Des. Chaitanya Agarwal, Shibashis Guha, Jan Kretínský, M. Pazhamalai
2024	J	`jnl`	Inferring Accumulative Effects of Higher Order Programs. CoRR Mihai Nicola, Chaitanya Agarwal, Eric Koskinen, Thomas Wies
2024	J	`jnl`	Linguistics Theory Meets LLM: Code-Switched Text Generation via Equivalence Constrained Large Language Models. CoRR Garry Kuwanto, Chaitanya Agarwal, Genta Indra Winata, Derry Tanti Wijaya
2022	—	`conf`	Bilingual Tabular Inference: A Case Study on Indic Languages. NAACL-HLT Chaitanya Agarwal, Vivek Gupta, Anoop Kunchukuttan, Manish Shrivastava
2022	—	`conf`	PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP. CAV (2) Chaitanya Agarwal, Shibashis Guha, Jan Kretínský, Pazhamalai Muruganandham
2022	J	`jnl`	PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP. CoRR Chaitanya Agarwal, Shibashis Guha, Jan Kretínský, M. Pazhamalai
2022	A	`conf`	The Multi-vehicle Ride-Sharing Problem. WSDM Kelin Luo, Chaitanya Agarwal, Syamantak Das, Xiangyu Guo

Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski