We gratefully acknowledge support from
the Simons Foundation and member institutions.

Kuldeep S. Meel, Supratik Chakraborty and S. Akshay are qualified to endorse.

Auditable Algorithms for Approximate Model Counting

Kuldeep S. Meel: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CC, cs.CR, cs.CV, cs.CY, cs.DB, cs.DC, cs.DM, cs.DS, cs.FL, cs.IT, cs.LG, cs.LO, cs.MM, cs.SC, math.IT. (why?)
Supratik Chakraborty: Is registered as an author of this paper.
Can endorse for cs.AI, cs.FL, cs.LO, cs.PL, cs.SE. (why?)
S. Akshay: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CC, cs.DM, cs.DS, cs.FL, cs.LG, cs.LO. (why?)