Iwo Bladek

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 8

Top Topics

Regression Problems

Symbolic Regression

Extremal Optimization

Genetic Programming

Top Venues

GECCO (Companion)

IEEE Trans. Evol. Comput.

Publications

Iwo Bladek, Krzysztof Krawiec
Counterexample-Driven Genetic Programming for Symbolic Regression With Formal Constraints. IEEE Trans. Evol. Comput. 27 (5) (2023)
Iwo Bladek, Krzysztof Krawiec
Solving symbolic regression problems with formal constraints. GECCO (2019)
Iwo Bladek, Krzysztof Krawiec, Jerry Swan
Counterexample-Driven Genetic Programming: Heuristic Program Synthesis from Formal Specifications. Evol. Comput. 26 (3) (2018)
Krzysztof Krawiec, Iwo Bladek, Jerry Swan, John H. Drake
Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs. IJCAI (2018)
Pawel Liskowski, Iwo Bladek, Krzysztof Krawiec
Neuro-guided genetic programming: prioritizing evolutionary search with neural networks. GECCO (2018)
Iwo Bladek, Krzysztof Krawiec
Evolutionary Program Sketching. EuroGP (2017)
Krzysztof Krawiec, Iwo Bladek, Jerry Swan
Counterexample-driven genetic programming. GECCO (2017)
Iwo Bladek, Krzysztof Krawiec
Simultaneous Synthesis of Multiple Functions using Genetic Programming with Scaffolding. GECCO (Companion) (2016)
Iwo Bladek, Maciej Drozdowski, Frédéric Guinand, Xavier Schepler
On contiguous and non-contiguous parallel task scheduling. J. Sched. 18 (5) (2015)