LamBench Results: GPT-5.4 Dominates Lambda Calculus Benchmark
136
LamBench ranks AI models by their ability to solve lambda calculus problems, with GPT-5.4 currently taking the top spot.
Lambda Calculus & Formal Logic
Benchmarks and evaluations focused on formal computational theory topics such as lambda calculus, used to assess deep logical reasoning in AI and programming language research.