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

Sun, Yican

  1. Quantitative Analysis of Assertion Violations in Probabilistic Programs
    2020/11/30 by Wang, Jinyi, Sun, Yican, Fu, Hongfei +2 · 2 citations
    #FOS: Computer and information sciences #Programming Languages (cs.PL)
  2. Improved Hardness of Approximating k-Clique under ETH
    2023/04/06 by Lin, Bingkai, Ren, Xuandi, Sun, Yican +1 · 1 citation
    #Computational Complexity (cs.CC) #FOS: Computer and information sciences