2 ms·
> We want it to try and maybe realise when all paths it can generate have been exhausted. How would it know if any reasoning fails to terminate at all?
by namaria 1y ago
> We want it to try and maybe realise when all paths it can generate have been exhausted.
How would it know if any reasoning fails to terminate at all?