Chaitanya Agarwal

According to our database, Chaitanya Agarwal authored at least 8 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., August, 2025

FinBloom: Knowledge Grounding Large Language Model with Real-time Financial Data.

Ankur Sinha, Chaitanya Agarwal, Pekka Malo

CoRR, February, 2025

Logical Relations for Formally Verified Authenticated Data Structures.

Simon Oddershede Gregersen, Chaitanya Agarwal, Joseph Tassarotti

CoRR, January, 2025

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

Inferring Accumulative Effects of Higher Order Programs.

Mihai Nicola, Chaitanya Agarwal, Eric Koskinen, Thomas Wies

CoRR, 2024

2022

The Multi-vehicle Ride-Sharing Problem.

Kelin Luo, Chaitanya Agarwal, Syamantak Das, Xiangyu Guo

Proceedings of the WSDM '22: The Fifteenth ACM International Conference on Web Search and Data Mining, Virtual Event / Tempe, AZ, USA, February 21, 2022

Bilingual Tabular Inference: A Case Study on Indic Languages.

Chaitanya Agarwal, Vivek Gupta, Anoop Kunchukuttan, Manish Shrivastava

Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2022

PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP.

Chaitanya Agarwal, Shibashis Guha, Jan Kretínský, Pazhamalai Muruganandham

Proceedings of the Computer Aided Verification - 34th International Conference, 2022