TGViewer
GitHub repos GitHub repos @github_repos · 27.7K subscribers
Post #12388 1.59K
DebarghaG/proofofthought
"Proof of thought: Neurosymbolic program synthesis allows robust and interpretable reasoning" published Sys2Reasoning Workshop NeurIPS 2024
Language: Python
Stars: 186 Issues: 1 Forks: 8
https://github.com/DebarghaG/proofofthought
GitHub GitHub - DebarghaG/proofofthought: Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support… Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL) - DebarghaG/proofofthought
  • ❤ 1
Open in Telegram All posts from @github_repos
More from @github_repos
  1. Oct 18, 2026chenwei810/Semiconductor_Manufacturing_Introduction Introduction to Semiconductor Manufact…
  2. Oct 18, 2026Supermedo/uncharted_pc Uncharted: The Nathan Drake Collection running natively on Windows…
  3. Oct 17, 2026feder-cr/git-ai Git designed for AI agents. Language: Go #ai_agents #coding_agents #git #g…
  4. Oct 17, 2026marclou/mailcheap Newsletters where you pay for the emails you send, not for dormant subsc…
  5. Oct 17, 2026deeplethe/solid-glass A design system for AI applications. Material, physical, tactile, te…
  6. Oct 17, 2026rociiu/talorys Your personal AI agent in your own Cloudflare account. Chat, memory, tasks,…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →