About Formal Verification - AI/ML Engineer at Apple. Tell us if it's closed or something in it is wrong.
Only the Austin AI Live team reads these. Nothing you send here is published.