NobleBlocks
Public

Learning programs with magic values

Published in arXiv (Cornell University) • Aug 5, 2022
Authors:
Céline Hocquette
,
Andrew Cropper

Abstract

A magic value in a program is a constant symbol that is essential for the execution of the program but has no clear explanation for its choice. Learning programs with magic values is difficult for existing program synthesis approaches. To overcome this limitation, we introduce an inductive logic pro...

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!