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

Oriike, Yuta

  1. LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving
    2025/06/27 by Onda, Naoto, Kasaura, Kazumi, Oriike, Yuta +3 · 1 citation
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences