AlphaPeu commune
DebarghaG/proofofthought
Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
- Propriétaire
- DebarghaG (compte personnel)
- Étoiles
- Étoiles : 377
- Forks
- Forks : 29
- Langage
- Python
- Licence
- MIT
- Création
- 2025
- Sujets
- automated-reasoningllmllm-reasoningtrustworthy-aiz3llm-inference
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts Python
Tous les dépôts Python- cdppcorp/KESE-KITÉtoiles : 377PythonAlpha
- AI-FanGe/AI_DesktopCat_Qwen3.5OmniÉtoiles : 377PythonAlpha
- mc3545dada/mspm0-skillÉtoiles : 377PythonAlpha
- kragen/xcomposeÉtoiles : 377PythonAlpha
- sbp/phennyÉtoiles : 377PythonAlpha
- vstinner/pysandboxÉtoiles : 377PythonAlpha