Search Results for author:
Found 1 papers, 0 papers with code
Online Machine Learning Techniques for Coq: A Comparison
Learning happens in an online manner, meaning that Tactician's machine learning model is updated immediately every time the user performs a step in an interactive proof.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
