HN marvinborner 4/25/2026

Lambda Calculus Benchmark for AI

Benchmark suite using lambda calculus for evaluating AI systems on formal reasoning and logical computation tasks.