HackerTrans
TopNewTrendsCommentsPastAskShowJobs

provability

no profile record

comments

provability
·há 3 anos·discuss
I like this question. I've always wanted to be able to compute, somehow, the "partial derivative of x with respect to y," where x is a proposition and y is an argument or a piece of evidence. It seems to me as though we're closer than ever before. The models are still fairly opaque, but I'm hoping the interpretability research will succeed and allow such introspection!