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

Ünsal, Mert

  1. AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs
    2024/10/03 by Ünsal, Mert, Gehr, Timon, Vechev, Martin · 1 citation
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Symbolic Computation (cs.SC)