Skip to content
conftrace_

Sarah Loos

3 papers · 2019–2020 · 3 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓
🌍 Conference Polyglot Β· Bronze πŸŒ‰ Interdisciplinary Bridge Β· Silver πŸ—ΊοΈ Taxonomy Completionist (10) 🐣 Hot Topic Early Bird πŸ† Keyword Champion (2)

Venues

AAAI (1) ICLR (1) ICML (1)

Top co-authors

Markus Rabe (3) Christian Szegedy (3) Kshitij Bansal (3) Stewart Wilcox (1) Aditya Paliwal (1) Dennis Lee (1)

Research topics

Artificial Intelligence (2) Deep Learning (2) Knowledge & Reasoning (2) Architectures (2) Core AI (2) Reasoning (2) Machine Learning (1) Reinforcement Learning (1) Core Methods (1) Learning Paradigms (1) Methods (1)

Keywords

graph neural network (2) theorem proving (2) automated reasoning (2) higher-order logic (2) knowledge representation (1) deep learning (1) formal methods (1) formal verification (1) latent space (1) proof search (1) automated theorem proving (1) theorem prover (1) formal proof (1) formula representation (1) holist benchmark (1) deep reinforcement learning (1) approximate reasoning (1) reinforcement learning (1) embedding learning (1) mathematical reasoning (1)

Papers

Graph Representations for Higher-Order Logic and Theorem Proving AAAI 2020 Mathematical Reasoning in Latent Space ICLR 2020 HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving ICML 2019