Tiwari, Mohit

2 publications

ICLR 2024 NeuroBack: Improving CDCL SAT Solving Using Graph Neural Networks Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth McMillan, Risto Miikkulainen

IJCAI 2022 Using Constraint Programming and Graph Representation Learning for Generating Interpretable Cloud Security Policies Mikhail Kazdagli, Mohit Tiwari, Akshat Kumar