-Synthesis.

Maximilian März Claire Boyer Jonas Kahn Pierre Weiss

Published in: Found. Comput. Math. (2023)

Keyphrases

program synthesis
real world
neural network
genetic algorithm
case study
objective function
artificial neural networks
functional programs