A Game Model for Proofs with Costs.

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

Published in: CoRR (2019)

Keyphrases

computational model
prior knowledge
mathematical model
learning algorithm
high level
theoretical analysis
genetic algorithm
probabilistic model
theoretical framework
experimental data
simulation model
formal model