114 citations · 157 across the 12 of their papers we have counts for
1 paper · 2 filters
Marcus Hutter
The provably asymptotically fastest algorithm within a factor of 5 for formally described problems will be constructed. The main idea is to enumerate all programs provably equivale…