Sarah Loos

1. Graph Representations for Higher-Order Logic and Theorem Proving
   2019/05/24 by Aditya Paliwal, Paliwal, Aditya, Sarah Loos +7 · 1 voice · 5 citations
   #cs.LG #cs.AI #cs.LO #stat.ML
2. Deep Network Guided Proof Search
   2017/01/24 by Sarah Loos, Geoffrey Irving, Christian Szegedy +1 · 1 voice · 3 citations
   Computer Science · #cs.AI #cs.LG #cs.LO