Jeff Mao

According to our database, Jeff Mao authored at least 1 paper in 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Towards Better Generalization for Neural Network-Based SAT Solvers.

Chenhao Zhang, Yanjun Zhang, Jeff Mao, Weitong Chen, Lin Yue, Guangdong Bai, Miao Xu

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2022