Sankalp Gambhir

According to our database, Sankalp Gambhir authored at least 5 papers between 2021 and 2024.

Collaborative distances:

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

2024

Mechanized HOL Reasoning in Set Theory.

Simon Guilloud, Sankalp Gambhir, Andrea Gilot, Viktor Kuncak

CoRR, 2024

Interpolation and Quantifiers in Ortholattices.

Simon Guilloud, Sankalp Gambhir, Viktor Kuncak

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2023

LISA - A Modern Proof System.

Simon Guilloud, Sankalp Gambhir, Viktor Kuncak

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

LTL-Based Non-Markovian Inverse Reinforcement Learning.

Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, S. Krishna, Ashutosh Trivedi, Alvaro Velasquez

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2021

Quantitative Learning of LTL from Finite Traces.

Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, S. Krishna

CoRR, 2021