(Q46993881)

English

DeepMath - Deep Sequence Models for Premise Selection

scientific article published in January 2016

Deepmath-deep sequence models for premise selection

In more languages

Statements

scholarly article

0 references

DeepMath - Deep Sequence Models for Premise Selection (English)

0 references

Christian Szegedy

2

object named as

Christian Szegedy

0 references

François Chollet

5

0 references

Geoffrey Irving

1

object named as

Geoffrey Irving

0 references

author name string

Alexander A. Alemi

3

0 references

Niklas Een

4

0 references

Josef Urban

6

0 references

language of work or name

0 references

publication date

2016

0 references

official website

https://papers.nips.cc/paper/6280-deepmath-deep-sequence-models-for-premise-selection

language of work or name

0 references

full work available at URL

https://papers.nips.cc/paper/6280-deepmath-deep-sequence-models-for-premise-selection.pdf

0 references

Advances in Neural Information Processing Systems 29

0 references

Sitelinks

Wikipedia(0 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q46993881&oldid=1559911365"