Lean formalization work extending the matrix multiplication 9/4 argument to arbitrary fields
☆29Oct 9, 2026Updated 3 weeks ago
Alternatives and similar repositories for matrix-multiplication-all-fields
Users that are interested in matrix-multiplication-all-fields 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 Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.☆17Oct 5, 2026Updated last month
- Local Lean formalization permanently registered in Palomar (PALOMAR-2026-08-29-000004). Two-certificate trace-energy deduction for the 67…☆15Oct 12, 2026Updated 3 weeks ago
- A control plane that grants AI agents **progressively more autonomy as they earn it**☆17Jul 27, 2026Updated 3 months ago
- ☆41Aug 19, 2026Updated 2 months ago
- Generate publication-ready, editable draw.io figures for research papers from a methods section, using LLM agents.☆122Oct 15, 2026Updated 3 weeks 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.
- A proof of Conway's refinement conjecture in Lean☆56Sep 3, 2026Updated 2 months ago
- Реализация sklearn-based Transformer-а для Weight of Evidence преобразования☆10May 6, 2020Updated 6 years ago
- A WIP level editor for Kirby: Star Allies☆11Dec 8, 2022Updated 3 years ago
- 3DS Userland Exploit for VVVVVV v1.0☆15May 1, 2016Updated 10 years ago
- Lean formalization of bounded gaps between primes☆48Aug 18, 2026Updated 2 months ago
- ☆13Jul 24, 2025Updated last year
- Official implementation of MergeRec: Model Merging for Data-Isolated Cross-Domain Sequential Recommendation (KDD 2026)☆10Jan 31, 2026Updated 9 months ago
- ☆14Nov 5, 2024Updated 2 years ago
- 👑 Rat King: an encrypted, AT Protocol agent network. Pure rat-stack: Effect + Alchemy, deploys to Cloudflare and celld.☆44Updated this week
- 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.
- Generate a llama-quantize command to copy the quantization parameters of any GGUF☆36Apr 20, 2026Updated 6 months ago
- Relay support for Zed☆10Apr 4, 2026Updated 7 months ago
- Zvec Official MCP Server☆13Apr 15, 2026Updated 6 months ago
- https://dfrib.github.io/a-foliage-of-folly/☆20Dec 10, 2020Updated 5 years ago
- "Explaining Attention with Program Synthesis" | Work to reproduce analyzing and replacing attention heads from MIT LINGO '25 Summer Resea…☆23Updated this week
- [IJCAI'25] Official PyTorch Implementation of "Learning Advanced Self-Attention for Linear Transformers in the Singular Value Domain" (AG…☆13Dec 1, 2025Updated 11 months ago
- Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"☆12Sep 11, 2026Updated last month
- TEVO: evolve LM motifs cheaply, then validate them in downstream train.py loops.☆20Apr 18, 2026Updated 6 months ago
- The repository provides code for the paper RECE: Reduced Cross-Entropy Loss for Large-Catalogue Sequential Recommenders, CIKM'24☆11Oct 21, 2024Updated 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.
- Ecdysis: Efficient and Effective Training of Runtime Harnesses for LLM Agents☆14Sep 22, 2026Updated last month
- Validate your CITATION.cff file with GitHub Actions☆14Updated this week
- ⚡ Turborepo remote cache on Cloudflare Workers + R2, declared as an Alchemy cartridge☆25Updated this week
- falafel bindings for cssauron☆14Dec 18, 2013Updated 12 years ago
- Many proofs of the Pythagoras theorem - Lean 4☆11Dec 1, 2023Updated 2 years ago
- Autoencoders + SasRec's solution☆12Jun 7, 2025Updated last year
- ☆11Jan 11, 2024Updated 2 years ago
- Dictation app based on the OpenAI speech-to-text models☆12Jun 4, 2025Updated last year
- ☆11May 27, 2021Updated 5 years ago
- 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.
- Agent-agnostic automated development loop: Plan -> Build -> Test -> Review -> Verify -> Ship -> Learn -> Improve☆16Updated this week
- Optimal distance lower bound k-mer sampling.☆12Jun 19, 2024Updated 2 years ago
- Rolling repository of myoelectric and neuroscience tools for the discerning physiologist☆10Aug 17, 2016Updated 10 years ago
- Langevin Flow Maps.☆22Oct 6, 2026Updated last month
- Code, datasets, and results for "The Embedder's Dilemma: LLMs Are Better, but at What Cost?" (COLM 2026). MTEB(LLM) benchmarks 10 LLMs an…☆41Sep 19, 2026Updated last month
- Project to formally verify SPQR using Lean☆11Updated this week
- "NodePFN: Learning Posterior Predictive Distributions for Node Classification from Synthetic Graph Priors", ICLR 2026☆20Apr 2, 2026Updated 7 months ago