| _version_ | 1866902004100497408 |
|---|---|
| author | Gupta, Dhruv |
| author_facet | Gupta, Dhruv |
| contents | <p>This is a public record of the proofs produced by our agents at Zetesis Labs (housed at Indian Institute of Science) for testing our models on the "First Proof" Benchmark. </p> <p>Solutions (full and partial) are included for all problem statements in the recent upload. We share our solutions here before upload of real solutions by First Proof team for avoiding any bias while running the experiments and to avoid any strawman backfitting claims. </p> <p>In a future ArXiv preprint, we will use this DOI to cite and share our participation to the challenge. </p> <p>We arrvied to the below proofs by running GPT 5.2 API on a Macbook for 12 hours consuming ~$30 worth of tokens. </p> <p> </p> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_18629438 |
| institution | Zenodo |
| language | |
| publishDate | 2026 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | Participation in First Proof Challenge by Zetesis Labs leveraging our work on formal Epistemology for Proof Discovery Gupta, Dhruv <p>This is a public record of the proofs produced by our agents at Zetesis Labs (housed at Indian Institute of Science) for testing our models on the "First Proof" Benchmark. </p> <p>Solutions (full and partial) are included for all problem statements in the recent upload. We share our solutions here before upload of real solutions by First Proof team for avoiding any bias while running the experiments and to avoid any strawman backfitting claims. </p> <p>In a future ArXiv preprint, we will use this DOI to cite and share our participation to the challenge. </p> <p>We arrvied to the below proofs by running GPT 5.2 API on a Macbook for 12 hours consuming ~$30 worth of tokens. </p> <p> </p> |
| title | Participation in First Proof Challenge by Zetesis Labs leveraging our work on formal Epistemology for Proof Discovery |
| url | https://doi.org/10.5281/zenodo.18629438 |