[LG]《Formal Theorem... 爱可可-爱生活 2024-11-09 23:33:59 [LG]《Formal Theorem Proving by Rewarding LLMs to Decompose Proofs Hierarchically》K Dong, A Mahankali, T Ma [Stanford University] (2024) 机器学习人工智能论文
![[LG]《Formal Theorem...](https://wx3.sinaimg.cn/large/5396ee05ly1hvc22t4mtxj21g80qanam.jpg)
![[LG]《Formal Theorem...](https://wx1.sinaimg.cn/large/5396ee05ly1hvc22tuo7wj21mo0zktm6.jpg)
![[LG]《Formal Theorem...](https://wx4.sinaimg.cn/large/5396ee05ly1hvc22u73lrj21lw0ywk1k.jpg)
![[LG]《Formal Theorem...](https://wx3.sinaimg.cn/large/5396ee05ly1hvc22ucylsj21lq0s6n49.jpg)
![[LG]《Formal Theorem...](https://wx1.sinaimg.cn/large/5396ee05ly1hvc28hvcbhj210x0hjmyn.jpg)
![[LG]《Formal Theorem...](https://wx2.sinaimg.cn/large/5396ee05ly1hvc28hvhwrj210x0iowgb.jpg)
![[LG]《Formal Theorem...](https://wx3.sinaimg.cn/large/5396ee05ly1hvc28hvj8sj210x0j5dhn.jpg)