A Learning Method for Symbolic Systems Using Large Language Models. - Jian Fang; Yixun Yao; Yingfei Xiong 001 (CoRR, 2026)