# Verification on HAETAE-5

Source: [Verification on HAETAE-5](<https://www.sota2.com/research/sota/verification-on-haetae-5>)

Collection index: [llms.txt](<https://www.sota2.com/research/llms.txt>)

Data updated: 2026-04-20T08:04:11.220Z

Evaluation of Verification performance on the HAETAE-5 dataset, reporting metrics such as Cycles, Ratio, and Stack.

A research result applies to its stated dataset, split, metric and evaluation configuration. Compare like-for-like settings, preserve the metric's unit and direction, and distinguish paper-reported results from independent reproduction. The best result recorded here is not a claim of exhaustive, current global coverage.

| Scope | Recorded value |
| --- | --- |
| Task | Verification |
| Dataset (including any stated split) | HAETAE-5 |
| Metric | Cycles |
| Unit | SCALAR |
| Direction | Lower is better |
| Results loaded | 5 of 5 |
| Coverage | All results currently returned for this benchmark |

Evaluation settings may differ between results. The original papers and recorded configurations are needed to establish comparability. A shared metric name alone does not establish an identical protocol.

## Metrics

- [Cycles](<https://www.sota2.com/research/sota/verification-on-haetae-5.md?metric=Cycles>): Lower is better; unit: SCALAR.

- [Ratio](<https://www.sota2.com/research/sota/verification-on-haetae-5.md?metric=Ratio>): Higher is better; unit: SCALAR.

- [Stack](<https://www.sota2.com/research/sota/verification-on-haetae-5.md?metric=Stack>): Lower is better; unit: SCALAR.

## Recorded results

| Method | Cycles | Result date | Report paper |
| --- | --- | --- | --- |
| m4f (asm) | 2532 | Not recorded | 69e5b2e27d0172140ec7de47 |
| ours (asm) | 2736 | Not recorded | 69e5b2e27d0172140ec7de47 |
| ours (C) | 3510 | Not recorded | 69e5b2e27d0172140ec7de47 |
| ref (C) | 3968 | Not recorded | 69e5b2e27d0172140ec7de47 |
| \[HCK+26\] (C) | 4187 | Not recorded | 69e5b2e27d0172140ec7de47 |

### m4f (asm)

Cycles: 2532. Result ID: 69e5dd9e47f34ce924cbdb1b.

[Reporting paper](<https://www.sota2.com/research/paper/69e5b2e27d0172140ec7de47.md>)

Recorded evaluation configuration: {"Implementation":"assembly (pqm4)"}. This record does not assert independent reproduction.

### ours (asm)

Cycles: 2736. Result ID: 69e5dd9e47f34ce924cbdb1e.

[Reporting paper](<https://www.sota2.com/research/paper/69e5b2e27d0172140ec7de47.md>)

[Method origin paper](<https://www.sota2.com/research/paper/69e5b2e27d0172140ec7de47.md>)

Recorded evaluation configuration: {"Implementation":"assembly"}. This record does not assert independent reproduction.

### ours (C)

Cycles: 3510. Result ID: 69e5dd9e47f34ce924cbdb1d.

[Reporting paper](<https://www.sota2.com/research/paper/69e5b2e27d0172140ec7de47.md>)

[Method origin paper](<https://www.sota2.com/research/paper/69e5b2e27d0172140ec7de47.md>)

Recorded evaluation configuration: {"Implementation":"pure C"}. This record does not assert independent reproduction.

### ref (C)

Cycles: 3968. Result ID: 69e5dd9e47f34ce924cbdb1a.

[Reporting paper](<https://www.sota2.com/research/paper/69e5b2e27d0172140ec7de47.md>)

Recorded evaluation configuration: {"Implementation":"C reference code"}. This record does not assert independent reproduction.

### \[HCK+26\] (C)

Cycles: 4187. Result ID: 69e5dd9e47f34ce924cbdb1c.

[Reporting paper](<https://www.sota2.com/research/paper/69e5b2e27d0172140ec7de47.md>)

Recorded evaluation configuration: {"Implementation":"pure C (published)"}. This record does not assert independent reproduction.

Page 1 of 1. This is an index page, not the full collection.