al-jiongyang.github.io - Jiong Yang

home > domains > al-jiongyang.github.io

Example domain paragraphs

I am a PhD student at School of Computing, National University of Singapore advised by Kuldeep S. Meel .

My research interests center on SAT solving and model counting, with a particular focus on hashing-based approximate model counting algorithms and SAT solving heterogeneous constraints such as the PB-XOR formula.

I am dedicated to advancing the integration of probabilistic and logical reasoning. To this end, on the one hand, I employ causal reasoning to gain a deeper understanding of how SAT solvers work and leverage machine learning to enhance SAT-solving performance. On the other hand, I utilize SAT solvers and model counters to verify the properties of binarized neural networks.

Links to al-jiongyang.github.io (4)

• meelgroup.github.io MeelGroup
• nus-plse.github.io NUS PLSE - Programming Languages & Software Engineering @ NUS
• kuldeepmeel.com Kuldeep Meel
• yvonnefanf.github.io Yifan Zhang