The SMT Oracles whitepaper.. [call for academics, modelers and deep...