GitHub Repository: proofofthought by DebarghaG Overview Repository Name: proofofthought Owner: DebarghaG Visibility: Public Description: "Proof of thought: Neurosymbolic program synthesis allows robust and interpretable reasoning" Published at Sys2Reasoning Workshop, NeurIPS 2024. Repository Stats Stars: 2 Forks: 0 Watchers: 0 Commits: 6 on main branch Languages: 100% Python Quick Start Example Batch Evaluation Usage Installation Architecture Two layers: High-level API: z3dsl.reasoning — A simple Python interface for reasoning tasks. Low-level DSL: z3dsl — A JSON-based interface to Z3 theorem prover. Most users will interact with the high-level API. Contents Contains directories: examples/: Complete example codes including Azure OpenAI support. tests/: Tests for the package. z3dsl/: Low-level DSL components Key files: .env.example .gitignore .pre-commit-config.yaml README.md REASONINGAPI.md benchmarkpipeline.py pyproject.toml requirements.txt runinterpreter.py runtests.py Additional Notes No releases or packages published yet. Repository supports GitHub Actions and other GitHub features. Users need to sign in to star, watch, or fork the repository on GitHub. --- This repository provides an LLM (Large Language Model) based reasoning system leveraging Z3 theorem prover, enabling neurosymbolic program synthesis for robust interpretable reasoning. It is constructed in Python and integrates with OpenAI for LLM client support.