Chaitanya Agarwal

12 papers A* 1A 1Journal 8Unranked 2
YearRankTypeTitle / 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