HyperAI
HyperAI
メイン
ホーム
GPU
コンソール
ドキュメント
料金
パルス
ニュース
リソース
論文
ノートブック
データセット
Wiki
ベンチマーク
SOTA
LLMモデル
GPUランキング
コミュニティ
イベント
ユーティリティ
検索
概要
利用規約
プライバシーポリシー
日本語
HyperAI
HyperAI
Toggle Sidebar
⌘
K
Command Palette
Search for a command to run...
サインイン
HyperAI
Papers
SATNet: 深層学習と論理的推論を接続する微分可能な充足可能性ソルバーを使用して
8ヶ月前
Reasoning
畳み込みニューラルネットワーク
ニューラルネットワーク
アプローチ／フレームワーク
概要
論文
ベンチマーク
リソース
SeverTopan/SATNet
pytorch
Kyubyong/sudoku
公式
tf
locuslab/SATNet
公式
pytorch
HyperAI
HyperAI
メイン
ホーム
GPU
コンソール
ドキュメント
料金
パルス
ニュース
リソース
論文
ノートブック
データセット
Wiki
ベンチマーク
SOTA
LLMモデル
GPUランキング
コミュニティ
イベント
ユーティリティ
検索
概要
利用規約
プライバシーポリシー
日本語
HyperAI
HyperAI
Toggle Sidebar
⌘
K
Command Palette
Search for a command to run...
サインイン
HyperAI
Papers
SATNet: 深層学習と論理的推論を接続する微分可能な充足可能性ソルバーを使用して
8ヶ月前
Reasoning
畳み込みニューラルネットワーク
ニューラルネットワーク
アプローチ／フレームワーク
概要
論文
ベンチマーク
リソース
SeverTopan/SATNet
pytorch
Kyubyong/sudoku
公式
tf
locuslab/SATNet
公式
pytorch
5
5
863
863
426
426