The onus is on formal verification when it comes to computer generated results. So far only 22% of the papers have it.