Kshitij Bansal
Medanta The Medicity(IN)Medanta The Medicity(IN)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Distributed systems and fault tolerance, Logic, Reasoning, and Knowledge, Natural Language Processing Techniques
Most-Cited Works
- HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving(2019)
- → A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors(2014)42 cited
- → A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT(2016)32 cited
- → Deciding Local Theory Extensions via E-matching(2015)21 cited
- → HOList: An Environment for Machine Learning of Higher-Order Theorem Proving(2019)19 cited
- → Learning to Reason in Large Theories without Imitation(2019)18 cited
- → Automatic Generation of Precise and Useful Commutativity Conditions(2018)18 cited
- → Structural Counter Abstraction(2013)17 cited
- Mathematical Reasoning in Latent Space(2020)
- HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version)(2019)