# DeepMath - Deep Sequence Models for Premise Selection

> Research article (Neural Information Processing Systems, 2016) · cited 42× · AI/ML

**Wikidata**: [openalex:W2962905782](https://www.wikidata.org/wiki/openalex:W2962905782)  
**Source**: https://4ort.xyz/entity/deepmath-deep-sequence-models-for-premise-selection