Florian Tramer

2
Papers
20
Total Citations

Papers (2)

RealMath: A Continuous Benchmark for Evaluating Language Models on Research-Level Mathematics

NeurIPS 2025arXiv
10
citations

Consistency Checks for Language Model Forecasters

ICLR 2025arXiv
10
citations