<b>Five Papers accepted to <a href="https://aaai.org/aaai-conference/">AAAI 2024</a>.</b> <br> 1. The first paper is Auditable Algorithms for Approximate Model Counting <br> &nbsp;&nbsp;&nbsp; Authors: S. Akshay, Supratik Chakraborty and Kuldeep S. Meel</br> 2. The second paper is An Approximate Skolem Function Counter <br> &nbsp;&nbsp;&nbsp; Authors: Arijit Shaw, Brendan Juba and Kuldeep S. Meel</br> 3. The third paper is Exact ASP Counting with Compact Encodings <br> &nbsp;&nbsp;&nbsp; Authors: Mohimenul Kabir, Supratik Chakraborty and Kuldeep S. Meel</br> 4. The fourth paper is Testing Self-Reducible Samplers <br> &nbsp;&nbsp;&nbsp; Authors: Rishiraj Bhattacharyya, Sourav Chakraborty, Yash Pote, Uddalok Sarkar and Sayantan Sen</br> 5. The fifth paper is Engineering an Exact Pseudo-Boolean Model Counter <br> &nbsp;&nbsp;&nbsp; Authors: Suwei Yang and Kuldeep S. Meel