人気の記事一覧

An Evaluation Benchmark for Autoformalization in Lean4

4か月前