DSR is a neuro-symbolic autoformalization framework using operator trees that achieves new state-of-the-art results on the PRIME benchmark of 156 Lean 4 theorems.
,→ [SeminormedAddCommGroup V] [InnerProductSpaceCV] ✓Fix: Add instance ‘SeminormedAddCommGroup’
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LG 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees
DSR is a neuro-symbolic autoformalization framework using operator trees that achieves new state-of-the-art results on the PRIME benchmark of 156 Lean 4 theorems.