Researchers apply ILP to enhance tactic predictions in interactive theorem proving.
― 8 min read
Cezary Kaliszyk
A look into using machine learning for term rewriting system optimization.
― 6 min read
Cutting edge science explained simply
Researchers apply ILP to enhance tactic predictions in interactive theorem proving.
― 8 min read
A look into using machine learning for term rewriting system optimization.
― 6 min read