影响力指数

5.82/100

超过 18.2%

全站排名 #52,671

发表论文4 篇

平均评分4.9

年均产出2.0 篇/年

Kai Fronsdal

MS student@Computer Science Department, Stanford University·美国·OpenReview

VeriBench: End-to-End Formal Verification Benchmark for AI Code Generation in Lean 4

ICLR 2026Rejected

Putnam-AXIOM: A Functional & Static Benchmark for Measuring Higher Level Mathematical Reasoning in LLMs

ICML 2025Poster

Putnam-AXIOM: A Functional & Static Benchmark for Measuring Higher Level Mathematical Reasoning in LLMs

ICLR 2025Rejected

MISR: Measuring Instrumental Self-Reasoning in Frontier Models

ICLR 2025Rejected

合作者 (20)

Bruno de Moraes Dumont