Dear researchers, May I know if I want to evaluate this work in other symbolic benchmarks, which documents will be recommended to utilize? Thank you!