# kfdong/STP

<https://repo.masters-masters.com/en/repos/kfdong/STP>

[Home](https://repo.masters-masters.com/en) › [kfdong](https://repo.masters-masters.com/en/owners/kfdong) › [STP](https://repo.masters-masters.com/en/repos/kfdong/STP)

kfdong/STP has 123 stars on GitHub. Its RepoMasters card: Prototype tier. The official implementation of "Self-play LLM Theorem Provers with Iterative…

| Field | Value |
| --- | --- |
| Owner | [kfdong](https://repo.masters-masters.com/en/owners/kfdong) |
| Stars | 123 |
| Forks | 12 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | MIT |
| Created | 2025 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [kfdong/STP](https://github.com/kfdong/STP) |

## Repository

The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## Nearby in Python

- [xx20050823xx/McMate · ★ 123 · Python · Prototype](https://repo.masters-masters.com/en/repos/xx20050823xx/McMate)
- [o-Sakurajimamai-o/cet-practice · ★ 123 · Python · Prototype](https://repo.masters-masters.com/en/repos/o-Sakurajimamai-o/cet-practice)
- [maluramichael/awesome-reverse-engineer-anything · ★ 123 · Python · Prototype](https://repo.masters-masters.com/en/repos/maluramichael/awesome-reverse-engineer-anything)
- [zhaque/django-saas-kit · ★ 123 · Python · Prototype](https://repo.masters-masters.com/en/repos/zhaque/django-saas-kit)
- [jtauber/sebastian · ★ 123 · Python · Prototype](https://repo.masters-masters.com/en/repos/jtauber/sebastian)
- [toddlipcon/gremlins · ★ 123 · Python · Prototype](https://repo.masters-masters.com/en/repos/toddlipcon/gremlins)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.