Friday 1 PM PT: Dr. Mike Stay on deriving hypercubes of type systems, computational guardrails for neural nets and self-modifying AGI. NW AGI Forum, online. www.meetup.com/northwest-ar... #AGI #AISafety #TypeSystems #FormalVerification

0 likes 0 replies