Login / Signup
Synthesizing Machine-Learning Datasets from Parameterizable Agents Using Constrained Combinatorial Search.
Victor Hung
Joshua Haley
Robert Bridgman
Norb Timpko
Robert E. Wray
Published in:
SBP-BRiMS (2019)
Keyphrases
</>
combinatorial search
machine learning
search algorithm
search space
combinatorial optimization
theorem proving
search problems
genetic algorithm
reinforcement learning
combinatorial problems
orders of magnitude
search strategy
search strategies
parallel tree search