Counterexample-Driven Genetic Programming for Symbolic Regression With Formal Constraints.
IEEE Trans. Evol. Comput., October, 2023
Solving symbolic regression problems with formal constraints.
Proceedings of the Genetic and Evolutionary Computation Conference, 2019
Counterexample-Driven Genetic Programming: Heuristic Program Synthesis from Formal Specifications.
Evol. Comput., 2018
Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Neuro-guided genetic programming: prioritizing evolutionary search with neural networks.
Proceedings of the Genetic and Evolutionary Computation Conference, 2018
Counterexample-driven genetic programming.
Proceedings of the Genetic and Evolutionary Computation Conference, 2017
Evolutionary Program Sketching.
Proceedings of the Genetic Programming - 20th European Conference, 2017
Simultaneous Synthesis of Multiple Functions using Genetic Programming with Scaffolding.
Proceedings of the Genetic and Evolutionary Computation Conference, 2016
On contiguous and non-contiguous parallel task scheduling.
J. Sched., 2015