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 15 / 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)

LLM360/Reasoning360

A repo for open research on building large reasoning models

TsinghuaC3I/Awesome-RL-for-LRMs

A Survey of Reinforcement Learning for Large Reasoning Models

bowang-lab/BioReason

BioReason: Incentivizing Multimodal Biological Reasoning within a DNA-LLM Model | NeurIPS '25