BinDec: LLM and Symbolic Execution Collaborative Decompilation Method for RISC-V. - Li, Yuzhang; Zhang, Xi; Xu, Tao (International Journal of Software & Informatics, 2026)