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

Wu, Shaonan

  1. Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation
    2024/10/21 by Shuonan Wu, Shuai Lu, Wu, Shaonan +7 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, programming, and type systems