Memory-Guided Tree Search with Cross-Branch Knowledge Transfer for LLM Solver Synthesis. - Fatemeh Haji; Javier Delarosa Quiros; Peyman Najafirad (CoRR, 2026)