AlphaGeometry2 symbolic engine (DDAR) with examples
☆67Jan 7, 2026Updated 3 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:
- no more 🐱🐱☆21Dec 15, 2025Updated 4 months ago
- ☆20Apr 16, 2025Updated last year
- STRODE: Stochastic Boundary Ordinary Differential Equation☆13Jul 20, 2021Updated 4 years ago
- Official code for DPM : A Novel Training Method for Physics-Informed Neural Networks in Extrapolation☆10Nov 2, 2021Updated 4 years ago
- The official repository of 'Unnatural Language Are Not Bugs but Features for LLMs'☆24May 20, 2025Updated 11 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Bayesian inference on wiring diagrams.☆18Sep 28, 2023Updated 2 years ago
- An experimental implementation of sum-product networks with dense unitary transformations in leaves☆13Sep 8, 2022Updated 3 years ago
- probabilistic programming in Haskell☆17Aug 26, 2016Updated 9 years ago
- A differentiable parametrization of a group of unitary matrices.☆14May 13, 2021Updated 4 years ago
- [ICML 2024] Probabilistic Conceptual Explainers (PACE): Trustworthy Conceptual Explanations for Vision Foundation Models☆18Sep 25, 2025Updated 7 months ago
- ☆15Mar 29, 2026Updated last month
- ☆54Mar 20, 2025Updated last year
- OpenROAD Agent. This repository contain the model to train and testing the model using EDA Corpus dataset.☆29Jul 24, 2025Updated 9 months ago
- ☆12Dec 22, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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 3 years ago
- [ArXiv 2025] Denial-of-Service Poisoning Attacks on Large Language Models☆23Oct 22, 2024Updated last year
- Sia GPU miner☆10Jul 20, 2016Updated 9 years ago
- Infinite MERAs in Julia☆40Aug 21, 2021Updated 4 years ago
- A metaprogramming-based implementation of the junction tree algorithm.☆22Sep 16, 2023Updated 2 years ago
- The implement of geometric solver PGPSNet☆30Jan 30, 2025Updated last year
- [MM 2022] MM-ALT: A Multimodal Automatic Lyric Transcription System (Oral, Top paper award)☆21Mar 16, 2024Updated 2 years ago
- A tutorial for setting up Symbolic Quick Error Detection (SQED) using the model checker, CoSA, on the Ride Core☆11May 24, 2019Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- The official repository for SkyLadder: Better and Faster Pretraining via Context Window Scheduling☆42Dec 29, 2025Updated 4 months ago
- ☆33Apr 22, 2025Updated last year
- DejaGnu RISC-V port☆14May 23, 2022Updated 3 years ago
- Fork of http://compcert.inria.fr/☆22Oct 30, 2014Updated 11 years ago
- Post-Silicon Validation Tool based on REVERSI☆10Dec 10, 2025Updated 4 months ago
- RISC-V port to Parallella Board☆13Aug 22, 2016Updated 9 years ago
- ☆15Sep 14, 2020Updated 5 years ago
- The x86_energy library allows to count power and energy values.☆12Dec 6, 2024Updated last year
- ☆13Feb 6, 2021Updated 5 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.
- 🥞☆28Nov 26, 2024Updated last year
- [TMLR 2025] On Memorization in Diffusion Models☆31Oct 5, 2023Updated 2 years ago
- An implementation of a SAT solver using the CUDA library☆15Dec 23, 2017Updated 8 years ago
- Wrapper for ETH Ariane Core☆22Sep 2, 2025Updated 8 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…☆13May 7, 2019Updated 6 years ago
- ☆15Apr 3, 2020Updated 6 years ago