6 citations · 6 across the 3 of their papers we have counts for
4 papers
SMLP: Symbolic Machine Learning Prover
Franz Brauße, Zurab Khasidashvili, Konstantin Korovin
Symbolic Machine Learning Prover (SMLP) is a tool and a library for system exploration based on data samples obtained by simulating or executing the system on a number of input vec…
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…
Computing exponentially faster: Implementing a nondeterministic universal Turing machine using DNA
Andrew Currin, Konstantin Korovin, Maria Ababi +4
The theory of computer science is based around Universal Turing Machines (UTMs): abstract machines able to execute all possible algorithms. Modern digital computers are physical em…