TY  - RPRT
TI  - Library Reachability in LSR-Synth: How Anti-Memorization Design Changes the Measurement of Symbolic Discovery
AU  - Zhan'ao Yao
AU  - Liang Yin
AU  - Zhihao Gao
AU  - Boxuan Zhang
AU  - Xiaoyu Wu
AU  - Linjing Li
AU  - Rongyan Wang
AU  - Tingwei Chen
AU  - Youwei Wang
AU  - Xiaolin Zhao
AU  - Jiahui Shi
AU  - Jianjun Liu
PY  - 2026
UR  - https://arxiv.org/abs/2607.28684
ID  - 2607.28684
ER  -