Login / Signup
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants.
Kevin Batz
Mingshuai Chen
Sebastian Junges
Benjamin Lucien Kaminski
Joost-Pieter Katoen
Christoph Matheja
Published in:
TACAS (2) (2023)
Keyphrases
</>
functional programs
inductive learning
machine learning
inductive reasoning
inductive logic programming
bayesian networks
inductive inference
inductive concept learning
databases
neural network
three dimensional
knowledge representation
generative model
artificial intelligence
e learning
program synthesis