Fly Brain HubEnglish

ツール・ライブラリ

C3S Reflex Circuits

BruceLanLan

looming（迫ってくる物体）に対する逃避、それも巨大線維が門番をする反応ひとつだけを取り上げ、MaleCNS v1.0 の配線から、明示した教師モデル、16 ビット入力の全 65,536 行を尽くした決定表、そして NAND 173 個とラッチ 6 個のネットリストへと落としていく。決定表との等価性は網羅的に確かめられている。問いは「配線が形づくる振る舞いを再現する決定論的な機械はどこまで小さくできて、そのうちどこまでを信頼ではなく証明で済ませられるか」。ブラウザ上の実験台では迫る物体をハエに撃ち込み、5ms ごとにネットリストをセル単位で評価し、読み込み時に SHA-256 を照合する。

公式サイト ↗

C3S Reflex Circuits

#giant-fiber#escape-reflex#circuit-synthesis#formal-verification#malecns

確認した出典

上の情報は掲載日にこれらのページを読んで確認したものです。