Picture for Stanisław Purgał

Stanisław Purgał

A Study of Continuous Vector Representationsfor Theorem Proving

Add code
Jan 22, 2021
Figure 1 for A Study of Continuous Vector Representationsfor Theorem Proving
Figure 2 for A Study of Continuous Vector Representationsfor Theorem Proving
Figure 3 for A Study of Continuous Vector Representationsfor Theorem Proving
Figure 4 for A Study of Continuous Vector Representationsfor Theorem Proving
Viaarxiv icon

Improving Expressivity of Graph Neural Networks

Add code
Apr 08, 2020
Figure 1 for Improving Expressivity of Graph Neural Networks
Figure 2 for Improving Expressivity of Graph Neural Networks
Figure 3 for Improving Expressivity of Graph Neural Networks
Figure 4 for Improving Expressivity of Graph Neural Networks
Viaarxiv icon