Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2004.07761
Cited By
v1
v2 (latest)
Deep Generation of Coq Lemma Names Using Elaborated Terms
International Joint Conference on Automated Reasoning (IJCAR), 2020
16 April 2020
Pengyu Nie
Karl Palmskog
Junyi Jessy Li
Miloš Gligorić
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Deep Generation of Coq Lemma Names Using Elaborated Terms"
5 / 5 papers shown
Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
Andreas Florath
147
2
0
19 Mar 2024
Baldur: Whole-Proof Generation and Repair with Large Language Models
E. First
M. Rabe
Talia Ringer
Yuriy Brun
329
141
0
08 Mar 2023
Learning Deep Semantics for Test Completion
International Conference on Software Engineering (ICSE), 2023
Pengyu Nie
Rahul Banerjee
Junyi Jessy Li
Raymond J. Mooney
Miloš Gligorić
393
80
0
20 Feb 2023
Proof Artifact Co-training for Theorem Proving with Language Models
International Conference on Learning Representations (ICLR), 2021
Jesse Michael Han
Jason M. Rute
Yuhuai Wu
Edward W. Ayers
Stanislas Polu
AIMat
384
141
0
11 Feb 2021
Learning to Format Coq Code Using Language Models
Pengyu Nie
Karl Palmskog
Junyi Jessy Li
Miloš Gligorić
ALM
SyDa
119
3
0
18 Jun 2020
1
