Update commentary on tabling efficiency (or lack thereof) in the DLog PoK
Opened this issue · 0 comments
kayabaNerve commented
The commentary present predates the logarithmic derivative transformation and notes a minimal efficiency gain with tabling. I'm unsure such a gain still exists.