This repository contains a tool is for NN-guided synthesis of recursive list predicates. The technical background is found in the following paper.
Naoki Kobayashi, Minchao Wu,
"Neural Network-Guided Synthesis of Recursive List Functions", Proceedings of TACAS 2023, pp.227-245, 2023
run
dune build learnMp.exe
You need to install dune and ocaml-torch (by running 'opam install torch') in advance.
run
learn.sh <options> <datafile>
- -epochs : the number of epochs (default: 20000)
- -nodes : the number of hidden nodes in the first (hidden) layer (default: 4)
- -nodes2 : the number of hidden nodes in the second layer (default: 4)
- -rate: learning rate
./learn.sh -nodes2 8 -rate 0.01 -epochs 10000 data/small/sorted0.dat