Automated proofs about floating-point numbers using Z3 Theorem Prover in Pythongithub.com2 points·by xenny·8 anni fa·0 comments
CodeAgon – A hiring challenge by CodeNation – Jan 26, 2017hackerrank.com1 points·by xenny·10 anni fa·0 comments
Convolutional network layers map the function of the human visual systemhal-cea.archives-ouvertes.fr2 points·by xenny·10 anni fa·0 comments
xenny·10 anni fa·discussCan someone summarise the paper? Seems to complex for a lay-man. For example, what is Lattice QCD?
xD