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