Ravi Mangal

ビジョンと言語モデルを使ったディープニューラルネットワークの検証の新しい方法。

AIにおける2-SAT問題をトランスフォーマーがどう扱うかの解説。