Halting Problem in TOC The halting problem is a classic topic in Alan Turing's 1936 theory of computing. It relates to whether a computer program can detect whether another arbitrary program will ultimately cease (terminate) or continue running indefinitely for a given input. ...
Meyer†2, Yuning Chai2, and Qiang Liu1 1The University of Texas at Austin 2Cruise LLC Abstract Balancing efficiency and accuracy is a long-standing problem for deploying deep learning models. The trade- off is even more important for real-time safety-critical sy...