Search Results for author:
Found 2 papers, 0 papers with code
A Study of Continuous Vector Representationsfor Theorem Proving
Applying machine learning to mathematical terms and formulas requires a suitable representation of formulas that is adequate for AI methods.
Improving Expressivity of Graph Neural Networks
We propose a Graph Neural Network with greater expressive power than commonly used GNNs - not constrained to only differentiate between graphs that Weisfeiler-Lehman test recognizes to be non-isomorphic.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
