activity
20162026
most citedBridging the Gap between Programming Languages and Hardware Weak Memory Models

55 citations · 78 across the 8 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.SE2024★ 2 cited

CoqPilot, a plugin for LLM-based generation of proofs

Andrei Kozyrev, Gleb Solovev, Nikita Khramov +1

We present CoqPilot, a VS Code extension designed to help automate writing of Coq proofs. The plugin collects the parts of proofs marked with the admit tactic in a Coq file, i.e.,…