6 citations · 12 across the 8 of their papers we have counts for
10 papers
LGEM: a first-order logic framework for automated improvement of metabolic network models through abduction
Alexander H. Gower, Konstantin Korovin, Daniel Brunnsåker +2
Scientific discovery in biology is difficult due to the complexity of the systems involved and the expense of obtaining high quality experimental data. Automated techniques are a p…
Graph Sequence Learning for Premise Selection
Edvard K. Holden, Konstantin Korovin
Premise selection is crucial for large theory reasoning as the sheer size of the problems quickly leads to resource starvation. This paper proposes a premise selection approach ins…
Machine Learning Meets The Herbrand Universe
Jelle Piepenbrock, Josef Urban, Konstantin Korovin +3
The appearance of strong CDCL-based propositional (SAT) solvers has greatly advanced several areas of automated reasoning (AR). One of the directions in AR is thus to apply SAT sol…
AC Simplifications and Closure Redundancies in the Superposition Calculus
André Duarte, Konstantin Korovin
Reasoning in the presence of associativity and commutativity (AC) is well known to be challenging due to prolific nature of these axioms. Specialised treatment of AC axioms is main…
Bayesian Optimisation with Formal Guarantees
Franz Brauße, Zurab Khasidashvili, Konstantin Korovin
Application domains of Bayesian optimization include optimizing black-box functions or very complex functions. The functions we are interested in describe complex real-world system…
The ksmt calculus is a -complete decision procedure for non-linear constraints
Franz Brauße, Konstantin Korovin, Margarita V. Korovina +1
ksmt is a CDCL-style calculus for solving non-linear constraints over real numbers involving polynomials and transcendental functions. In this paper we investigate properties of th…