Gleb Solovev

According to our database, Gleb Solovev authored at least 2 papers in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

CoqPilot, a plugin for LLM-based generation of proofs.

Andrei Kozyrev, Gleb Solovev, Nikita Khramov, Anton Podkopaev

CoRR, 2024

Hybrid Generative AI for De Novo Design of Co-Crystals with Enhanced Tabletability.

Nina Gubina, Andrei Dmitrenko, Gleb Solovev, Lyubov Yamshchikova, Oleg Petrov, Ivan Lebedev, Nikita Serov, Grigorii Kirgizov, Nikolay O. Nikitin, Vladimir Vinogradov

CoRR, 2024