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

Yiming Fu

  1. LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)
    2025/12/31 by Rongge Xu, Hui Dai, Yiming Fu +5 · 1 voice · 1 citation
    Computer Science · Mathematics · #cs.AI #cs.FL #cs.LG #cs.LO #math.CT