Hugging Face: NPHardEval Leaderboard benchmarks LLM reasoning with NP-hard problems, updated monthly | SignalBreak | SignalBreak