Abhinandan Pal

According to our database, Abhinandan Pal authored at least 5 papers between 2022 and 2025.

Collaborative distances:

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

2025

Let a Neural Network be Your Invariant.

Mirco Giacobbe, Daniel Kroening, Abhinandan Pal, Michael Tautschnig

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2025, 2025

2024

Abstract Interpretation-Based Feature Importance for Support Vector Machines.

Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella

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

Neural Model Checking.

Mirco Giacobbe, Daniel Kroening, Abhinandan Pal, Michael Tautschnig

Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

2022

Abstract Interpretation-Based Feature Importance for SVMs.

Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella

CoRR, 2022

Qiwi: A Beginner Friendly Quantum Language.

Abhinandan Pal, Anubhab Ghosh

Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022