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

Sicca, Vladmir

  1. Aristotle: IMO-level Automated Theorem Proving
    2025/10/01 by Tudor Achim, Achim, Tudor, Alex Best +43 · 3 voices · 5 citations
    #cs.AI #cs.CL
  2. Newclid: A User-Friendly Replacement for AlphaGeometry
    2024/11/18 by Vladmir Sicca, Sicca, Vladmir, Xia, Tianxiang +8 · 2 citations
    Computer Science · #Augmented Reality Applications