Sarah Loos
3 papers
· 2019–2020
· 3 conferences
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(3)
🐝
Cross-Pollinator
(11)
Conferences
AAAI (1)
ICLR (1)
ICML (1)
Top co-authors
Keywords
automated reasoning
(2)
theorem proving
(2)
higher-order logic
(2)
deep learning
(1)
formal methods
(1)
formal verification
(1)
proof search
(1)
automated theorem proving
(1)
theorem prover
(1)
formal proof
(1)
graph neural network
(1)
formula representation
(1)
deep reinforcement learning
(1)
holist benchmark
(1)
reinforcement learning
(1)
knowledge representation
(1)