Get started
Author

Gleb Solovev

Observed name: Solovev, Gleb
Institution: ITMO University
ORCID: 0009-0004-1116-7743
Observed ORCID: 0009-0004-1116-7743
OpenAlex ID: A5114320572
CoqPilot, a plugin for LLM-based generation of proofs
2024 · Andrei Kozyrev, Gleb Solovev, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 15
PDF
RocqStar: Leveraging Similarity-driven Retrieval and Agentic Systems for Rocq generation
2026 · Andrei Kozyrev, Nikita Khramov, et al. · Adaptive Agents and Multi-Agents Systems · 7
PDF
Exploring the limitations of transformer models for metocean forecasting
2026 · Julia Borisova, Mikhail Borisov, et al. · Journal of Computational Science · 1
RocqSmith: Can Automatic Optimization Forge Better Proof Agents?
2026 · Kozyrev, Andrei, Khramov, Nikita, et al. · arXiv (Cornell University) · 1
PDF
Works count: 4
Citation count: 24
H-index: 2
I10-index: 1
Year
Topic
Type