AlphaGeometry Re-engineered
☆40Nov 15, 2025Updated 3 months ago
Alternatives and similar repositories for AlphaGeometryRE
Users that are interested in AlphaGeometryRE are comparing it to the libraries listed below
Sorting:
- Making Google Deepmind's AlphaGeometry accessible to the Masses☆62Jan 9, 2025Updated last year
- Yet another frontend for LLM, written using .NET and WinUI 3☆10Sep 14, 2025Updated 5 months ago
- AI Based "Happiness Optimizer"☆12Oct 20, 2024Updated last year
- ☆12Mar 27, 2024Updated last year
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- ☆18Apr 5, 2025Updated 10 months ago
- A sleek, customizable interface for managing LLMs with responsive design and easy agent personalization.☆17Aug 30, 2024Updated last year
- ML Benchmarks in Algebraic Combinatorics☆22Jan 15, 2026Updated last month
- K12高中数学试题数据集☆15Aug 16, 2023Updated 2 years ago
- List of awesome works that use AI for mathematical discoveries.☆31Feb 21, 2026Updated last week
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆42Updated this week
- An inequality benchmark for theorem proving☆21Feb 1, 2026Updated 3 weeks ago
- ☆23Dec 9, 2025Updated 2 months ago
- ☆26Jul 16, 2025Updated 7 months ago
- [ACL 2024 Findings] The official repo for "ConceptMath: A Bilingual Concept-wise Benchmark for Measuring Mathematical Reasoning of Large …☆24May 29, 2024Updated last year
- ☆24Jan 22, 2025Updated last year
- ☆28Jun 4, 2025Updated 8 months ago
- ☆29May 8, 2024Updated last year
- Pytorch implementation of "Oscillation-Reduced MXFP4 Training for Vision Transformers" on DeiT Model Pre-training☆36Jun 20, 2025Updated 8 months ago
- ImProver: Agent-Based Automated Proof Optimization☆40Jan 18, 2026Updated last month
- Financial Analysis and Algorithmic Trading Strategies in Python☆11Feb 16, 2023Updated 3 years ago
- NeqLIPS: a powerful Olympiad-level inequality prover☆39Sep 7, 2025Updated 5 months ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Oct 30, 2020Updated 5 years ago
- ☆30Dec 27, 2024Updated last year
- HyperTree Proof Search for Neural Theorem Proving -- "La science est l'œuvre de l'esprit humain, qui est plutôt destiné à étudier qu'à co…☆40Aug 1, 2024Updated last year
- Implementation of the model from "Faster sorting algorithms discovered using deep reinforcement learning" that discovered an all-new ult…☆11Aug 29, 2023Updated 2 years ago
- RL algorithm for stock trading with multiple reward functions☆11Apr 21, 2024Updated last year
- B-STAR: Monitoring and Balancing Exploration and Exploitation in Self-Taught Reasoners☆86May 21, 2025Updated 9 months ago
- The official repository for the paper Multilingual Mathematical Autoformalization☆38May 20, 2024Updated last year
- [ICLR 2025] Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklist☆35Oct 23, 2024Updated last year
- the datasets of our paper☆11Feb 26, 2024Updated 2 years ago
- RWKV is a RNN with transformer-level LLM performance. It can be directly trained like a GPT (parallelizable). So it's combining the best …☆10Nov 3, 2023Updated 2 years ago
- FinanceGPT-B☆10Mar 26, 2024Updated last year
- This project is focus on stock prediction,our goal is implementing one trading framework using DRL with LSTM.☆11Jun 1, 2018Updated 7 years ago
- [ACL 2024] LangBridge: Multilingual Reasoning Without Multilingual Supervision☆96Oct 30, 2024Updated last year
- Open Source Tsetlin Machine framework☆17Oct 15, 2018Updated 7 years ago
- ☆26Updated this week
- ☆10Jul 21, 2019Updated 6 years ago
- Who needs o1 anyways. Add CoT to any OpenAI compatible endpoint.☆44Sep 17, 2024Updated last year