gitaskhub
yangky11/ml4tp-tutorial↗

NeurIPS 2023 Tutorial on Machine Learning for Theorem Proving

Stars · 5
Language · Jupyter Notebook
License · MIT
Ask anything about this repo to start.

By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).