Research

Whitepapers and technical reports.

Formal results and applied research belong beside the software that supports them. This collection holds finished papers, academic reports, primary artifacts, and concise explanations of what each contribution establishes.

WhitepaperpublishedJuly 2026

Finite Game-of-Life Predecessor Existence is NP-Complete

Ryan Rumana

A machine-supported proof that one-step predecessor existence is NP-complete for explicitly encoded finite Game-of-Life boards with a permanently dead exterior.

Complexity theory
Cellular automata
SAT solving
Machine-checked artifacts

Read overview Download PDF

Academic reportpublishedJune 10, 2024

Multi-Camera Re-identification and Tracking

Eric Ye, Ryan Rumana

An edge-oriented person detection and re-identification prototype that shares embeddings instead of streaming every camera feed to a central server.

Person re-identification
Edge ML
Model quantization
Computer vision

Read overview Download PDF