Zhaoyu Li

5

Papers

3

Total Citations

Papers (5)

Decoupling Training-Free Guided Diffusion by ADMM

Autoformalizing Euclidean Geometry

NSNet: A General Neural Probabilistic Framework for Satisfiability Problems

Learning Reliable Logical Rules with SATNet

Neuro-symbolic Learning Yielding Logical Constraints