A Proof of Theorem

Neural Information Processing Systems 

For all authors... (a) Do the main claims made in the abstract and introduction accurately reflect the paper's contributions and scope?