activity
20222025
most citedTo what extent should we trust AI models when they extrapolate?

4 citations · 5 across the 7 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2025

Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs

Roozbeh Yousefzadeh, Xuenan Cao

This position paper provides a critical but constructive discussion of current practices in benchmarking and evaluative practices in the field of formal reasoning and automated the…