Welcome to the Meel Group’s web page. We are situated at National University of Singapore.
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.
Our paper on uniform sampling based on knowledge compilation is accepted at LPAR-22. Authors: Shubham Sharma, Rahul Gupta, Subhajit Roy, and Kuldeep S. Meel