On the convergence of reduction-based and model-based methods in proof theory.

Published in: CoRR (2023)

Keyphrases

machine learning
decision making
search algorithm
probabilistic model
knowledge representation
programming language
qualitative and quantitative