Problem
Research questions and friction points this paper is trying to address.
Linear Code Equivalence
Generalised Code Equivalence
search-to-decision reduction
code equivalence
Research questions and friction points this paper is trying to address.
Methods, ideas, or system contributions that make the work stand out.