2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2024
An Imperative Language for Verified Exact Real-Number Computation
Andrej Bauer, Sewon Park, Alex Simpson
We introduce Clerical, a programming language for exact real-number computation that combines first-order imperative-style programming with a limit operator for computation of real…
cs.LG2023★ 2 cited
MLFMF: Data Sets for Machine Learning for Mathematical Formalization
Andrej Bauer, Matej Petković, Ljupčo Todorovski
We introduce MLFMF, a collection of data sets for benchmarking recommendation systems used to support formalization of mathematics with proof assistants. These systems help humans…