news
| May 16, 2025 | Theorem Prover as a Judge for Synthetic Data Generation has been accepted at ACL 2025 (Main). |
|---|---|
| Feb 01, 2025 | Are We Done with MMLU? has been accepted at NAACL 2025 (Poster). |
| May 16, 2025 | Theorem Prover as a Judge for Synthetic Data Generation has been accepted at ACL 2025 (Main). |
|---|---|
| Feb 01, 2025 | Are We Done with MMLU? has been accepted at NAACL 2025 (Poster). |