Verification of Google DeepMind's AlphaEvolve 48-multiplication matrix algorithm, a breakthrough in matrix multiplication after 56 years.
☆134Jun 14, 2025Updated 9 months ago
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:
- RWKV-7 mini☆12Mar 29, 2025Updated last year
- ☆269Jan 5, 2026Updated 2 months ago
- Create 3D files in the CLI with Small Language Model☆44Oct 15, 2025Updated 5 months ago
- OpenAlpha_Evolve is an open-source Python framework inspired by the groundbreaking research on autonomous coding agents like DeepMind's A…☆989May 31, 2025Updated 9 months ago
- EvaByte: Efficient Byte-level Language Models at Scale☆117Apr 22, 2025Updated 11 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Make Qwen3 Think like Gemini 2.5 Pro | Open webui function☆25May 10, 2025Updated 10 months ago
- A ComfyUI plugin that provides a user interface of StableStudio☆22Aug 15, 2025Updated 7 months ago
- Auto Thinking Mode switch for Qwen3 in Open webui☆71May 8, 2025Updated 10 months ago
- Repo for "AlphaResearch: Accelerating New Algorithm Discovery with Language Models"☆54Nov 12, 2025Updated 4 months ago
- ☆51Sep 26, 2025Updated 6 months ago
- Memes in the Garry's Mod chat.☆11Mar 22, 2026Updated last week
- A Windows tool to query various LLM AIs. Supports branched conversations, history and summaries among others.☆34Feb 11, 2026Updated last month
- Proteus is an experimental platform that combines the power of Large Language Models with the Genesis physics engine☆26Dec 20, 2024Updated last year
- (outdated) Endpoint Void uses to check for updates.☆12Dec 12, 2025Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An eternal dialogue between AI models across versions. Started by Claude Opus 4 with 50 minutes to create a legacy.☆13Jun 2, 2025Updated 9 months ago
- ☆12Mar 18, 2024Updated 2 years ago
- ☆11Mar 8, 2026Updated 3 weeks ago
- Lennard Jones in Lean☆21Jul 14, 2025Updated 8 months ago
- LED : Light Enhanced Depth Estimation at Night☆14Updated this week
- AutonomousSphere is an agentic collaboration server. Agents talk, act, and use tools like teammates. Federated servers form an internet o…☆16May 13, 2025Updated 10 months ago
- 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 2 years ago
- llmbasedos — Local-First OS Where Your AI Agents Wake Up and Work☆283Jan 6, 2026Updated 2 months ago
- ☆12May 28, 2025Updated 10 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Library for reading the Macintosh File System☆11May 7, 2016Updated 9 years ago
- Modified Beam Search with periodical restart☆12Sep 12, 2024Updated last year
- Source code for the paper "On nonlinear geometric transformations of finite elements" implementing various geometrically exact finite ele…☆17Sep 27, 2025Updated 6 months ago
- Automatically remove watermarks from illustrations using AI (Stable Diffusion).☆21Dec 17, 2024Updated last year
- A foundation model to learn multiple physical systems at once☆79Feb 7, 2026Updated last month
- ☆12Jul 24, 2025Updated 8 months ago
- Automatic prompt optimization framework for multi-step agent tasks.☆37Nov 12, 2024Updated last year
- A-PINN: Auxiliary physics informed neural networks for forward and inverse problems of nonlinear integro-differential equations☆23Sep 20, 2022Updated 3 years ago
- Testing DeepSpeed integration in 🤗 Accelerate☆11Jun 28, 2022Updated 3 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Yet another frontend for LLM, written using .NET and WinUI 3☆10Sep 14, 2025Updated 6 months ago
- ☆19Jun 11, 2025Updated 9 months ago
- ☆14Dec 29, 2022Updated 3 years ago
- ichi oneToken Factory☆16Feb 3, 2024Updated 2 years ago
- Experimental Build System for Swift☆17Dec 28, 2024Updated last year
- Code for the paper "OneProt: Towards Multi-Modal Protein Foundation Models"☆21Oct 31, 2025Updated 4 months ago
- Repo for collaboration on OSS agentic code search☆44Updated this week