Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Institute of Automotive Engineering, Graz University of Technology, Austria
1
0
3
Trade accuracy for a 10x speedup and formal verification by replacing your neural network's head with a tree of exp(x) - ln(y) operators.