Downloads · 30 days
0
ramsey-r55-cuda
cahlen/ramsey-r55-cuda
ramsey-r55-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.
Searches for 2-colorings of Kn with no monochromatic K5 using simulated annealing with incremental K5 counting.
Access
Public
Updated Apr 14, 2026
Repo size
3.3 MB
Likes
0
Public
Repo makeup
Click a slice to open those files.
.so1.7 MB · 99%
At a glance
- Library
- kernels
- License
- mit
- Access
- Public
- Created
- Apr 14, 2026
- Updated
- Apr 14, 2026
- SHA
- 703dfb37
Model card
From the Hugging Face model README
Ramsey R(5,5) Simulated Annealing Search
Searches for 2-colorings of K_n with no monochromatic K_5 using simulated annealing with incremental K_5 counting.
Usage
import torch
from kernels import get_kernel
kernel = get_kernel("cahlen/ramsey-r55-cuda")
result = ramsey.search(n=43, num_walkers=50000, max_steps=5000000)
Compile (standalone)
nvcc -O3 -arch=sm_90 -o ramsey_r55 ramsey/ramsey_incremental_v2.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