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

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: