Shou, Ziyi

1. Mathesis: Towards Formal Theorem Proving from Natural Languages
   2025/06/08 by Yu Xuejun, Jianyuan Zhong, Xuejun, Yu +32 · 9 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, programming, and type systems #Mathematics, Computing, and Information Processing #Topic Modeling
2. Using Language Models For Knowledge Acquisition in Natural Language Reasoning Problems
   2023/04/04 by Lin, Fangzhen, Shou, Ziyi, Chen, Chengcai · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences