Jiong Yang

icon indicating a website link https://al-jiongyang.github.io/ icon indicating an email [email protected]

icon location Singapore icon location CS PhD Candidate at National University of Singapore

Results 2 issues of Jiong Yang

fix corner case of binary search

3 comment

The PR fixes the error discussed here: #40, where ApproxMC gets stuck in infinite loops. The original issue triggered the error when the generated XORs were unfortunately always empty, and...

Release ApproxMC7

9 comment

Upgrade ApproxMC6 to ApproxMC7 following our recent work: Towards Real-Time Approximate Counting Yash Pote ⓡ Kuldeep S. Meel ⓡ Jiong Yang Annual AAAI Conference on Artificial Intelligence (AAAI 2025) ⓡ...