If they actually achieved what they claim—a calculus for directly obtaining inference algorithms from input models—then it is very cool.
My gut mathematical feeling is that the full solution to that problem is intractable, but even a partial semi-solution could still be cool.
If they actually achieved what they claim—a calculus for directly obtaining inference algorithms from input models—then it is very cool.
My gut mathematical feeling is that the full solution to that problem is intractable, but even a partial semi-solution could still be cool.