Welcome to the Meel Group’s web page. We are situated at National University of Singapore.
Kuldeep is appointed Visiting Assistant Professor in the Department of Computer Science and Engineering at IIT Bombay2 February 2019
Paper on network reliability is accepted to The 13th International Conference on Applications of Statistics and Probability in Civil Engineering Authors: Roger Paredes, Leonardo Duenas-Osorio, Kuldeep S. Meel, and Moshe Y. Vardi26 January 2019
Our paper on weighted and projected sampling is accepted at TACAS 2019. Authors: Shubham Sharma, Rahul Gupta,Subhajit Roy and Kuldeep S. Meel6 December 2019
Our paper on interpretable classification rules is accepted for publication at AIES 2019. Congratulations Bishwa on his first paper during PhD! Authors: Bishwamittra Ghosh and Kuldeep S. Meel30 November 2018 30 November 2018
Congratulations Alexis for a successful defense of Masters thesis04 Novemeber 2018
Kuldeep was awarded Distinguished Program Committee Member for IJCAI 2018.01 Novemeber 2018
3 Papers accepted at AAAI-19!
The first paper describes a new architecture for CNF-XOR formulas, which has allowed us to have a new approximate counter that is at least 100 times faster than ApproxMC2 – credit to Mate Soos for his breakthrough engineering that enabled this project!
The second paper proposes the first algorithmic framework to test the distribution of a sampler.We show that several samplers output distributions far from what they claim!
The third paper shows that several relaxations of probabilsitic inference do not give any computational advantage, raising concerns about the motivations behind their usage.