Konstantin Korovin

Papers

Total Citations

H-Index

About

Konstantin Korovin is a researcher whose work spans the intersection of automated reasoning, first-order logic, and the application of artificial intelligence to scientific discovery. His contributions are particularly notable in the domain of automated systems biology, where he has helped develop frameworks that leverage logical reasoning to accelerate and formalize the process of scientific inquiry. Among his recognized work is his involvement in the Genesis project, which advances the concept of "robot scientists" — closed-loop automated systems capable of independently conducting scientific research. Building on earlier robot scientist platforms such as Adam and Eve, this initiative represents a significant step toward AI-driven biological discovery. Korovin has also contributed to LGEM+, a first-order logic framework designed to automatically improve metabolic network models through abductive reasoning, addressing the complexity and data challenges inherent in biological systems modeling. Though his most-cited papers in this collection remain in early citation stages — reflecting their recent publication dates — the ambition and novelty of his research place him at a forward-looking frontier. His work bridges formal logic, machine learning, and experimental biology, making him a compelling figure for students and researchers interested in how automated reasoning can transform the pace of scientific discovery.