1. 6
    Toward Certification for Free: Correct-by-Construction ML Oracles with Polymorphic LCF Style pdf compsci formalmethods programming hal.archives-ouvertes.fr
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments

  1.