@misc{indiciae42d71ded0e2c, title = {Learning to Debug: LLM-Organized Knowledge Trees for Solving RTL Assertion Failures}, author = {Yunsheng Bai and Haoxing Ren}, year = {2025}, url = {https://arxiv.org/abs/2511.17833}, note = {Source identifier: 2511.17833} }