Verification of Google DeepMind's AlphaEvolve 48-multiplication matrix algorithm, a breakthrough in matrix multiplication after 56 years.
☆139Jun 14, 2025Updated last year
Alternatives and similar repositories for AlphaEvolve-MatrixMul-Verification
Users that are interested in AlphaEvolve-MatrixMul-Verification are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆301Jan 5, 2026Updated 7 months ago
- Resources for my AI4Math Seminar!☆17Dec 6, 2025Updated 8 months ago
- VSCode Extension - Proof Assistant for Metamath☆14Jan 10, 2026Updated 7 months ago
- OpenAlpha_Evolve is an open-source Python framework inspired by the groundbreaking research on autonomous coding agents like DeepMind's A…☆1,050May 31, 2025Updated last year
- EvaByte: Efficient Byte-level Language Models at Scale☆119Apr 22, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Towards Robust Fact-Checking: A Multi-Agent System with Advanced Evidence Retrieval☆15Jun 24, 2025Updated last year
- Evolution process to find the best quant tensor weights to build the most optimal GGUF options for an AI model.☆43Aug 22, 2026Updated last week
- ☆30Nov 9, 2025Updated 9 months ago
- A Windows tool to query various LLM AIs. Supports branched conversations, history and summaries among others.☆36May 11, 2026Updated 3 months ago
- PyTorch implementation of Area Attention.☆10Nov 30, 2020Updated 5 years ago
- Marathon: A Multiple-choice Long Context Evaluation Benchmark for Large Language Models.☆10May 16, 2024Updated 2 years ago
- ☆19Nov 17, 2025Updated 9 months ago
- Code repository for "RL Grokking Recipe: How RL Unlocks and Transfers New Algorithms in LLMs""☆35Oct 12, 2025Updated 10 months ago
- Source code for the paper "On nonlinear geometric transformations of finite elements" implementing various geometrically exact finite ele…☆17Sep 27, 2025Updated 11 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.
- Benchmarking Dark Patterns in LLMs (ICLR 2025)☆18Mar 29, 2025Updated last year
- Proteus is an experimental platform that combines the power of Large Language Models with the Genesis physics engine☆25Dec 20, 2024Updated last year
- implementations of some research papers 😴😴☆24Jul 28, 2025Updated last year
- Evaluations for Nanonets-OCR-1.5☆19Oct 16, 2025Updated 10 months ago
- A software emulator for the Yamaha FB-01 FM Sound Generator☆14Jan 25, 2018Updated 8 years ago
- On the Quartic Invariant of Odd Degree Binary Forms — paper, Lean formalization, and computational verification☆16Apr 16, 2026Updated 4 months ago
- Benchmark environment for evaluating vision-language models (VLMs) on popular video games!☆372May 30, 2025Updated last year
- 课程笔记，David Silver，CS294 ...☆15Jan 7, 2019Updated 7 years ago
- ☆12Mar 8, 2026Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Inference code for "StylePeople: A Generative Model of Fullbody Human Avatars" paper. This code is for the part of the paper describing v…☆13Aug 18, 2023Updated 3 years ago
- This repository maintains the code for my master thesis "learn semantic 3d reconstruction on octree"☆13May 8, 2019Updated 7 years ago
- Simple (fast) transformer inference in PyTorch with torch.compile + lit-llama code☆11Aug 29, 2023Updated 3 years ago
- Structural Causal Bandit☆27Jun 27, 2026Updated 2 months ago
- Automatically remove watermarks from illustrations using AI (Stable Diffusion).☆21Dec 17, 2024Updated last year
- Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs☆27Nov 1, 2025Updated 9 months ago
- General neural tactic for Lean 4☆43Aug 6, 2026Updated 3 weeks ago
- ☆16Dec 10, 2025Updated 8 months ago
- Exceptions to the ABC conjecture in Lean☆19Jan 26, 2026Updated 7 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An attendance calculator web extension that integrates with the PESU Academy webpage☆10Sep 29, 2024Updated last year
- ☆32Apr 22, 2024Updated 2 years ago
- ☆18Mar 25, 2026Updated 5 months ago
- ☆13Mar 5, 2025Updated last year
- ☆14Sep 20, 2024Updated last year
- ☆13Mar 17, 2023Updated 3 years ago
- Group-relative Trajectory-based Policy Optimization: Increasing Quality and Training Stability☆42Feb 23, 2026Updated 6 months ago