1.8k citations · 2.1k across the 6 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.CL2015★ 6 cited
Very Deep Multilingual Convolutional Neural Networks for LVCSR
Tom Sercu, Christian Puhrsch, Brian Kingsbury +1
Convolutional neural networks (CNNs) are a standard component of many current state-of-the-art Large Vocabulary Continuous Speech Recognition (LVCSR) systems. However, CNNs in LVCS…
cs.PL2015★ 23 cited
Learning Invariants using Decision Trees
Siddharth Krishna, Christian Puhrsch, Thomas Wies
The problem of inferring an inductive invariant for verifying program safety can be formulated in terms of binary classification. This is a standard problem in machine learning: gi…