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

Sharad Malik

  1. Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases
    2026/07/14 by Marcus J. Min, Mike He, Zhaoyu Li +5 · 1 voice
    Computer Science · #acm:68 #cs.AI #cs.CL #cs.LG #cs.PL #msc:68