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 for the complete documentation and more information.

Name		Name	Last commit message	Last commit date
configs		configs
data		data
environments		environments
experiments		experiments
models		models
notebooks		notebooks
notes		notes
utils		utils
.gitignore		.gitignore
LICENCE		LICENCE
README.md		README.md
__init__.py		__init__.py
copy_traces.sh		copy_traces.sh
helper.sml		helper.sml
requirements.txt		requirements.txt
setup_end_to_end.md		setup_end_to_end.md
test_llm.py		test_llm.py

Navigation Menu

Repository files navigation

BAIT: Benchmarking Architectures for Interactive Theorem-Proving

About

Used by

Contributors

Languages

Latest commit

History

Folders and files

Repository files navigation

BAIT: Benchmarking Architectures for Interactive Theorem-Proving

About

Topics

Resources

Stars

Watchers

Forks

Used by

Contributors

Languages