A published formalization is code. I would not think humans have any edge when it comes to citing previously published results.