For a Human-Centered AI

#formal methods