ML Anthology

Swan, Jerry

1 publications

IJCAI 2018 Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs Krzysztof Krawiec, Iwo Bladek, Jerry Swan, John H. Drake