Leaderboard
Model Rankings
Finished
In progress
| Rank | Model | Accuracy | Samples | Tool Rate | Status |
|---|
First-Order Logic Reasoning Leaderboard
A live leaderboard for first-order-logic reasoning agents across formal reasoning benchmarks. Under a unified zero-shot adaptive-agent protocol, models may answer directly, invoke first-order-logic solvers over multiple turns, and fall back to direct reasoning when tool calls fail.
Leaderboard
| Rank | Model | Accuracy | Samples | Tool Rate | Status |
|---|