research
∙
01/27/2023
Alien Coding
We introduce a self-learning algorithm for synthesizing programs for OEI...
share
research
∙
10/07/2022
Machine Learning Meets The Herbrand Universe
The appearance of strong CDCL-based propositional (SAT) solvers has grea...
research
∙
05/04/2022
The Isabelle ENIGMA
We significantly improve the performance of the E automated theorem prov...
research
∙
07/21/2021
Learning Theorem Proving Components
Saturation-style automated theorem provers (ATPs) based on the given cla...
research
∙
07/14/2021
Fast and Slow Enigmas and Parental Guidance
We describe several additions to the ENIGMA system that guides clause se...
research
∙
05/31/2021
The Role of Entropy in Guiding a Connection Prover
In this work we study how to learn good algorithms for selecting reasoni...
research
∙
06/13/2020
ω-categorical structures avoiding height 1 identities
The algebraic dichotomy conjecture for Constraint Satisfaction Problems ...
research
∙
05/07/2020
GeoLogic – Graphical interactive theorem prover for Euclidean geometry
Domain of mathematical logic in computers is dominated by automated theo...
research
∙
02/13/2020
ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description)
We describe an implementation of gradient boosting and neural guidance o...
research
∙
11/27/2019
Property Invariant Embedding for Automated Reasoning
Automated reasoning and theorem proving have recently become major chall...
research
∙
04/29/2019
Dichotomy for symmetric Boolean PCSPs
A PCSP is a combination of two CSPs defined by two similar templates; th...
research
∙
01/14/2019
Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems)
The algebraic dichotomy conjecture for Constraint Satisfaction Problems ...
research
∙
01/14/2019