Nitesh Trivedi

According to our database, Nitesh Trivedi authored at least 2 papers between 2023 and 2025.

Collaborative distances:

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

2025

Data-driven invariant learning for probabilistic programs.

Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy

Formal Methods Syst. Des., August, 2025

2023

Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract).

Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023