JR
J.P.L. Römer
info
Please Note
<p>This page displays the records of the person named above and is not linked to a unique person identifier. This record may need to be merged to a profile.</p>
1 records found
1
Utilizing Frequently Occurring Subprograms in Program Synthesis
Letting clingo find subprograms and inserting them into the grammar
Program synthesis automatically generates pro-grams satisfying given specifications through sys-tematic search over candidate programs. This pa-per explores an enhancement to Herb.jl, a pro-gram synthesis framework, by implementing a two-phase approach that alternates between a ”wak-ing” phase that generates candidate programs, anda ”sleeping” phase that identifies frequently occur-ring subprograms and refactors the grammar ac-cordingly. The sleeping phase uses Clingo to dis-cover common patterns, which are incorporatedinto the grammar to enable more efficient synthesis.I investigate whether this iterative refactoring ac-celerates synthesis, and identify types of problemswhere it provides improvements. This work con-tributes to understanding how grammar compres-sion and abstraction discovery can enhance pro-gram synthesis efficiency.
https://github.com/jelleromer/herb-bep ...
https://github.com/jelleromer/herb-bep ...
Program synthesis automatically generates pro-grams satisfying given specifications through sys-tematic search over candidate programs. This pa-per explores an enhancement to Herb.jl, a pro-gram synthesis framework, by implementing a two-phase approach that alternates between a ”wak-ing” phase that generates candidate programs, anda ”sleeping” phase that identifies frequently occur-ring subprograms and refactors the grammar ac-cordingly. The sleeping phase uses Clingo to dis-cover common patterns, which are incorporatedinto the grammar to enable more efficient synthesis.I investigate whether this iterative refactoring ac-celerates synthesis, and identify types of problemswhere it provides improvements. This work con-tributes to understanding how grammar compres-sion and abstraction discovery can enhance pro-gram synthesis efficiency.
https://github.com/jelleromer/herb-bep
https://github.com/jelleromer/herb-bep