Ziyang Li
2 indexed papers
Recent (6 mo)
2With code
0Influential cites
0Benchmarked
0Publications per year
226
Top categories
Crypto×2Prog. Lang.×1Software Eng.×1AI×1
Frequent co-authors
Research Timeline
2026
Committed SAE-Feature Traces for Audited-Session Substitution Detection in Hosted LLMs
The paper proposes a commit-open protocol using SAE feature-trace commitments to detect silent model substitution in hosted Large Language Models, successfully rejecting various sophisticated attackers where previous methods failed.
Symbolon: Symbolic Execution by Learning Code Transformation
The paper presents Symbolon, a framework that learns and applies context-sensitively diverse code transformations to improve symbolic execution, increasing coverage and reducing costs.
Highlighted terms show continued research focus across papers
Papers
cs.CRcs.PLcs.SEEmpiricalRecentJun 27, 2026
Symbolon: Symbolic Execution by Learning Code Transformation
Jie Zhu, Penghui Li, Zhongxuan Li, Chihao Shen +3 more
The paper presents Symbolon, a framework that learns and applies context-sensitively diverse code transformations to improve symbolic execution, increasing coverage and reducing costs.
View →
cs.CRcs.AIRecent