Jerry Swan

1 papers · 2018–2018 · 1 conference · across top CS/AI conferences

Achievements

🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (15)

Conferences

IJCAI (1)

Top co-authors

Krzysztof Krawiec (1) Iwo Błądek (1) John H. Drake (1)

Keywords

program synthesis (1) formal verification (1) evolutionary algorithm (1) genetic programming (1)

Papers

Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs IJCAI 2018