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

Shen, Gan

  1. Toward Verified Library-Level Choreographic Programming with Algebraic Effects
    2024/07/09 by Gan Shen, Shen, Gan, Lindsey Kuper +1 · 1 citation
    Computer Science · #Artificial Intelligence in Games #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Programming Languages (cs.PL) #Reinforcement Learning in Robotics