An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification.

Neta Elad Oded Padon Sharon Shoham

Published in: CoRR (2023)

Keyphrases

finite sets
probabilistic model
experimental data
decision trees
three dimensional
prior knowledge
statistical model
statistical models
neural network
relational databases
logic programs
machine learning algorithms
complex systems
real numbers
finite automata
linearly separable