activity
20232026
most citedEnhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code

1 citations · 2 across the 5 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.AI2024★ 1 cited

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code

Andreas Florath

In the realm of formal theorem proving, the Coq proof assistant stands out for its rigorous approach to verifying mathematical assertions and software correctness. Despite the adva…