Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2006.16743
Cited By
Learning to Format Coq Code Using Language Models
18 June 2020
Pengyu Nie
Karl Palmskog
Junyi Jessy Li
Miloš Gligorić
ALM
SyDa
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Learning to Format Coq Code Using Language Models"
2 / 2 papers shown
Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
Andreas Florath
154
2
0
19 Mar 2024
Baldur: Whole-Proof Generation and Repair with Large Language Models
E. First
M. Rabe
Talia Ringer
Yuriy Brun
330
142
0
08 Mar 2023
1
Page 1 of 1
