☆32Aug 10, 2026Updated last month
Alternatives and similar repositories for modular-arithmetic-challenge
Users that are interested in modular-arithmetic-challenge are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This repository hosts the SAIR Mathematics Distillation Challenge: Equational Theories Stage 2, providing Lean 4 problem sets, judging to…☆25Aug 27, 2026Updated 2 weeks ago
- An introduction to theorem proving in Lean for the impatient.☆19Apr 6, 2025Updated last year
- Set of agent skills of Lean code generation for software development☆17Jul 6, 2026Updated 2 months ago
- ☆18Jul 13, 2026Updated 2 months ago
- A formalization of Shannon's seminal 1948 paper defining entropy.☆16Mar 2, 2026Updated 6 months 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.
- Computer Modern Mono proportional font☆12Jan 2, 2013Updated 13 years ago
- Blueprint for the PNT+ Project☆343Aug 30, 2026Updated 2 weeks ago
- The project page of paper: Aha! Adaptive History-driven Attack for Decision-based Black-box Models [ICCV 2021]☆10Feb 23, 2022Updated 4 years ago
- ☆21Mar 11, 2026Updated 6 months ago
- ☆18Apr 6, 2021Updated 5 years ago
- Solver for 1D nonlinear partial differential equations in Julia based on the collocation method of Skeel and Berzins and providing an API…☆14Aug 5, 2024Updated 2 years ago
- Teaching Material for Course on Formalization Summer Semester 2025 at Uni Greifswald☆19Apr 10, 2026Updated 5 months ago
- A json Dataset with 25696 kpop songs. (2000 ~ 2023)☆11Dec 3, 2023Updated 2 years ago
- A Tensor Network Library (TenNetLib.jl) built on top of ITensors.jl and ITensorMPS.jl for quantum many-body problems.☆24Sep 9, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆14Apr 18, 2022Updated 4 years ago
- Blind Justice Code for the paper "Blind Justice: Fairness with Encrypted Sensitive Attributes", ICML 2018☆14Mar 20, 2019Updated 7 years ago
- A simple 2D euler equation solver using finite volumes☆14Jan 6, 2023Updated 3 years ago
- Rust accelerated contraction ordering primitives for tensor networks and einsums☆30Sep 1, 2026Updated 2 weeks ago
- Official repository for the paper "Gradient-based Jailbreak Images for Multimodal Fusion Models" (https//arxiv.org/abs/2410.03489)☆20Oct 22, 2024Updated last year
- An extention to the GaLore paper, to perform Natural Gradient Descent in low rank subspace☆19Oct 21, 2024Updated last year
- ☆12Jan 17, 2025Updated last year
- Simulator to apply splitting strategies as defense for WFP attacks☆16Feb 27, 2024Updated 2 years ago
- CR-LT KGQA Dataset Repository☆10Jun 1, 2025Updated last year
- 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 curated list of resources on Document Layout Analysis☆12Aug 7, 2025Updated last year
- ☆14Jul 11, 2019Updated 7 years ago
- nanoGPT using Equinox☆15Mar 3, 2023Updated 3 years ago
- ☆15Aug 7, 2025Updated last year
- ☆28Sep 8, 2023Updated 3 years ago
- Codes for CVPR2020 paper "Towards Transferable Targeted Attack".☆16Apr 24, 2022Updated 4 years ago
- A hybrid quantum-classical neural network simulation platform. Quantum simulation uses QTensor, a state-of-the-art tensor network-based s…☆14Jun 27, 2023Updated 3 years ago
- Faster, Smaller, Harder HPKE for Rust☆28Aug 23, 2026Updated 3 weeks ago
- The official repository of 'Unnatural Language Are Not Bugs but Features for LLMs'☆25May 20, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Partially Observable Multi-Agent RL with Transformers☆17Updated this week
- AI model for making mazes that extends OpenAIs GPT2 model☆15Dec 21, 2023Updated 2 years ago
- A repository to introduce the algorithmic information theory. You could learn what is Kolmogorov complexity and why it is important here.☆13Jul 23, 2025Updated last year
- Giving Up Control: Neurons as Reinforcement Learning Agents☆13May 6, 2024Updated 2 years ago
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 10 years ago
- ☆10Oct 24, 2019Updated 6 years ago
- ☆12Jun 18, 2024Updated 2 years ago