This repository hosts the SAIR Mathematics Distillation Challenge: Equational Theories Stage 2, providing Lean 4 problem sets, judging tools, and submission harnesses for generating machine-checkable proof certificates.
☆27Aug 27, 2026Updated 2 months ago
Alternatives and similar repositories for equational-theories-lean-stage2
Users that are interested in equational-theories-lean-stage2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆34Aug 10, 2026Updated 2 months ago
- ☆21Mar 11, 2026Updated 7 months ago
- ☆13Sep 12, 2026Updated last month
- Project to verify the Guy-Selfridge conjectures☆31Jun 24, 2026Updated 4 months ago
- Busy beaver machines with axiom-free Coq proofs: BB(7) σ > 3↑²⁰3, BB(8) > f_ω³(12), BB(9) > f_ω⁷(12), BB(10) f_(ω+1), BB(12) f_(ω+1)², BB…☆12Updated this week
- 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.
- Static human-facing explorer for the Palomar database☆15Updated this week
- Official evaluation models and configuration for Stage 1 of the SAIR Mathematics Distillation Challenge: Equational Theories.☆20Apr 19, 2026Updated 6 months ago
- On the Quartic Invariant of Odd Degree Binary Forms — paper, Lean formalization, and computational verification☆17Apr 16, 2026Updated 6 months ago
- ☆25Oct 22, 2026Updated last week
- ☆13Sep 10, 2026Updated last month
- ☆19Jul 13, 2026Updated 3 months ago
- Example: A Rust-based Raspberry Pi Pico MIDI controller☆12Oct 25, 2024Updated 2 years ago
- ☆24May 3, 2026Updated 5 months ago
- ☆18Apr 6, 2021Updated 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.
- A Quantum Computing Library in LEAN☆26Jul 14, 2026Updated 3 months ago
- ☆13May 9, 2025Updated last year
- ☆17Nov 10, 2025Updated 11 months ago
- This repository showcases a universal web scraping agent powered by Large Language Models (LLMs), simplifying web scraping by abstracting…☆11Jun 3, 2024Updated 2 years ago
- ☆13Aug 27, 2026Updated 2 months ago
- Cryptographic implementation conformance testing harness for ML-KEM and ML-DSA.☆18Jun 10, 2026Updated 4 months ago
- Douban 豆瓣油猴导出工具：支持电影、读书、音乐、游戏收藏导出JSON/Excel、页码范围、封面资源 ZIP 和个人主页汇总导航。☆25Aug 25, 2026Updated 2 months ago
- ☆10Aug 18, 2022Updated 4 years ago
- A parallelized, arbitrary precision semidefinite program solver based on the primal-dual interior-point method.☆19Feb 3, 2024Updated 2 years ago
- AI Agents on 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.
- ☆64Jul 17, 2026Updated 3 months ago
- Blueprint for the PNT+ Project☆351Oct 20, 2026Updated last week
- Indoor Air Quality Dataset with Activities of Daily Living in Low to Middle-income Communities☆22Dec 7, 2025Updated 10 months ago
- OSS Verify: enrollment and build instructions for formally verifying open-source fuzz targets☆86Updated this week
- Real analysis formalized in Lean 4 from nothing — the reals are constructed here. No mathlib, no external dependencies, no typeclasses.☆27Aug 19, 2026Updated 2 months ago
- A Mathematica package for evaluating Euler integrals via tropical geometry☆19Sep 29, 2026Updated last month
- a Jax/Flax inference code of StarCoder☆12Jun 12, 2023Updated 3 years ago
- Supporting material for https://arxiv.org/abs/1907.04769☆12Sep 20, 2021Updated 5 years ago
- 200+ open problems in mathematics investigated by AI agents — proofs, disproofs, counterexamples, exact certificates, and AI-proposed con…☆20Sep 16, 2026Updated last month
- AI Agents on 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.
- Face Mask Detection using OpenCV and caffee to face detection☆12Jun 28, 2020Updated 6 years ago
- MCP server giving AI agents (Claude Code, Copilot, Antigravity) bi-directional sync with Overleaf - free tier included. 24 tools: LaTeX c…☆20Jul 6, 2026Updated 3 months ago
- ☆22Sep 25, 2026Updated last month
- Official implementation for "NADER: Neural Architecture Design via Multi-Agent Collaboration" (CVPR2025)☆15Aug 12, 2025Updated last year
- MYCAM Virtual Camera for Android — standalone rooted-phone app for local media or OBS RTMP streams, Watch mode, Remote controls, Clone mo…☆25Updated this week
- Play with LLaMA & GPT-3!☆10May 29, 2023Updated 3 years ago
- Easy training for Sparse Linear Autoencoders (https://arxiv.org/abs/2309.08600) with data from TransformerLens models.☆12Nov 1, 2023Updated 2 years ago