Official evaluation models and configuration for Stage 1 of the SAIR Mathematics Distillation Challenge: Equational Theories.
☆18Apr 19, 2026Updated 3 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:
- ☆11Feb 28, 2022Updated 4 years ago
- Classical Carleman solution of the viscous Burgers equation, used in https://arxiv.org/abs/2011.03185.☆11Mar 1, 2021Updated 5 years ago
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆26May 28, 2026Updated 2 months ago
- 'Two Degrees' NFT code for Sotheby's 'Natively Digital: A Curated NTF Sale'☆12Jun 7, 2021Updated 5 years ago
- This repository hosts the SAIR Mathematics Distillation Challenge: Equational Theories Stage 2, providing Lean 4 problem sets, judging to…☆20Jul 30, 2026Updated last week
- 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.
- Suggested conventions and examples for Lean formalization of IMO problem statements☆16Jul 16, 2026Updated 2 weeks ago
- Fine-Tuning Gemma 3 to Speak Gen Z on a Cloud TPU using Kinetic one decorator only☆15Mar 30, 2026Updated 4 months ago
- Repo for "PIX2NVS: Parameterized conversion of pixel-domain video frames to neuromorphic vision streams" ICIP2017☆22Oct 4, 2021Updated 4 years ago
- Paper to Reviewer Assignment is a tedious but a very crucial job for conference organizers. Till date the Toronto Paper Matching System (…☆10Nov 30, 2017Updated 8 years ago
- A knowledge graph and meta-learning framework for context-aware automated feature engineering☆24Apr 10, 2026Updated 3 months ago
- I'm proud to release to you, Project Motorsport Ultimate for Forza Motorsport 8 (2023)☆14Jul 14, 2025Updated last year
- Nextstrain build for Zika virus☆11Updated this week
- Source code for MA4270: Data Modelling and Computation on Transformers and Nadaraya-Watson Kernel Regression☆19May 29, 2024Updated 2 years ago
- Lean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"☆47Mar 25, 2026Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A curated collection of resources for building “AI Scientist” systems: AI that assists scientific discovery through literature intelligen…☆14Updated this week
- Concrete Compressive Strength Prediction using Machine Learning☆27Apr 7, 2020Updated 6 years ago
- TKDE'20 paper, "CONNA: Addressing Name Disambiguation on the Fly".☆15May 31, 2021Updated 5 years ago
- Resources and code for paper "Multiplingual Knowledge Graph Completion via Ensemble Knowledge Transfer"☆15Sep 15, 2021Updated 4 years 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…☆16Feb 23, 2026Updated 5 months ago
- Mirrors the FHIR SVN repo (via git-svn)☆11Jan 21, 2021Updated 5 years ago
- A simple bash script to create progressive web apps (pwa).☆11Mar 17, 2019Updated 7 years ago
- ☆16Mar 19, 2026Updated 4 months ago
- ☆19Sep 29, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆18Aug 17, 2024Updated last year
- Tools for evolutionary forecasting☆14Jun 19, 2026Updated last month
- Artificial Intelligence project where I developed an expert system to detect cardiovascular diseases and provide a recommended treatment …☆27Nov 13, 2020Updated 5 years ago
- Official Implementation of "GRIFFIN: Effective Token Alignment for Faster Speculative Decoding"[NeurIPS 2025]☆19May 12, 2025Updated last year
- Run pandoc on all matching files in a folder, to create one output document.☆11Aug 29, 2022Updated 3 years ago
- Forza Motorsport cars and tracks list in CSV and XML.☆14May 26, 2026Updated 2 months ago
- RlGlue code library used in the RL specialization on Coursera.☆32Dec 4, 2023Updated 2 years ago
- Code for our TKDE paper "Understanding WeChat User Preferences and “Wow” Diffusion"☆20Aug 29, 2024Updated last year
- ☆22Jul 28, 2026Updated last week
- 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.
- The Python software re-glycosylates protein structures using MD simulation results from the glycoshape database. It takes alphafold prote…☆16Feb 16, 2024Updated 2 years ago
- Run Gemini Nano locally on chrome☆25Jun 27, 2024Updated 2 years ago
- Lean for Scientists and Engineers, course taught in Summer 2024☆40Jan 6, 2025Updated last year
- Files and Colab notebooks for my course on Python for healthcare statistics.☆15Apr 2, 2020Updated 6 years ago
- Month long course on creating a DEX☆23Jan 18, 2022Updated 4 years ago
- The source code for self-supervised Taxonomy Completion framework TaxoEnrich, published in WWW 2022.☆21Apr 25, 2022Updated 4 years ago
- Learning to cut end-to-end pretrained modules☆38Apr 17, 2025Updated last year