[ICLR 2025] This is the official implementation for the paper: "Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation"
☆42Jun 11, 2025Updated 8 months ago
Alternatives and similar repositories for ProverGen
Users that are interested in ProverGen are comparing it to the libraries listed below
Sorting:
- Julia implementation of SMPL family of 3D human models.☆16Sep 9, 2025Updated 5 months ago
- ☆16Oct 27, 2024Updated last year
- ☆18Feb 25, 2022Updated 4 years ago
- The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"☆117Mar 28, 2025Updated 11 months ago
- Code for our EMNLP-2023 paper: "Active Instruction Tuning: Improving Cross-Task Generalization by Training on Prompt Sensitive Tasks"☆25Nov 16, 2023Updated 2 years ago
- 🤖ConvRe🤯: An Investigation of LLMs’ Inefficacy in Understanding Converse Relations (EMNLP 2023)☆24Oct 10, 2023Updated 2 years ago
- Formal representation and solving for Euclidean plane geometry problems.☆32Dec 19, 2025Updated 2 months ago
- MathFusion: Enhancing Mathematical Problem-solving of LLM through Instruction Fusion (ACL 2025)☆35Jul 16, 2025Updated 7 months ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆26May 25, 2024Updated last year
- An open-source session replay tool for single-page applications that uses AI analysis, aggregated trends, and a RAG chatbot to help devel…☆11Jan 23, 2026Updated last month
- ☆36Oct 29, 2024Updated last year
- NeqLIPS: a powerful Olympiad-level inequality prover☆39Sep 7, 2025Updated 5 months ago
- LogicBench is a natural language question-answering dataset consisting of 25 different reasoning patterns spanning over propositional, fi…☆36May 2, 2024Updated last year
- [NeurIPS 2023 Spotlight] Temperature Balancing, Layer-wise Weight Analysis, and Neural Network Training☆36Apr 7, 2025Updated 10 months ago
- Simplifies data migration between Apache Ignite clusters by relying on Apache Avro as an intermediate storage format☆13Jun 27, 2023Updated 2 years ago
- MiniMax-Provider-Verifier offers a rigorous, vendor-agnostic way to verify whether third-party deployments of the Minimax M2 model are co…☆28Feb 18, 2026Updated last week
- 是APEX贡献的一个基于大数据平台能力的数据开发平台，帮助企业以最小成本实现链接数据，构建和沉淀数仓模型，降低数据应用门槛，沉淀数据价值。☆12Oct 31, 2024Updated last year
- The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"☆381Jun 13, 2024Updated last year
- ☆164Jan 21, 2025Updated last year
- ☆10Oct 11, 2022Updated 3 years ago
- Code for "Demonstration-free Autonomous Reinforcement Learning via Implicit and Bidirectional Curriculum" (ICML 2023)☆10Jul 6, 2023Updated 2 years ago
- code for paper "DRoC: Elevating Large Language Models for Complex Vehicle Routing via Decomposed Retrieval of Constraints"☆25Feb 4, 2025Updated last year
- ☆10Sep 4, 2025Updated 5 months ago
- ☆11Nov 8, 2023Updated 2 years ago
- KuaiSearch PERKS☆12Nov 16, 2021Updated 4 years ago
- ☆43Dec 1, 2025Updated 3 months ago
- ProxyExplainer for Graph Neural Networks☆15Oct 24, 2024Updated last year
- Azure Machine Learning - MLOps Python SDKv2☆10Jul 24, 2023Updated 2 years ago
- Collaborative Discourse Manager☆11Nov 6, 2016Updated 9 years ago
- Training and testing code from our CVPR 2023 paper "Are Deep Neural Networks SMARTer than Second Graders?"☆11Aug 10, 2023Updated 2 years ago
- Evaluation Pipeline for medical tasks.☆12Feb 13, 2026Updated 2 weeks ago
- ☆43Sep 19, 2024Updated last year
- [ICML-2025] We introduce Lie group Relative position Encodings (LieRE) that goes beyond RoPE in supporting n-dimensional inputs.☆14Aug 8, 2025Updated 6 months ago
- Automaton & Cognition☆16Apr 14, 2024Updated last year
- Fuzzing solmate with medusa☆10Aug 14, 2023Updated 2 years ago
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 9 years ago
- ☆10Nov 6, 2024Updated last year
- Manifold Diffusion Fields☆10May 19, 2024Updated last year
- Official code repository for the paper titled "Efficient Molecular Conformer Generation with SO(3) Averaged Flow-Matching and Reflow" (IC…☆13Jan 8, 2026Updated last month