Mohit Tiwari — accepted AI-conference papers

2024

NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks

Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth McMillan, Risto Miikkulainen

ICLR 2024poster

Propositional satisfiability (SAT) is an NP-complete problem that impacts many research fields, such as planning, verification, and security. Mainstream modern SAT solvers are based on the Conflict-Driven Clause Learning (CDCL) algorithm. Recent work aimed to enhance CDCL SAT solvers using Graph Neu…

Cited by 20 Source ↗PDF ↗code ↗Scholar ↗

2022

Using Constraint Programming and Graph Representation Learning for Generating Interpretable Cloud Security Policies

Mikhail Kazdagli, Mohit Tiwari, Akshat Kumar

IJCAI 2022poster

Modern software systems rely on mining insights from business sensitive data stored in public clouds. A data breach usually incurs significant (monetary) loss for a commercial organization. Conceptually, cloud security heavily relies on Identity Access Management (IAM) policies that IT admins need t…

Cited by 3 Source ↗PDF ↗code ↗Scholar ↗