New preprint — "Problem Reductions at Scale" is on arXiv, with the problem-reductions Rust library released on GitHub.

Our new preprint “Problem Reductions at Scale: Agentic Integration of Computationally Hard Problems” (with Xi-Wei Pan and Jin-Guo Liu) is now on arXiv: arXiv:2604.11535.

The companion Rust library and CLI (pred) is open-sourced at CodingThrust/problem-reductions, implementing 100+ NP-hard problem types and 200+ reduction rules, with automatic reduction-path search that lets a single registered solver be reused across the whole connected problem graph.