ESS
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Survey Simulation | ESS 9 | Wasserstein Distance (WD)0.111 | 16 | |
| Survey Simulation | ESS11 | Weighted Distance (WD)0.104 | 16 | |
| Autoformalization | ESS #1196 | Proof Success Rate100 | 2 |
Showing 3 of 3 rows
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Survey Simulation | ESS 9 | Wasserstein Distance (WD)0.111 | 16 | |
| Survey Simulation | ESS11 | Weighted Distance (WD)0.104 | 16 | |
| Autoformalization | ESS #1196 | Proof Success Rate100 | 2 |