Hyun-Ryu/clover
Official code for "Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning", ICLR 2025.
This project helps evaluate and improve how large language models (LLMs) interpret and reason about complex logical statements written in natural language. It takes natural language text containing logical puzzles or problems, translates them into precise first-order logic formulas, and then verifies their accuracy. The primary user would be researchers or practitioners working on developing and testing advanced AI systems that require robust logical reasoning capabilities.
No commits in the last 6 months.
Use this if you are developing or evaluating LLMs and need to rigorously test their ability to translate complex natural language logic into formal logical expressions and verify the consistency of their reasoning.
Not ideal if you are looking for a general-purpose natural language processing tool or an LLM application for everyday tasks that do not involve formal logical reasoning.
Stars
27
Forks
3
Language
Python
License
—
Category
Last pushed
May 12, 2025
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/transformers/Hyun-Ryu/clover"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
cvs-health/uqlm
UQLM: Uncertainty Quantification for Language Models, is a Python package for UQ-based LLM...
PRIME-RL/TTRL
[NeurIPS 2025] TTRL: Test-Time Reinforcement Learning
sapientinc/HRM
Hierarchical Reasoning Model Official Release
tigerchen52/query_level_uncertainty
query-level uncertainty in LLMs
reasoning-survey/Awesome-Reasoning-Foundation-Models
✨✨Latest Papers and Benchmarks in Reasoning with Foundation Models