paper_type.json (330B)
1 { 2 "paper_type": "benchmark-creation", 3 "reason": "The primary contribution is introducing miniCodeProps, a new 201-property benchmark in Lean 4 for evaluating neural theorem provers; baseline experiments with GPT-4o and specialized models are secondary to demonstrating the benchmark's design and difficulty characteristics." 4 }