theorem-proposing

本文介绍了 SD-GPS，一个求解器驱动的几何问题求解框架，利用求解器反馈引导的自动形式化和经过验证的定理提出，来克服神经符号系统中的瓶颈。