Pote, Y.; Meel, K. S.; Yang, J. Towards Real-Time Approximate Counting. AAAI 2025, 39, 11318-11326.