This is where I collect and write things, mostly on academe and artificial intelligence. Established in 2010, by Vaishak Belle.
Congratulations to lab member Paulius for getting his paper “Generating Random Instances of Weighted Model Counting: An Empirical Analysis with Varying Primal Treewidth” accepted to CPAIOR 2023.
The paper introduces a new random model and uses it to discover some critical differences among weighted model counting algorithms.
Paulius is currently a postdoctoral fellow with Kuldeep Meel.