Zobrazeno 1 - 10
of 72
pro vyhledávání: '"Korovin, Konstantin"'
Autor:
Tiukova, Ievgeniia A., Brunnsåker, Daniel, Bjurström, Erik Y., Gower, Alexander H., Kronström, Filip, Reder, Gabriel K., Reiserer, Ronald S., Korovin, Konstantin, Soldatova, Larisa B., Wikswo, John P., King, Ross D.
The cutting edge of applying AI to science is the closed-loop automation of scientific research: robot scientists. We have previously developed two robot scientists: `Adam' (for yeast functional biology), and `Eve' (for early-stage drug design)). We
Externí odkaz:
http://arxiv.org/abs/2408.10689
Autor:
Li, Xianzhiyu, Song, Kunjian, Gadelha, Mikhail R., Brauße, Franz, Menezes, Rafael S., Korovin, Konstantin, Cordeiro, Lucas C.
This paper presents Efficient SMT-Based Context-Bounded Model Checker (ESBMC) v7.6, an extended version based on previous work on ESBMC v7.3 by K. Song et al. The v7.3 introduced a new Clang-based C++ front-end to address the challenges posed by mode
Externí odkaz:
http://arxiv.org/abs/2406.17862
Autor:
Gower, Alexander H., Korovin, Konstantin, Brunnsåker, Daniel, Kronström, Filip, Reder, Gabriel K., Tiukova, Ievgeniia A., Reiserer, Ronald S., Wikswo, John P., King, Ross D.
The process of developing theories and models and testing them with experiments is fundamental to the scientific method. Automating the entire scientific method then requires not only automation of the induction of theories from data, but also experi
Externí odkaz:
http://arxiv.org/abs/2406.17835
SMLP: Symbolic Machine Learning Prover an open source tool for exploration and optimization of systems represented by machine learning models. SMLP uses symbolic reasoning for ML model exploration and optimization under verification and stability con
Externí odkaz:
http://arxiv.org/abs/2405.10215
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 vectors. SMLP aims at exploring the system based on this data by taking a
Externí odkaz:
http://arxiv.org/abs/2402.01415
Autor:
Menezes, Rafael, Aldughaim, Mohannad, Farias, Bruno, Li, Xianzhiyu, Manino, Edoardo, Shmarov, Fedor, Song, Kunjian, Brauße, Franz, Gadelha, Mikhail R., Tihanyi, Norbert, Korovin, Konstantin, Cordeiro, Lucas C.
ESBMC implements many state-of-the-art techniques for model checking. We report on new and improved features that allow us to obtain verification results for previously unsupported programs and properties. ESBMC employs a new static interval analysis
Externí odkaz:
http://arxiv.org/abs/2312.14746
Autor:
Gower, Alexander H., Korovin, Konstantin, Brunnsåker, Daniel, Tiukova, Ievgeniia A., King, Ross D.
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 promising way to make scientific discoveries at the scale and pace requ
Externí odkaz:
http://arxiv.org/abs/2306.06065
Autor:
Holden, Edvard K., Korovin, Konstantin
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 inspired by the domain of image captioning, where language models automat
Externí odkaz:
http://arxiv.org/abs/2303.15642
Autor:
Piepenbrock, Jelle, Urban, Josef, Korovin, Konstantin, Olšák, Miroslav, Heskes, Tom, Janota, Mikolaš
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 solvers to expressive formalisms such as first-order logic, for which lar
Externí odkaz:
http://arxiv.org/abs/2210.03590
Autor:
Duarte, André, Korovin, Konstantin
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 mainly supported by provers for unit equality which are based on Knuth-Ben
Externí odkaz:
http://arxiv.org/abs/2107.08409