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

Csiszárik, Adrián

  1. Similarity and Matching of Neural Network Representations
    2021/10/27 by Csiszárik, Adrián, Kőrösi-Szabó, Péter, Matszangosz, Ákos K. +2 · 8 citations
    #FOS: Computer and information sciences #Machine Learning (cs.LG)
  2. Towards Finding Longer Proofs
    2019/05/30 by Zombori, Zsolt, Csiszárik, Adrián, Michalewski, Henryk +2 · 2 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)