LLM-SYM: Integrating Symbolic Methods and Large Language Models for Automated Theorem Proving.

Yifan Wu, Yanhong Huang, Jianqi Shi

Browse the full ICFEM paper archive.