vix.ing · top · new · best · stats · spec

Lu, Dongcai

  1. Mathesis: Towards Formal Theorem Proving from Natural Languages
    2025/06/08 by Yu Xuejun, Xuejun, Yu, Jianyuan Zhong +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