Code and Data for ACL 2025 Paper "Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework".
☆31Oct 3, 2025Updated last year
Alternatives and similar repositories for Aristotle
Users that are interested in Aristotle are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Codes and Data for ICLR 2026 paper "LogicReward: Incentivizing LLM Reasoning via Step-Wise Logical Supervision"☆27Jul 16, 2026Updated 3 months ago
- Codes and Data for ACL 2024 Paper "Faithful Logical Reasoning via Symbolic Chain-of-Thought".☆208Jan 29, 2026Updated 9 months ago
- Open source code for paper☆14May 27, 2024Updated 2 years ago
- (ACL 2025 Main) Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification - Offici…☆21Dec 26, 2025Updated 10 months ago
- Coda and Data for NeurIPS 2025 paper "MuSLR: Multimodal Symbolic Logical Reasoning"☆17Oct 5, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- placeholder☆12Jan 31, 2025Updated last year
- Official code for "Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning", ICL…☆34May 12, 2025Updated last year
- Code for the NAACL 2024 HCI+NLP Workshop paper "LLMCheckup: Conversational Examination of Large Language Models via Interpretability Tool…☆12Mar 24, 2024Updated 2 years ago
- Flow-driven recursive skill evolution for agentic LLM orchestration.☆12May 25, 2026Updated 5 months ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆64Jan 26, 2024Updated 2 years ago
- A library for activation patching based on nnsight.☆12May 27, 2025Updated last year
- This repository includes code and materials for the paper "Efficient PRM Training Data Synthesis via Formal Verification" (ACL 2026 Findi…☆20Apr 7, 2026Updated 6 months ago
- [COLM 2026] An efficient 3D sampling method for long-CoT LLM.☆16May 25, 2025Updated last year
- ☆10Dec 28, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- [2025 NeurlPS Spotlight] MetaMind: Modeling Human Social Thoughts with Metacognitive Multi-Agent Systems☆89Aug 19, 2025Updated last year
- LogicBench is a natural language question-answering dataset consisting of 25 different reasoning patterns spanning over propositional, fi…☆40May 2, 2024Updated 2 years ago
- Exchange-of-Thought: Enhancing Large Language Model Capabilities through Cross-Model Communication☆21Mar 21, 2024Updated 2 years ago
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 10 years ago
- ☆14Nov 15, 2022Updated 3 years ago
- (WWW'25 + Netflix) The first CRS that retrieves collaborative filtering knowledge with two-step context-aware reflection.☆21Sep 10, 2025Updated last year
- Invoke SMT solvers from Coq to check obligations☆10Jun 16, 2020Updated 6 years ago
- ☆17Aug 7, 2024Updated 2 years ago
- ☆10Jul 18, 2026Updated 3 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- This repo contains my customised style python based plots for NLP papers, and includes my reproduction for my favourite papers' plots☆39Mar 4, 2024Updated 2 years ago
- This is the official implementation for MA-LoT.☆21Aug 4, 2025Updated last year
- ACL24☆11Jun 7, 2024Updated 2 years ago
- Template project for program verification in the Rocq Prover, showcasing reasoning on CompCert's Clight language using the Verified Softw…☆38Mar 3, 2026Updated 8 months ago
- [COLM25] Enhancing Autoformalization with no Labeled Data☆14Aug 26, 2025Updated last year
- ☆16Jul 1, 2026Updated 4 months ago
- [AAAI 2025] "Eliciting Causal Abilities in Large Language Models for Reasoning Tasks"☆13Dec 23, 2024Updated last year
- ☆54Jul 12, 2026Updated 3 months ago
- ☆34Oct 13, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"☆414Jun 13, 2024Updated 2 years ago
- Self-hostable, open-source personal finance app (AGPLv3)☆21Oct 14, 2026Updated 3 weeks ago
- Implementation for the paper "Fictitious Synthetic Data Can Improve LLM Factuality via Prerequisite Learning"☆11Jan 10, 2025Updated last year
- ☆37Feb 8, 2026Updated 8 months ago
- a Carpentries-style lesson introducing the basics of data visualization☆11Updated this week
- self-adaptive in-context learning☆43May 5, 2023Updated 3 years ago
- Lean coding problem solving challenge website with proof verification☆13Jul 8, 2025Updated last year