Research output per year
Research output per year
Personal profile
My group
Research Group(s)
Overview
Homepage: https://korovin.gitlab.io/
iProver: https://gitlab.com/korovin/iprover
email: [email protected]
Areas of expertise
- QA75 Electronic computers. Computer science
- Logic, reasoning, formal methods, combination of reasoning and machine learning
- QA76 Computer software
Research Beacons, Institutes and Platforms
- Digital Futures
Fingerprint
Dive into the research topics where Konstantin Korovin is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Invariant neural architecture for learning term synthesis in instantiation proving
Piepenbrock, J., Urban, J., Korovin, K., Olšák, M., Heskes, T. & Janota, M., 1 May 2025, In: Journal of Symbolic Computation. 128, 102375.Research output: Contribution to journal › Article › peer-review
Open AccessFile4 Downloads (Pure) -
ESBMC v7.4: Harnessing the Power of Intervals (Competition Contribution)
Menezes, R., Aldughaim, M., Farias, B., Li, X., Manino, E., Shmarov, F., Song, K., Brauße, F., Gadelha, M. R., Tihanyi, N., Korovin, K. & Cordeiro, L., 10 Feb 2024, (Accepted/In press) 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open AccessFile -
Graph Sequence Learning for Premise Selection
Holden, E. K. & Korovin, K., 27 Aug 2024, In: Journal of Symbolic Computation. 102376.Research output: Contribution to journal › Article › peer-review
Open Access -
SMLP: Symbolic Machine Learning Prover
Brausse, F., Khasidashvili, Z. & Korovin, K., 26 Jul 2024, (E-pub ahead of print) Computer Aided Verification - 36th International Conference, CAV 2024. Springer Cham, Vol. 14681. p. 219–233 ( Lecture Notes in Computer Science).Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open Access -
VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic
Schoisswohl, J., Kovács, L. & Korovin, K., 26 May 2024, Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'24). Bjørner, N., Heule, M. & Voronkov, A. (eds.). EasyChair, Vol. 100. p. 147–164 (EPiC Series in Computing).Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open AccessFile5 Downloads (Pure)
-
Centre for Digital Trust and Society
Barrett, E. (PI), Allmendinger, R. (Researcher), Elliot, M. (Researcher), Lord, N. (Researcher), Cordeiro, L. (Researcher), Gibson, R. (Researcher), Papamarkou, T. (Researcher), Dresner, D. (Researcher), Buil-Gil, D. (Researcher), Aldridge, J. (Researcher), Duncan, P. (Researcher), Banach, R. (Researcher), Brown, G. (Researcher), Dennis, L. (Researcher), Fisher, M. (Researcher), Korovin, K. (Researcher), Kotselidis, C.-E. (Researcher), Luján, M. (Researcher), Mustafa, M. (Researcher), Olivier, P. (Researcher), Reger, G. (Researcher), Zhang, N. (Researcher), Hodgkinson, G. (Researcher), Gulati, S. (Researcher), Ainsworth, J. (Researcher), Chen, Y.-W. (Researcher), Green, B. (Researcher), Healey, M. (Researcher), Uyarra, E. (Researcher), Zachariadis, M. (Researcher), Little, C. (Researcher), Mackey, E. (Researcher), Nenadic, G. (Researcher), Keane, J. (Researcher), Shlomo, N. (Researcher), Laskowski, N. (Researcher), Jarwar, M. A. (Researcher), Shariati Samani, S. (Researcher), Smith, D. (Researcher), Kambites, M. (Researcher), Thorpe, M. (Researcher), Rowley, P. (Researcher), Flynn, S. (Researcher), Turner, P. (Researcher), Wainwright, V. (Researcher), Czerwinsky, A. (PGR student), Nini, A. (Researcher), Broad, R. (Researcher), Shute, J. (Researcher), Deakin, J. (Researcher), Taboada, P. (PGR student), Knight, P. (Researcher), Hutchings, S. (Researcher), Whyte, J. (Researcher), Tolz-Zilitinkevic, V. (Researcher), Pilkington, H. (Researcher), Guharoy, S. (Researcher), Nicolo, A. (Researcher), Reggiani, C. (Researcher), Garcia Oliva, J. (Researcher), Van Someren, A. (Researcher), Bon, E. (Researcher), Cantijoch Cunill, M. (Researcher), Koch, D. (Researcher) & Chen, Y.-W. (Researcher)
11/05/21 → …
Project: Other
-
SCorCH: Secure Code for Capability Hardware
Reger, G. (PI), Cordeiro, L. (CoI), Korovin, K. (CoI), Mustafa, M. (CoI) & Olivier, P. (CoI)
1/07/20 → 31/12/23
Project: Research
Datasets
-
Supplementary material from "Computing exponentially faster: implementing a non-deterministic universal Turing machine using DNA"
Currin, A. (Contributor), Korovin, K. (Contributor), Ababi, M. (Contributor), Roper, K. (Contributor), Kell, D. (Contributor), Day, P. (Contributor) & King, R. (Contributor), figshare , 15 Feb 2017
DOI: 10.6084/m9.figshare.c.3691882.v1, https://figshare.com/collections/Supplementary_material_from_Computing_exponentially_faster_implementing_a_non-deterministic_universal_Turing_machine_using_DNA_/3691882/1
Dataset