computational complexity; NP problem solving
Lean-verified ML model for Parameter Golf
NP-Hard Blockchain Solution Sets