A Proof Synthesis Algorithm for a Mathematical Vernacular in the Calculus of Constructions.
Gilles DowekPublished in: CoRR (2023)
Keyphrases
- computational cost
- computational complexity
- experimental evaluation
- optimal solution
- preprocessing
- learning algorithm
- dynamic programming
- improved algorithm
- detection algorithm
- computationally efficient
- expectation maximization
- particle swarm optimization
- linear programming
- high accuracy
- cost function
- multi objective
- lower bound
- reinforcement learning
- bayesian networks