# Randomized Symbolic Reduction on RSR-BENCH Algebraic Structures v1.0 (17 functions) Source: [Randomized Symbolic Reduction on RSR-BENCH Algebraic Structures v1.0 (17 functions)]() Collection index: [llms.txt]() Data updated: 2026-06-01T07:04:10.646Z Evaluation of model performance on Randomized Symbolic Reduction using the RSR-BENCH Algebraic Structures v1.0 dataset, focusing on 17 specific functions. 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 | Randomized Symbolic Reduction | | Dataset (including any stated split) | RSR-BENCH Algebraic Structures v1.0 (17 functions) | | Metric | RSR Count | | Unit | SCALAR | | Direction | Higher is better | | Results loaded | 10 of 10 | | 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 - [RSR Count](): Higher is better; unit: SCALAR. - [Verified Count](): Higher is better; unit: SCALAR. - [Unverified Count](): Lower is better; unit: SCALAR. - [RSR Coverage](): Higher is better; unit: PERCENT. - [Min Time (sec)](): Lower is better; unit: TIME. - [Average Time (sec)](): Lower is better; unit: TIME. - [Max Time (sec)](): Lower is better; unit: TIME. ## Recorded results | Method | RSR Count | Result date | Report paper | | --- | --- | --- | --- | | Claude-Opus-4.1 | 170 | Not recorded | 68fa7ba01e209131cea896d2 | | Claude-Sonnet-4 | 139 | Not recorded | 68fa7ba01e209131cea896d2 | | Claude-Opus-4.1 | 107 | Not recorded | 68fa7ba01e209131cea896d2 | | GPT-OSS-120B | 79 | Not recorded | 68fa7ba01e209131cea896d2 | | GPT-OSS-120B | 79 | Not recorded | 68fa7ba01e209131cea896d2 | | Claude-Sonnet-4 | 76 | Not recorded | 68fa7ba01e209131cea896d2 | | PySR | 12 | Not recorded | 68fa7ba01e209131cea896d2 | | GPLearn | 12 | Not recorded | 68fa7ba01e209131cea896d2 | | MILP | 12 | Not recorded | 68fa7ba01e209131cea896d2 | | LR | 12 | Not recorded | 68fa7ba01e209131cea896d2 | ### Claude-Opus-4.1 RSR Count: 170. Result ID: 6a1d2e59fbc373592c15df21. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Framework":"A-BITWEEN"}. This record does not assert independent reproduction. ### Claude-Sonnet-4 RSR Count: 139. Result ID: 6a1d2e59fbc373592c15df20. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Framework":"A-BITWEEN"}. This record does not assert independent reproduction. ### Claude-Opus-4.1 RSR Count: 107. Result ID: 6a1d2e59fbc373592c15df1e. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Framework":"N-RESEARCH"}. This record does not assert independent reproduction. ### GPT-OSS-120B RSR Count: 79. Result ID: 6a1d2e59fbc373592c15df1c. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Framework":"N-RESEARCH"}. This record does not assert independent reproduction. ### GPT-OSS-120B RSR Count: 79. Result ID: 6a1d2e59fbc373592c15df1f. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Framework":"A-BITWEEN"}. This record does not assert independent reproduction. ### Claude-Sonnet-4 RSR Count: 76. Result ID: 6a1d2e59fbc373592c15df1d. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Framework":"N-RESEARCH"}. This record does not assert independent reproduction. ### PySR RSR Count: 12. Result ID: 6a1d2e59fbc373592c15df18. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Framework":"V-BITWEEN"}. This record does not assert independent reproduction. ### GPLearn RSR Count: 12. Result ID: 6a1d2e59fbc373592c15df19. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Framework":"V-BITWEEN"}. This record does not assert independent reproduction. ### MILP RSR Count: 12. Result ID: 6a1d2e59fbc373592c15df1a. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Framework":"V-BITWEEN"}. This record does not assert independent reproduction. ### LR RSR Count: 12. Result ID: 6a1d2e59fbc373592c15df1b. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Framework":"V-BITWEEN"}. This record does not assert independent reproduction. Page 1 of 1. This is an index page, not the full collection.