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

Xie, Lihan

  1. A Natural Formalized Proof Language
    2024/05/13 by Lihan Xie, Xie, Lihan, Zhicheng Hui +3 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Logic, programming, and type systems #Natural Language Processing Techniques #Programming Languages (cs.PL)