
Mathematical Reasoning via Selfsupervised Skiptree Training
We examine whether selfsupervised language modeling applied to mathemat...
read it

Teaching Temporal Logics to Neural Networks
We show that a deep neural network can learn the semantics of lineartim...
read it

Mathematical Reasoning in Latent Space
We design and conduct a simple experiment to study whether neural networ...
read it

Understanding and Extending Incremental Determinization for 2QBF
Incremental determinization is a recently proposed algorithm for solving...
read it

Learning to Reason in Large Theories without Imitation
Automated theorem proving in large theories can be learned via reinforce...
read it

HOList: An Environment for Machine Learning of HigherOrder Theorem Proving (extended version)
We present an environment, benchmark, and deep learning driven automated...
read it

HOList: An Environment for Machine Learning of HigherOrder Theorem Proving
We present an environment, benchmark, and deep learning driven automated...
read it

A Model Counter's Guide to Probabilistic Systems
In this paper, we systematize the modeling of probabilistic systems for ...
read it

Synthesis of Boolean Functions with Clausal Abstraction
Dependency quantified Boolean formulas (DQBF) is a logic admitting exist...
read it

Learning Heuristics for Automated Reasoning through Deep Reinforcement Learning
We demonstrate how to learn efficient heuristics for automated reasoning...
read it

Encodings of Bounded Synthesis
The reactive synthesis problem is to compute a system satisfying a given...
read it
Markus N. Rabe
is this you? claim profile