Search Results for author:
Found 2 papers, 1 papers with code
Learning Heuristics for Template-based CEGIS of Loop Invariants with Reinforcement Learning
As a concrete example, we implement the approach on top of PCSat, which is an invariant synthesizer based on template-based CEGIS.
Toward Neural-Network-Guided Program Synthesis and Verification
Another application is to a new program development framework called oracle-based programming, which is a neural-network-guided variation of Solar-Lezama's program synthesis by sketching.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
