Picture for Nikita Khramov

Nikita Khramov

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