Automated proofs about floating-point numbers using Z3 Theorem Prover in Python
github.com2 points·by xenny··0 comments
CodeAgon – A hiring challenge by CodeNation – Jan 26, 2017
hackerrank.com1 points·by xenny··0 comments
Convolutional network layers map the function of the human visual system
hal-cea.archives-ouvertes.fr2 points·by xenny··0 comments
xD