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

Yang, Li-An

  1. Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants
    2016/02/24 by Li-An Yang, Jui-Pin Liu, Yang, Li-An +5 · 1 voice
    Computer Science · #Artificial Intelligence in Games #Computability, Logic, AI Algorithms #Evolutionary Algorithms and Applications #cs.LO #cs.NE