@misc{indiciae1fdf90ca866a,
  title = {Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs},
  author = {Roozbeh Yousefzadeh and Xuenan Cao},
  year = {2025},
  url = {https://arxiv.org/abs/2507.04719},
  note = {Source identifier: 2507.04719}
}