I hereby claim:
- I am anishathalye on github.
- I am anish (https://keybase.io/anish) on keybase.
- I have a public key whose fingerprint is 72EE 4824 FA6E FF1F E750 A015 C3F6 E4F5 086B 3B32
To claim this, I am signing this object:
Anish Athalye anishathalye
anishathalye
/ openai.rkt
Last active
February 3, 2022 19:36
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #lang rosette | |
| (require rackunit syntax/parse/define) | |
| ;; https://openai.com/blog/formal-math/ | |
| (define-simple-macro (prove e ...) (check-pred unsat? (verify (begin e ...)))) | |
| (test-case "Problem 1" | |
| (define-symbolic* x p real?) |
anishathalye
/ adversarial-style.ipynb
Created
March 30, 2018 02:00
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
anishathalye
/ keybase.md
Created
March 20, 2015 01:00