QDTSynth: Quality-Driven Formal Theorem Synthesis for Enhancing Proving Performance of LLMs.

Lei Wang, Ruobing Zuo, Gaolei He, Jianlin Wang, Zhengfeng Yang

Browse the full ACL paper archive.