[ICLR 2025] This is the official implementation for the paper: "Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation"
☆45Jun 11, 2025Updated last year
Alternatives and similar repositories for ProverGen
Users that are interested in ProverGen are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🤖ConvRe🤯: An Investigation of LLMs’ Inefficacy in Understanding Converse Relations (EMNLP 2023)☆24Oct 10, 2023Updated 2 years ago
- ☆19Feb 25, 2022Updated 4 years ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆27May 25, 2024Updated 2 years ago
- The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"☆120Mar 28, 2025Updated last year
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- [ICML 2024] Official implementation of FastEGNN: Improving Equivariant Graph Neural Networks on Large Geometric Graphs via Virtual Nodes …☆31Jun 25, 2025Updated 11 months ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated 2 years ago
- NeqLIPS: a powerful Olympiad-level inequality prover☆40Sep 7, 2025Updated 9 months ago
- ☆38Oct 29, 2024Updated last year
- This is the official implementation for MA-LoT.☆19Aug 4, 2025Updated 10 months ago
- LogicBench is a natural language question-answering dataset consisting of 25 different reasoning patterns spanning over propositional, fi…☆39May 2, 2024Updated 2 years ago
- ☆44Sep 19, 2024Updated last year
- The source code for DB-LSH (ICDE 2022)☆15Oct 5, 2022Updated 3 years 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.
- The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"☆399Jun 13, 2024Updated 2 years ago
- code for paper "DRoC: Elevating Large Language Models for Complex Vehicle Routing via Decomposed Retrieval of Constraints"☆26Feb 4, 2025Updated last year
- [ACL 2024] Implementation for Advancing Abductive Reasoning in Knowledge Graphs through Complex Logical Hypothesis Generation☆15Oct 9, 2025Updated 8 months ago
- An example that demonstrates how to write Python libraries in OCaml using pyml and pythonlib.☆16Feb 15, 2023Updated 3 years ago
- ☆23Jan 25, 2023Updated 3 years ago
- ☆20Aug 29, 2024Updated last year
- Greentown Smart Home Command Language Large Model(SmartHomeCLLM), trained from tens of thousands of smart home control commands 智能家居指令大模型…☆18Mar 15, 2024Updated 2 years ago
- [NeurIPS 2023 Spotlight] Temperature Balancing, Layer-wise Weight Analysis, and Neural Network Training☆36Apr 7, 2025Updated last year
- ☆166Jan 21, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆10Nov 6, 2024Updated last year
- 18级武汉大学国家网络安全学院暑期实训备份☆11Jul 18, 2019Updated 6 years ago
- Official code implementation of the paper: QuCo-RAG: Quantifying Uncertainty from the Pre-training Corpus for Dynamic Retrieval-Augmente…☆42Apr 8, 2026Updated 2 months ago
- [ACL 2024] ANAH & [NeurIPS 2024] ANAH-v2 & [ICLR 2025] Mask-DPO☆65Apr 30, 2025Updated last year
- 基于PC-DDSP和nsf-HiFiGAN的声码器☆18Jul 17, 2023Updated 2 years 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☆126May 6, 2025Updated last year
- ☆11Sep 1, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Automatic theorem proving via natural language reasoning with LLMs☆22May 16, 2025Updated last year
- content-neutral dataset of logical reasoning☆20Mar 21, 2025Updated last year
- [ACL 2026] MegaRAG: Multimodal Graph-based RAG☆57Apr 17, 2026Updated last month
- On Policy Distillation Build on top of Verl☆76May 25, 2026Updated 2 weeks ago
- Official Implementation of "Semantics-Consistent Feature Search for Self-Supervised Visual Representation Learning" in AAAI2024.☆13Feb 28, 2024Updated 2 years ago
- Agent Skill Induction: "Inducing Programmatic Skills for Agentic Tasks"☆41Apr 24, 2025Updated last year
- ☆11Nov 8, 2023Updated 2 years ago