Downloads · 30 days
0
zaremba-transitivity-cuda
cahlen/zaremba-transitivity-cuda
zaremba-transitivity-cuda is a machine learning model from cahlen. Use it for the machine learning task on the model card, and read the license before you ship it in a product. It is set up for kernels. The card lists the license as mit.
Checks if the Zaremba generators {1,...,5} act transitively on (Z/pZ)^2 \ {0} for each prime p.
Access
Public
Updated Apr 14, 2026
Repo size
566 KB
Likes
0
Public
Repo makeup
Click a slice to open those files.
.so328 KB · 93%
At a glance
- Library
- kernels
- License
- mit
- Access
- Public
- Created
- Apr 14, 2026
- Updated
- Apr 14, 2026
- SHA
- f5ae69f8
Datasets
Model card
From the Hugging Face model README
Zaremba Transitivity Verification
Checks if the Zaremba generators {1,...,5} act transitively on (Z/pZ)^2 \ {0} for each prime p.
Usage
import torch
from kernels import get_kernel
kernel = get_kernel("cahlen/zaremba-transitivity-cuda")
result = transitivity.check(primes)
Compile (standalone)
nvcc -O3 -arch=sm_90 -o zaremba_transitivity transitivity/check_transitivity.cu -lm
Results
All computation results are open:
- Website: bigcompute.science
- Datasets: huggingface.co/cahlen
- Source: github.com/cahlen/idontknow
Citation
@misc{humphreys2026bigcompute,
author = {Humphreys, Cahlen},
title = {bigcompute.science: GPU-Accelerated Computational Mathematics},
year = {2026},
url = {https://bigcompute.science}
}
Human-AI collaborative. Not peer-reviewed. All code and data open.
- Library
- kernels
- License
- mit
- Created
- Apr 14, 2026
- Updated
- Apr 14, 2026