Picture for Gleb Solovev

Gleb Solovev

CoqPilot, a plugin for LLM-based generation of proofs

Add code
Oct 25, 2024
Figure 1 for CoqPilot, a plugin for LLM-based generation of proofs
Figure 2 for CoqPilot, a plugin for LLM-based generation of proofs
Viaarxiv icon

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

Add code
Oct 22, 2024
Viaarxiv icon