1 code implementation • 8 Nov 2016 • Rick Smetsers, Joshua Moerman, Mark Janssen, Sicco Verwer
An ongoing challenge for learning algorithms formulated in the Minimally Adequate Teacher framework is to efficiently obtain counterexamples.
Software Engineering
