Giters

brando90 / TheoremSense

An Empirical Study of Proxy Metrics for Verifying Math Proofs

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

TheoremSense

An Empirical Study of Proxy Metrics for Verifying Math Proofs

About

An Empirical Study of Proxy Metrics for Verifying Math Proofs

Languages

Language:Jupyter Notebook 99.7%Language:Python 0.3%Language:Shell 0.0%