3 ms·
A published formalization is code. I would not think humans have any edge when it comes to citing previously published results.
by itishappy 1mo ago
A published formalization is code. I would not think humans have any edge when it comes to citing previously published results.