1 paper touches this idea.
Papers
One math trick unifies four ways AI reasons about truth
Related concepts
Ideas that show up alongside Differentiable Programming.