Reynald Affeldt

微分可能な論理は、形式的検証やトレーニング手法の向上を通じて機械学習を強化する。