A Game Model for Proofs with Costs.

Timo Lang Carlos Olarte Elaine Pimentel Christian G. Fermüller

Published in: TABLEAUX (2019)

Keyphrases

high level
probabilistic model
objective function
mathematical model
formal model
similarity measure
theoretical framework
experimental data
video games
neural network model