Masahiro Sakai, profile picture

Masahiro Sakai

Sort by
DeepXplore: Automated Whitebox Testing of Deep Learning
Towards formal verification of neural networks
関数プログラマから見たPythonと機械学習
Writing a SAT solver as a hobby project
RClassify: Classifying Race Conditions in Web Applications via Deterministic Replay
ゼロピッチ: MOOC
SAT/SMT solving in Haskell
SAT/SMTソルバの仕組み
Introduction to Max-SAT and Max-SAT Evaluation
Aluminum: Principled Scenario Exploration through Minimality
代数的実数とCADの実装紹介
How a CDCL SAT solver works
Omega test and beyond
萩野服部研究室 スキー合宿 2012 自己紹介(酒井)
自動定理証明の紹介