Zhanfu Yang
- Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers
2019/04/27 by Zhanfu Yang, Fei Wang, Yang, Zhanfu +7 · 2 citations
Computer Science · #Graph Theory and Algorithms #Neural Networks and Applications #Bayesian Modeling and Causal Inference
- Exact values and exact upper bounds for families of integers with arithmetic progression intersections (Erdős Problem #272)
2026/07/25 by Zhanfu Yang
#math.CO #cs.AI