├── README.md ├── autoformalization.md ├── broader_impact.md ├── embrace_sota.md ├── mathzero.md ├── online_vs_offline.md ├── search.md ├── summary.md └── user-stories.md /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jasonrute/thoughts-on-ai-for-theorem-proving/HEAD/README.md -------------------------------------------------------------------------------- /autoformalization.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jasonrute/thoughts-on-ai-for-theorem-proving/HEAD/autoformalization.md -------------------------------------------------------------------------------- /broader_impact.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jasonrute/thoughts-on-ai-for-theorem-proving/HEAD/broader_impact.md -------------------------------------------------------------------------------- /embrace_sota.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jasonrute/thoughts-on-ai-for-theorem-proving/HEAD/embrace_sota.md -------------------------------------------------------------------------------- /mathzero.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jasonrute/thoughts-on-ai-for-theorem-proving/HEAD/mathzero.md -------------------------------------------------------------------------------- /online_vs_offline.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jasonrute/thoughts-on-ai-for-theorem-proving/HEAD/online_vs_offline.md -------------------------------------------------------------------------------- /search.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jasonrute/thoughts-on-ai-for-theorem-proving/HEAD/search.md -------------------------------------------------------------------------------- /summary.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jasonrute/thoughts-on-ai-for-theorem-proving/HEAD/summary.md -------------------------------------------------------------------------------- /user-stories.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jasonrute/thoughts-on-ai-for-theorem-proving/HEAD/user-stories.md --------------------------------------------------------------------------------