Picture for Andrei Kozyrev

Andrei Kozyrev

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