Search Results for author: Kenneth Clarkson

Found 2 papers, 2 papers with code

Capacity and Bias of Learned Geometric Embeddings for Directed Graphs

1 code implementation • NeurIPS 2021 • Michael Boratko, Dongxu Zhang, Nicholas Monath, Luke Vilnis, Kenneth Clarkson, Andrew McCallum

While vectors in Euclidean space can theoretically represent any graph, much recent work shows that alternatives such as complex, hyperbolic, order, or box embeddings have geometric properties better suited to modeling real-world graphs.

Knowledge Base Completion Multi-Label Classification

Paper
Code

AI Descartes: Combining Data and Theory for Derivable Scientific Discovery

1 code implementation • 3 Sep 2021 • Cristina Cornelio, Sanjeeb Dash, Vernon Austel, Tyler Josephson, Joao Goncalves, Kenneth Clarkson, Nimrod Megiddo, Bachir El Khadir, Lior Horesh

We develop a method to enable principled derivations of models of natural phenomena from axiomatic knowledge and experimental data by combining logical reasoning with symbolic regression.

Automated Theorem Proving BIG-bench Machine Learning +2

Paper
Code

Cannot find the paper you are looking for? You can Submit a new open access paper.