kang-ml/LogicTree

[EMNLP 2025 Main] LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models

/ 100

Experimental

No Package No Dependents

Maintenance 6 / 25

Adoption 4 / 25

Maturity 9 / 25

Community 0 / 25

Stars

Forks

—

Language

Python

License

MIT

Category

Last pushed

Nov 02, 2025

Commits (30d)

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/llm-tools/kang-ml/LogicTree"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.

Higher-rated alternatives

open-thought/reasoning-gym

[NeurIPS 2025 Spotlight] Reasoning Environments for Reinforcement Learning with Verifiable Rewards

Hmbown/Hegelion

Dialectical reasoning architecture for LLMs (Thesis → Antithesis → Synthesis)

princeton-nlp/tree-of-thought-llm

[NeurIPS 2023] Tree of Thoughts: Deliberate Problem Solving with Large Language Models

ZichengXu/Decoding-Tree-Sketching

Decoding Tree Sketching (DTS): a training-free & model agonistic & plug-in framework for LLM...

LLM360/Reasoning360

A repo for open research on building large reasoning models