Sankalp Gambhir

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

Collaborative distances:

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

2024

Could ChatGPT get an Engineering Degree? Evaluating Higher Education Vulnerability to AI Assistants.

Beatriz Borges, Negar Foroutan, Deniz Bayazit, Anna Sotnikova, Syrielle Montariol, Tanya Nazaretzky, Mohammadreza Banaei, Alireza Sakhaeirad, Philippe Servant, Seyed Parsa Neshaei, Jibril Frej, Angelika Romanou, Gail Weiss, Sepideh Mamooler, Zeming Chen, Simin Fan, Silin Gao, Mete Ismayilzada, Debjit Paul, Alexandre Schöpfer, Andrej Janchevski, Anja Tiede, Clarence Linden, Emanuele Troiani, Francesco Salvi, Freya Behrens, Giacomo Orsi, Giovanni Piccioli, Hadrien Sevel, Louis Coulon, Manuela Pineros-Rodriguez, Marin Bonnassies, Pierre Hellich, Puck van Gerwen, Sankalp Gambhir, Solal Pirelli, Thomas Blanchard, Timothée Callens, Toni Abi Aoun, Yannick Calvino Alonso, Yuri Cho, Alberto Silvio Chiappa, Antonio Sclocchi, Étienne Bruno, Florian Hofhammer, Gabriel Pescia, Geovani Rizk, Leello Dadi, Lucas Stoffl, Manoel Horta Ribeiro, Matthieu Bovel, Yueyang Pan, Aleksandra Radenovic, Alexandre Alahi, Alexander Mathis, Anne-Florence Bitbol, Boi Faltings, Cécile Hébert, Devis Tuia, François Maréchal, George Candea, Giuseppe Carleo, Jean-Cédric Chappelier, Nicolas Flammarion, Jean-Marie Fürbringer, Jean-Philippe Pellet, Karl Aberer, Lenka Zdeborová, Marcel Salathé, Martin Jaggi, Martin Rajman, Mathias Payer, Matthieu Wyart, Michael Gastpar, Michele Ceriotti, Ola Svensson, Olivier Lévêque, Paolo Ienne, Rachid Guerraoui, Robert West, Sanidhya Kashyap, Valerio Piazza, Viesturs Simanis, Viktor Kuncak, Volkan Cevher, Philippe Schwaller, Sacha Friedli, Patrick Jermann, Tanja Käser, Antoine Bosselut

CoRR, 2024

Interpolation and Quantifiers in Ortholattices.

Simon Guilloud, Sankalp Gambhir, Viktor Kuncak

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

Mechanized HOL Reasoning in Set Theory.

Simon Guilloud, Sankalp Gambhir, Andrea Gilot, Viktor Kuncak

Proceedings of the 15th International Conference on Interactive Theorem Proving, 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