[ICLR 2025] This is the official implementation for the paper: "Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation"
☆44Jun 11, 2025Updated 9 months ago
Alternatives and similar repositories for ProverGen
Users that are interested in ProverGen are comparing it to the libraries listed below
Sorting:
- 🤖ConvRe🤯: An Investigation of LLMs’ Inefficacy in Understanding Converse Relations (EMNLP 2023)☆24Oct 10, 2023Updated 2 years ago
- Explanation-centered inference for question answering☆16Feb 7, 2018Updated 8 years ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆27May 25, 2024Updated last year
- Julia implementation of SMPL family of 3D human models.☆16Sep 9, 2025Updated 6 months ago
- Formal representation and solving for Euclidean plane geometry problems.☆32Dec 19, 2025Updated 3 months ago
- ☆36Jan 10, 2025Updated last year
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 9 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- MathFusion: Enhancing Mathematical Problem-solving of LLM through Instruction Fusion (ACL 2025)☆35Jul 16, 2025Updated 8 months ago
- NeqLIPS: a powerful Olympiad-level inequality prover☆40Sep 7, 2025Updated 6 months ago
- ☆37Oct 29, 2024Updated last year
- This is the official implementation for MA-LoT.☆19Aug 4, 2025Updated 7 months ago
- ☆11Jun 28, 2024Updated last year
- Build tables of information by extracting facts from indexed text corpora via a simple and effective query language.☆56May 6, 2019Updated 6 years ago
- The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"☆389Jun 13, 2024Updated last year
- code for paper "DRoC: Elevating Large Language Models for Complex Vehicle Routing via Decomposed Retrieval of Constraints"☆26Feb 4, 2025Updated last year
- MegaRAG: Multimodal Graph-based RAG☆49Sep 16, 2025Updated 6 months ago
- ☆23Jan 25, 2023Updated 3 years ago
- LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.☆49Mar 10, 2026Updated last week
- ☆20Aug 29, 2024Updated last year
- [CVPR 2025] OmniMMI: A Comprehensive Multi-modal Interaction Benchmark in Streaming Video Contexts☆17Apr 2, 2025Updated 11 months ago
- The official code of "PixelWorld: Towards Perceiving Everything as Pixels" [TMLR25]☆16Sep 12, 2025Updated 6 months ago
- [ACL 2024] ANAH & [NeurIPS 2024] ANAH-v2 & [ICLR 2025] Mask-DPO☆63Apr 30, 2025Updated 10 months ago
- ☆21Jul 20, 2022Updated 3 years ago
- ☆10Nov 6, 2024Updated last year
- ☆165Jan 21, 2025Updated last year
- 基于PC-DDSP和nsf-HiFiGAN的声码器☆18Jul 17, 2023Updated 2 years ago
- Official code implementation of the paper: QuCo-RAG: Quantifying Uncertainty from the Pre-training Corpus for Dynamic Retrieval-Augmente…☆38Jan 10, 2026Updated 2 months ago
- ☆10Oct 11, 2022Updated 3 years ago
- Towards Better Graph Representation Learning with Parameterized Decomposition & Filtering☆13Aug 22, 2023Updated 2 years ago
- [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning☆123May 6, 2025Updated 10 months ago
- ☆11Sep 1, 2024Updated last year
- Automatic theorem proving via natural language reasoning with LLMs☆22May 16, 2025Updated 10 months ago
- ComfyUI custom node to extend Wan videos in loops with overlap consistency, per loop prompts, and optional LoRA control.☆25Nov 29, 2025Updated 3 months ago
- content-neutral dataset of logical reasoning☆20Mar 21, 2025Updated last year
- Official Implementation of "Semantics-Consistent Feature Search for Self-Supervised Visual Representation Learning" in AAAI2024.☆13Feb 28, 2024Updated 2 years ago
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆15Jul 2, 2024Updated last year
- Agent Skill Induction: "Inducing Programmatic Skills for Agentic Tasks"☆39Apr 24, 2025Updated 10 months ago
- [ICML 2024] Code for the paper "MoE-RBench: Towards Building Reliable Language Models with Sparse Mixture-of-Experts"☆10Jul 1, 2024Updated last year