×

Found 3 Documents (Results 1–3)

Deep generation of Coq lemma names using elaborated terms. (English) Zbl 07614664

Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12167, 97-118 (2020).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Learning programs from noisy data. (English) Zbl 1347.68092

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 761-774 (2016).
MSC:  68N30 68T05
PDFBibTeX XMLCite
Full Text: DOI

Abstraction refinement guided by a learnt probabilistic model. (English) Zbl 1347.68084

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 485-498 (2016).
MSC:  68N30 05C90 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Filter Results by …

Year of Publication

Main Field

all top 3

Software