Formal Verification on Float Multiplier
57Assertion CountSaarthi
Evaluation results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| SaarthiBackbone=GPT-5, Pass level=Pass@32026.03 | 57 | — | 2 | 42.11 | 78.48 | |
| SaarthiBackbone=GPT-5, Pass level=Pass@12026.03 | 49 | — | 0 | 51.02 | 65.37 | |
| SaarthiBackbone=GPT-5, Pass level=Pass@22026.03 | 42 | — | 0 | 30.95 | 83.71 | |
| SaarthiBackbone=GPT-4.1, Pass level=Pass@32026.03 | 23 | — | 0 | 17.39 | 9.44 | |
| SaarthiBackbone=GPT-4.1, Pass level=Pass@12026.03 | 19 | — | 0 | 10.53 | 4.97 | |
| SaarthiBackbone=GPT-4.1, Pass level=Pass@22026.03 | 17 | — | 0 | 23.53 | 19.96 | |
| SaarthiBackbone=Llama3.3, Pass level=Pass@32026.03 | 15 | — | 0 | 6.67 | 3.15 | |
| SaarthiBackbone=Llama3.3, Pass level=Pass@12026.03 | 10 | — | 0 | 20 | 12.14 | |
| SaarthiBackbone=Llama3.3, Pass level=Pass@22026.03 | 0 | — | 3 | 0 | 0 |