AlphaUncommon
DebarghaG/proofofthought
Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
- Owner
- DebarghaG (personal account)
- Stars
- Stars: 377
- Forks
- Forks: 29
- Language
- Python
- License
- MIT
- Created
- 2025
- Topics
- automated-reasoningllmllm-reasoningtrustworthy-aiz3llm-inference
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Python
All Python repos- humanfia/humanizeStars: 377PythonAlpha
- songshikang0111/awesome-REA-casesStars: 377PythonAlpha
- reacher-z/Awesome-CUAStars: 377PythonAlpha
- kragen/xcomposeStars: 377PythonAlpha
- sbp/phennyStars: 377PythonAlpha
- vstinner/pysandboxStars: 377PythonAlpha