AlphaGeometry2 symbolic engine (DDAR) with examples
☆74Jan 7, 2026Updated 4 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:
- AIxCC: automated vulnerability repair via LLMs, search, and static analysis☆13Jul 16, 2024Updated last year
- Multivariate Normal Hermite-Birkhoff Interpolating Splines in Julia☆10Apr 20, 2021Updated 5 years ago
- ☆15Mar 12, 2024Updated 2 years ago
- Code for ICSE'24 Paper☆14Apr 21, 2024Updated 2 years ago
- ☆21Apr 16, 2025Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 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 last year
- Bayesian inference on wiring diagrams.☆18Sep 28, 2023Updated 2 years ago
- A coverage library for Chisel designs☆11Mar 12, 2020Updated 6 years ago
- Adaptive P/ODE numerics with Grassmann element TensorField assembly☆15Feb 16, 2026Updated 3 months ago
- RF-DETR Object Detection with DeepSORT Tracking☆24Apr 6, 2025Updated last year
- Vim plugin for Bluespec SystemVerilog (BSV)☆12Nov 8, 2020Updated 5 years ago
- The official implementation of "LightTransfer: Your Long-Context LLM is Secretly a Hybrid Model with Effortless Adaptation"☆22Apr 22, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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☆18Sep 25, 2025Updated 8 months ago
- ☆15Mar 29, 2026Updated last month
- ☆54Mar 20, 2025Updated last year
- 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☆12Nov 14, 2014Updated 11 years ago
- A Julia package to extend the notion of vectors and matrices☆17Jan 6, 2026Updated 4 months ago
- [ArXiv 2025] Denial-of-Service Poisoning Attacks on Large Language Models☆23Oct 22, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Sia GPU miner☆10Jul 20, 2016Updated 9 years ago
- A metaprogramming-based implementation of the junction tree algorithm.☆22Sep 16, 2023Updated 2 years ago
- Fourier transforms written in Julia☆21Jun 4, 2022Updated 3 years ago
- msfinance offers Pythonic way to download market data from morningstar.com☆16Feb 15, 2025Updated last year
- 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
- ☆34Apr 22, 2025Updated last year
- Post-Silicon Validation Tool based on REVERSI☆11Dec 10, 2025Updated 5 months ago
- RISC-V port to Parallella Board☆13Aug 22, 2016Updated 9 years ago
- ☆15Sep 14, 2020Updated 5 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.
- Tool to fetch and parse data about Efabless MPW projects☆15Jan 10, 2023Updated 3 years ago
- The x86_energy library allows to count power and energy values.☆12Dec 6, 2024Updated last year
- Code for "Language Models Can Learn from Verbal Feedback Without Scalar Rewards"☆64Jan 5, 2026Updated 4 months ago
- ☆15Feb 6, 2021Updated 5 years ago
- 🥞☆28Nov 26, 2024Updated last year
- [TMLR 2025] On Memorization in Diffusion Models☆31Oct 5, 2023Updated 2 years ago
- GeST (Generating Stress-Tests) is a Genetic Algorithm framework for automatic hardware stress-test generation. Related scientific publica…☆15May 7, 2019Updated 7 years ago