https://github.com/sean-lamont/bait
https://github.com/sean-lamont/bait
artificial-intelligence benchmark-framework machine-learning theorem-proving
Last synced: 27 days ago
JSON representation
- Host: GitHub
- URL: https://github.com/sean-lamont/bait
- Owner: sean-lamont
- License: other
- Created: 2023-09-06T03:07:49.000Z (over 2 years ago)
- Default Branch: end_to_end
- Last Pushed: 2025-05-07T03:12:21.000Z (9 months ago)
- Last Synced: 2025-05-07T04:24:14.846Z (9 months ago)
- Topics: artificial-intelligence, benchmark-framework, machine-learning, theorem-proving
- Language: Standard ML
- Homepage: https://sean-lamont.github.io/bait/
- Size: 81.4 MB
- Stars: 5
- Watchers: 1
- Forks: 2
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# BAIT: Benchmarking Architectures for Interactive Theorem-Proving
BAIT is a platform for accelerating research in the application of AI to Interactive Theorem-Proving (AI-ITP).
Please see the [website](https://sean-lamont.github.io/bait/) for the complete documentation and more information.