Picture for Wenxi Wang

Wenxi Wang

NeuroComb: Improving SAT Solving with Graph Neural Networks

Add code
Oct 28, 2021
Figure 1 for NeuroComb: Improving SAT Solving with Graph Neural Networks
Figure 2 for NeuroComb: Improving SAT Solving with Graph Neural Networks
Figure 3 for NeuroComb: Improving SAT Solving with Graph Neural Networks
Figure 4 for NeuroComb: Improving SAT Solving with Graph Neural Networks
Viaarxiv icon

A Survey of Hybrid Human-Artificial Intelligence for Social Computing

Add code
Mar 17, 2021
Figure 1 for A Survey of Hybrid Human-Artificial Intelligence for Social Computing
Figure 2 for A Survey of Hybrid Human-Artificial Intelligence for Social Computing
Figure 3 for A Survey of Hybrid Human-Artificial Intelligence for Social Computing
Figure 4 for A Survey of Hybrid Human-Artificial Intelligence for Social Computing
Viaarxiv icon

A Study of the Learnability of Relational Properties

Add code
Dec 25, 2019
Figure 1 for A Study of the Learnability of Relational Properties
Figure 2 for A Study of the Learnability of Relational Properties
Figure 3 for A Study of the Learnability of Relational Properties
Figure 4 for A Study of the Learnability of Relational Properties
Viaarxiv icon