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

Zijin Feng

  1. ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization
    2025/10/13 by Rafael Cabral, Cabral, Rafael, Tuan Do +8 · 1 citation
    Computer Science · Decision Sciences · #Logic, programming, and type systems #Scientific Computing and Data Management #Mathematics, Computing, and Information Processing