Kshitij Bansal
According to our database1,
Kshitij Bansal
authored at least 22 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
1
3
2
2
1
2
2
1
1
1
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2021
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021
Proceedings of the 9th International Conference on Learning Representations, 2021
2020
CoRR, 2020
Proceedings of the 8th International Conference on Learning Representations, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version).
CoRR, 2019
Proceedings of the 36th International Conference on Machine Learning, 2019
2018
Log. Methods Comput. Sci., 2018
Automatic Generation of Precise and Useful Commutativity Conditions (Extended Version).
CoRR, 2018
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
2016
PhD thesis, 2016
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016
2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
2014
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
2013
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
Proceedings of the Computer Science - Theory and Applications, 2013
2012
2009
Proceedings of the Foundations of Software Science and Computational Structures, 2009