학술
기타
A Survey on Code Equivalence: The State-of-the-Art and Open Questions
arXiv Math
CC BY
이 매체는 공공·자유 라이선스로 본문을 직접 표시합니다.Abstract
In this work, we provide a comprehensive survey of the code equivalence problem and its variants.
We explain the existing results, highlighting the relationships between different problem formulations, algorithmic techniques, and hardness assumptions.
In addition, we systematically review known attacks, identify the parameter regimes in which they are effective, and discuss their limitations.
Lastly, we outline several open problems and research directions, with the aim of clarifying the current landscape and guiding future work toward a deeper understanding of the hardness of code equivalence.
이 뉴스, 어떠셨어요?
탭 한 번으로 반응 · 로그인 불필요
관련 뉴스
관련 뉴스 제보는 로그인 후 가능합니다.
'research' 카테고리 뉴스
Optimal Adaptive Market Making: A Theoretical Framework for High-Yield Liquidity Provision in Perpetual Futures Markets
arXiv CS.AI
In-Context Reinforcement Learning under Non-Stationarity: A Survey
arXiv CS.AI
Ontology-Amplified Distillation and Contextuality Auditing for Sovereign Enterprise Language Models: A Combined Proof-of-Mechanism and Negative-Results Method Study
arXiv CS.AI