AlphaGeometry2 symbolic engine (DDAR) with examples
☆61Jan 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:
- Multivariate Normal Hermite-Birkhoff Interpolating Splines in Julia☆10Apr 20, 2021Updated 4 years ago
- ☆15Mar 12, 2024Updated 2 years ago
- ☆20Apr 16, 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
- 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.
- Highly experimental fault-proof program for Optimism Bedrock☆20Mar 27, 2023Updated 3 years ago
- Adaptive P/ODE numerics with Grassmann element TensorField assembly☆13Feb 16, 2026Updated last month
- 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 6 months ago
- ☆15Mar 29, 2026Updated 2 weeks ago
- ☆53Mar 20, 2025Updated last year
- The Dataset and Official Implementation for <Discursive Socratic Questioning: Evaluating the Faithfulness of Language Models’ Understandi…☆18Aug 7, 2024Updated 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 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Medium Access Control layer of 802.15.4☆12Nov 14, 2014Updated 11 years ago
- [ArXiv 2025] Denial-of-Service Poisoning Attacks on Large Language Models☆23Oct 22, 2024Updated last year
- RTLMeter benchmark suite☆31Mar 31, 2026Updated 2 weeks ago
- A Python library used to transfer files with QR codes. Input a file, get QR code images. Print, email, or otherwise share your codes. Re-…☆10Sep 15, 2019Updated 6 years ago
- Infinite MERAs in Julia☆40Aug 21, 2021Updated 4 years ago
- Code for "Language Models Can Learn from Verbal Feedback Without Scalar Rewards"☆60Jan 5, 2026Updated 3 months ago
- Fourier transforms written in Julia☆21Jun 4, 2022Updated 3 years ago
- [MM 2022] MM-ALT: A Multimodal Automatic Lyric Transcription System (Oral, Top paper award)☆21Mar 16, 2024Updated 2 years ago
- ☆20Nov 4, 2025Updated 5 months ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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 6 years ago
- A JavaScript toolkit for remote net art performance.☆12May 1, 2016Updated 9 years ago
- ☆16Nov 4, 2025Updated 5 months ago
- ☆33Apr 22, 2025Updated 11 months ago
- The official github repo for "Training Optimal Large Diffusion Language Models", the first-ever large-scale diffusion language models sca…☆46Nov 6, 2025Updated 5 months ago
- RISC-V port to Parallella Board☆13Aug 22, 2016Updated 9 years ago
- "Talking PD" article code repository☆14Jun 23, 2023Updated 2 years ago
- ☆14Sep 14, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The x86_energy library allows to count power and energy values.☆12Dec 6, 2024Updated last year
- Tool to fetch and parse data about Efabless MPW projects☆15Jan 10, 2023Updated 3 years ago
- Gadgets for covenants: Schnorr trick and txid reflection☆16May 4, 2025Updated 11 months ago
- ☆13Feb 6, 2021Updated 5 years ago
- 🥞☆28Nov 26, 2024Updated last year
- Wrapper for ETH Ariane Core☆22Sep 2, 2025Updated 7 months ago
- ☆15Apr 3, 2020Updated 6 years ago