Stewart Wilcox

Artificial Intelligence · 2007–2019

A researcher in the Science corpus: 4 papers; trusts 4 researchers and is trusted by 14 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 15 citations into it; #19,232 of 35,345 by trust here, #23,731 by citations

Whom Stewart Wilcox trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Anthony B. Evans
2. Shona Yu

Who trusts Stewart Wilcox overall

1. Ian M. Wanless
2. Markus Norman Rabe
3. Yuhuai Wu
4. James East
5. Anthony B. Evans
6. Jesse Michael Han

Papers from Stewart Wilcox's perspective

Ordered by how strongly the researchers Stewart Wilcox trusts endorse each paper. Same corpus, a different order for every researcher.

1. Adam: A Method for Stochastic Optimization (International Conference on Learning Representations)
2. WaveNet: A Generative Model for Raw Audio
3. Microsoft COCO: Common Objects in Context
4. LIBLINEAR: A Library for Large Linear Classification
5. DeepMath - Deep Sequence Models for Premise Selection
6. Librispeech: An ASR corpus based on public domain audio books
7. SQuAD: 100,000+ Questions for Machine Comprehension of Text
8. Holophrasm: a neural Automated Theorem Prover for higher-order logic
9. E – a brainiac theorem prover (AI Communications)
10. Deep Network Guided Proof Search

Their papers

• HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version) (2019) — 59 citations
• Reduction of the Hall–Paige conjecture to sporadic simple groups (2009) — 60 citations
• HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving (2019) — 145 citations
• Cellularity of diagram algebras as twisted semigroup algebras (2007) — 73 citations