Picture for Anton Podkopaev

Anton Podkopaev

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