AlphaGeometry2 symbolic engine (DDAR) with examples
☆83Jan 7, 2026Updated 5 months ago
Alternatives and similar repositories for alphageometry2
Users that are interested in alphageometry2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A pipeline for the automatic construction of geometry problems along with step-by-step solutions.☆17Aug 27, 2025Updated 10 months ago
- [CVPR 2026 Fingdings] This repo is the official implementation of "Euclid’s Gift: Enhancing Spatial Perception and Reasoning in Vision‑La…☆28Mar 15, 2026Updated 3 months ago
- An experimental implementation of sum-product networks with dense unitary transformations in leaves☆13Sep 8, 2022Updated 3 years ago
- A coverage library for Chisel designs☆11Mar 12, 2020Updated 6 years ago
- probabilistic programming in Haskell☆17Aug 26, 2016Updated 9 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Fast and memory-efficient exact attention☆20Jul 22, 2024Updated last year
- A differentiable parametrization of a group of unitary matrices.☆14May 13, 2021Updated 5 years ago
- [ICML 2024] Probabilistic Conceptual Explainers (PACE): Trustworthy Conceptual Explanations for Vision Foundation Models☆19Sep 25, 2025Updated 9 months ago
- ☆15Mar 29, 2026Updated 3 months ago
- OpenROAD Agent. This repository contain the model to train and testing the model using EDA Corpus dataset.☆29Jul 24, 2025Updated 11 months ago
- Julia package for fast fourier transforms and periodic views☆21Aug 18, 2024Updated last year
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14May 7, 2022Updated 4 years ago
- Medium Access Control layer of 802.15.4☆14Nov 14, 2014Updated 11 years ago
- RTLMeter benchmark suite☆31Jun 24, 2026Updated last week
- 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.
- Sia GPU miner☆10Jul 20, 2016Updated 9 years ago
- Infinite MERAs in Julia☆39Aug 21, 2021Updated 4 years ago
- The implement of geometric solver PGPSNet☆30Jan 30, 2025Updated last year
- Fourier transforms written in Julia☆21Jun 4, 2022Updated 4 years ago
- A tutorial for setting up Symbolic Quick Error Detection (SQED) using the model checker, CoSA, on the Ride Core☆11May 24, 2019Updated 7 years ago
- Lean 定理证明初探☆43Mar 1, 2026Updated 4 months ago
- The official repository for SkyLadder: Better and Faster Pretraining via Context Window Scheduling☆43Dec 29, 2025Updated 6 months ago
- DejaGnu RISC-V port☆14May 23, 2022Updated 4 years ago
- Post-Silicon Validation Tool based on REVERSI☆11Dec 10, 2025Updated 6 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- RISC-V port to Parallella Board☆13Aug 22, 2016Updated 9 years ago
- ☆15Sep 14, 2020Updated 5 years ago
- "Talking PD" article code repository☆14Jun 23, 2023Updated 3 years ago
- Tool to fetch and parse data about Efabless MPW projects☆15Jan 10, 2023Updated 3 years ago
- Code for "Language Models Can Learn from Verbal Feedback Without Scalar Rewards"☆65Jan 5, 2026Updated 6 months ago
- ☆15Feb 6, 2021Updated 5 years ago
- 🥞☆28Nov 26, 2024Updated last year
- Resize window by various hotkeys.☆11Nov 16, 2023Updated 2 years ago
- Display PyData files (.npz .npy .pkl .pth) in VSCode.☆36Mar 18, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Wrapper for ETH Ariane Core☆21Sep 2, 2025Updated 10 months ago
- ☆14Jul 14, 2015Updated 10 years ago
- GeST (Generating Stress-Tests) is a Genetic Algorithm framework for automatic hardware stress-test generation. Related scientific publica…☆16May 7, 2019Updated 7 years ago
- ☆15Apr 3, 2020Updated 6 years ago
- OpenCL SAT solver☆16Jul 15, 2011Updated 14 years ago
- COATCheck☆13Nov 4, 2018Updated 7 years ago
- Development area for another repo: Learn_Bluespec_and_RISCV_Design☆13Nov 10, 2025Updated 7 months ago