Proof-producing reflection in the HOL theorem prover: background on one of MIRI's @elonmusk-funded @FLIxrisk grants. https://intelligence.org/?p=11773
3:47 PM - 4 Dec 2015
0 replies
2 retweets
2 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.