Tuhin Sahai

Latest

• Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms
• TeLEx: learning signal temporal logic from positive examples using tightness metric
• Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae