Verification of Google DeepMind's AlphaEvolve 48-multiplication matrix algorithm, a breakthrough in matrix multiplication after 56 years.
☆137Jun 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:
- A Bitshares UI built using Astro, React and Electron!☆13Jun 4, 2026Updated last week
- ☆27Aug 16, 2025Updated 9 months ago
- VSCode Extension - Proof Assistant for Metamath☆14Jan 10, 2026Updated 5 months ago
- OpenAlpha_Evolve is an open-source Python framework inspired by the groundbreaking research on autonomous coding agents like DeepMind's A…☆1,023May 31, 2025Updated last year
- EvaByte: Efficient Byte-level Language Models at Scale☆119Apr 22, 2025Updated last year
- 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.
- Make Qwen3 Think like Gemini 2.5 Pro | Open webui function☆25May 10, 2025Updated last year
- A ComfyUI plugin that provides a user interface of StableStudio☆23Aug 15, 2025Updated 10 months ago
- Repo for "AlphaResearch: Accelerating New Algorithm Discovery with Language Models"☆56Nov 12, 2025Updated 7 months ago
- Marathon: A Multiple-choice Long Context Evaluation Benchmark for Large Language Models.☆10May 16, 2024Updated 2 years ago
- The official implementation of dual-view molecule pre-training.☆43Nov 22, 2021Updated 4 years ago
- Proteus is an experimental platform that combines the power of Large Language Models with the Genesis physics engine☆25Dec 20, 2024Updated last year
- EquiformerV3: Scaling Efficient, Expressive, and General SE(3)-Equivariant Graph Attention Transformers☆102Apr 17, 2026Updated last month
- A complete Undertale Mod Tool for Android☆19Apr 29, 2026Updated last month
- A curated list of PhD, RA, and Intern openings in Computer Science (CS), Electrical & Computer Engineering (ECE), and Artificial Intellig…☆22Sep 1, 2025Updated 9 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.
- An eternal dialogue between AI models across versions. Started by Claude Opus 4 with 50 minutes to create a legacy.☆13Jun 2, 2025Updated last year
- Use Rust in React Native through WebAssembly☆11Jan 7, 2023Updated 3 years ago
- Group-relative Trajectory-based Policy Optimization: Increasing Quality and Training Stability☆40Feb 23, 2026Updated 3 months ago
- Lennard Jones in Lean☆23Jul 14, 2025Updated 11 months ago
- Official implementation of Panacea: A foundation model for clinical trial design, recruitment, search, and summarization.☆21Dec 24, 2024Updated last year
- AutonomousSphere is an agentic collaboration server. Agents talk, act, and use tools like teammates. Federated servers form an internet o…☆16May 13, 2025Updated last year
- ☆12Sep 2, 2021Updated 4 years ago
- Watch LLMs duke it out on a simulated CPU space.☆18Mar 7, 2025Updated last year
- Simple (fast) transformer inference in PyTorch with torch.compile + lit-llama code☆10Aug 29, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆14Sep 20, 2024Updated last year
- An attendance calculator web extension that integrates with the PESU Academy webpage☆10Sep 29, 2024Updated last year
- ☆18Apr 7, 2025Updated last year
- Automatic prompt optimization framework for multi-step agent tasks.☆37Nov 12, 2024Updated last year
- We study toy models of skill learning.☆33Feb 3, 2026Updated 4 months ago
- Data for the MTEB leaderboard☆58Updated this week
- Chrome extension that provides comprehensive browser fingerprint protection by defending against various tracking techniques used across …☆30Oct 26, 2025Updated 7 months ago
- A Python interface for automating Ghidra tasks.☆11Jun 17, 2024Updated last year
- A macOS .mobileconfig generator for installing fonts on iOS device. 一个 macOS 上的 .mobileconfig 配置生成器，用于给 iOS 设备安装字体。☆12Jun 24, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Code for the paper "OneProt: Towards Multi-Modal Protein Foundation Models"☆23Oct 31, 2025Updated 7 months ago
- This is AI implementation (not official) of the DreamGym framework from the paper "Scaling Agent Learning via Experience Synthesis" (arXi…☆42Nov 9, 2025Updated 7 months ago
- a Bridge between IPFS and ARWEAVE☆14Dec 21, 2019Updated 6 years ago
- An easy way to run code on other machines using IPFS Pubsub as the message queue, AWS's Python3.7 Lambda Docker Container for execution☆10May 26, 2019Updated 7 years ago
- An opinionated MCP module for NestJS☆11Apr 10, 2026Updated 2 months ago
- Gemini API: Rotate keys, break limits.☆26Oct 17, 2025Updated 7 months ago
- Logistic map and bifurcation diagrams in Python and Jupyter☆12Nov 7, 2018Updated 7 years ago