1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LG2025
Fast T2T: Optimization Consistency Speeds Up Diffusion-Based Training-to-Testing Solving for Combinatorial Optimization
Yang Li, Jinpei Guo, Runzhong Wang +2
Diffusion models have recently advanced Combinatorial Optimization (CO) as a powerful backbone for neural solvers. However, their iterative sampling process requiring denoising acr…
cs.AI2023
Learning Reliable Logical Rules with SATNet
Zhaoyu Li, Jinpei Guo, Yuhe Jiang +1
Bridging logical reasoning and deep learning is crucial for advanced AI systems. In this work, we present a new framework that addresses this goal by generating interpretable and v…
cs.LG2023★ 1 cited
G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
Zhaoyu Li, Jinpei Guo, Xujie Si
Graph neural networks (GNNs) have recently emerged as a promising approach for solving the Boolean Satisfiability Problem (SAT), offering potential alternatives to traditional back…