SciLaws-Bench - Real Symbolic Validity: leaderboard
Metric: Score (%). Source: arxiv.org. 9 models tracked.
Top models
| # | Model | Score |
|---|---|---|
| 1 | GPT-5.5 | 81.84 |
| 2 | DeepSeek V4 Pro | 81.3 |
| 3 | Claude Opus 4.8 | 80.24 |
| 4 | GPT-5 Mini | 77.03 |
| 5 | Gemini 3.5 Flash | 74.63 |
| 6 | GLM-5.2 | 74.19 |
| 7 | Qwen 3.7 Max | 72.66 |
| 8 | GPT-5.4 Mini | 72.45 |
| 9 | GPT-4o Mini | 56.02 |
Interactive version: theaggregate.ai/benchmark?slug=scilaws-bench-real-symbolic-validity · How It Works · Data refreshed daily, snapshot 2026-09-21.