HackerTrans
トップ新着トレンドコメント過去質問紹介求人

provability

no profile record

コメント

provability
·3 年前·議論
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!