research
∙
12/10/2021
Self-attention Does Not Need O(n^2) Memory
We present a very simple algorithm for attention that requires O(1) memo...
share
research
∙
03/06/2020
Teaching Temporal Logics to Neural Networks
We show that a deep neural network can learn the semantics of linear-tim...
research
∙
05/25/2019
Learning to Reason in Large Theories without Imitation
Automated theorem proving in large theories can be learned via reinforce...
research
∙
08/27/2018
Synthesis of Boolean Functions with Clausal Abstraction
Dependency quantified Boolean formulas (DQBF) is a logic admitting exist...
research
∙
03/26/2018
