Leveraging Rust Types for Program Synthesis.

Jonás Fiala Shachar Itzhaky Peter Müller Nadia Polikarpova Ilya Sergey

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

program synthesis
recursive programs
knowledge representation
semi supervised
general purpose
labeled data