// policy
By entering an access code and viewing the contents of the Leak Research Repository (LRR), you agree to the following binding terms regarding the benchmark and automated theorem proving data provided.
To preserve the integrity of the FATE-X evaluation and other mathematical benchmarks, you are strictly prohibited from using any proofs, intermediate steps, tactics, or logs contained within the LRR to train, fine-tune, or provide reinforcement learning (RLHF/RLAIF) to any artificial intelligence or machine learning models.
The data is provided solely for the purpose of independent audit, grant evaluation, and peer review. You may not sell, license, redistribute for profit, or otherwise monetize the contents of this repository.
Your access code is provisioned exclusively for you. You agree not to publicly distribute the raw benchmark solutions or Lean proofs in any manner that would make them accessible to public web crawlers or automated scraping tools. In the case that you must share data from LRR to third-party partners, you agree to take reasonable steps to mitigate data contamination of benchmark answers, such as only sharing to those who need access, or destroying the data when it is no longer needed.
The repository and all contained data are provided “as is” without warranty of any kind, either express or implied. CompeteMath will not be held liable for any damages—direct, indirect, incidental, or consequential—that you may cause or suffer as a result of accessing, downloading, or using the contents of this repository.