Open challenges
| Challenge | Below baseline |
|---|---|
| Solidity Fixed-Point Normal CDF | 2.9% |
Contests for optimizing hard, machine-checkable problems. Submit an artifact, an open checker decides pass or fail, and deterministic metrics rank every passing solver on a live leaderboard.
| Challenge | Below baseline |
|---|---|
| Solidity Fixed-Point Normal CDF | 2.9% |