Better Counterexamples for Dafny.

Aleksandar Chakarov Aleksandr Fedchin Zvonimir Rakamaric Neha Rungta

Published in: TACAS (1) (2022)

Keyphrases

database
machine learning
object oriented
data analysis
data sets
special case
open source
domain knowledge
relational databases
artificial intelligence
active learning
computational complexity
support vector machine
case based reasoning
reinforcement learning
decision trees
learning theory
boolean functions