# kfdong/STP

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

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

kfdong/STP, dépôt open source à 123 étoiles sur GitHub. Carte Prototype de RepoMasters. The official implementation of "Self-play LLM Theorem Provers with…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [kfdong](https://repo.masters-masters.com/owners/kfdong) |
| Étoiles | 123 |
| Forks | 12 |
| Langage | [Python](https://repo.masters-masters.com/languages/python) |
| Licence | MIT |
| Création | 2025 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [kfdong/STP](https://github.com/kfdong/STP) |

## Fiche du dépôt

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

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## D’autres dépôts Python

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.