Official evaluation models and configuration for Stage 1 of the SAIR Mathematics Distillation Challenge: Equational Theories.
☆20Apr 19, 2026Updated 5 months ago
Alternatives and similar repositories for equational-theories-stage1-judge
Users that are interested in equational-theories-stage1-judge 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 formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆26May 28, 2026Updated 4 months ago
- This repository hosts the SAIR Mathematics Distillation Challenge: Equational Theories Stage 2, providing Lean 4 problem sets, judging to…☆26Aug 27, 2026Updated last month
- Nextstrain build for Zika virus☆12Sep 22, 2026Updated 2 weeks ago
- Lean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"☆47Sep 11, 2026Updated 3 weeks ago
- Measuring the Impact of Early-2025 AI on Experienced Open-Source Developer Productivity: https://metr.org/blog/2025-07-10-early-2025-ai-e…☆17Feb 23, 2026Updated 7 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆24Jul 28, 2026Updated 2 months ago
- Rust software re-glycosylates protein structures using MD simulation results from the glycoshape database. It takes alphafold protein str…☆18Updated this week
- Lean for Scientists and Engineers, course taught in Summer 2024☆48Jan 6, 2025Updated last year
- JAX/Equinox translation of ESMFold2☆20Sep 17, 2026Updated 3 weeks ago
- PyRosetta4 v2026-02-06 with (Global Interpreter Lock) disabled☆20Mar 22, 2026Updated 6 months ago
- Lean 4 tactic library for closing proofs across applied mathematics. Probability, statistics, biology, chemistry, economics, engineering,…☆17Jul 20, 2026Updated 2 months ago
- Official repository for the paper "Evaluating variant effect prediction across viruses"☆22Mar 30, 2026Updated 6 months ago
- ☆10Nov 5, 2018Updated 7 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- 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.
- Code for "Fully Non-Linear Neuromorphic Computing with Linear Wave Scattering" (C.C. Wanjura and F. Marquardt).☆12Apr 16, 2024Updated 2 years ago
- Image similarity solution with Microsoft Machine Learning Server☆22Jun 12, 2023Updated 3 years ago
- ☆15Apr 10, 2024Updated 2 years ago
- RSS and Atom parser. [copy of git://git.codemadness.org/sfeed master, 05/19/2019]☆12May 20, 2019Updated 7 years ago
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 7 years ago
- Implementation of ResFit, Residual Off-Policy RL for Finetuning Behavior Cloning Policies☆17Sep 29, 2025Updated last year
- JAX translation of boltz☆32Aug 11, 2026Updated last month
- Foundation for building semantically meaningful themes over emacs☆14Jul 23, 2026Updated 2 months ago
- Implementation of GenMimic, "From Generated Human Videos to Physically Plausible Robot Trajectories"☆18Sep 1, 2026Updated last month
- 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.
- Game theory in Clojure☆18Jan 30, 2013Updated 13 years ago
- Data aggregation for Zooniverse projects☆13Sep 30, 2026Updated last week
- ☆12Feb 12, 2026Updated 7 months ago
- Draco is a script to convert reddit thread to Org document☆10Aug 9, 2022Updated 4 years ago
- Educational implementation of dependent types☆19May 16, 2018Updated 8 years ago
- CMU 15-745 Spring 2014☆10Mar 7, 2014Updated 12 years ago
- Lambda Calculus with quote and unquote☆19Jun 29, 2020Updated 6 years ago
- Code and slides from Lisa Lippincott's “How to Call C libraries from C++” presentation from Cppcon 2014☆12Feb 20, 2016Updated 10 years ago
- The Climate Mind team is building a web app to help stop climate change by empowering individuals to have better conversations about it a…☆18May 6, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Documentation pages for IQM's client-side libraries.☆17Sep 14, 2026Updated 3 weeks ago
- An MCP (Model Context Protocol) server providing LLM agents with direct access to NASA's Common Metadata Repository (CMR).☆33Updated this week
- ☆12Jul 7, 2021Updated 5 years ago
- Implementation of the fast weight product key memory from Sakana AI☆20Sep 17, 2026Updated 3 weeks ago
- Dataset Distillation via Vision-Language Category Prototype (ICCV 2025)☆17Mar 20, 2026Updated 6 months ago
- A library for exploring persistent homology☆108Jul 16, 2025Updated last year
- SRSA: Skill Retrieval and Adaptation for Robotic Assembly Tasks☆22Mar 25, 2026Updated 6 months ago