Anthony B. Evans

2009–2018

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

Whom Anthony B. Evans trusts overall

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

1. Stewart Wilcox

Who trusts Anthony B. Evans overall

1. Ian M. Wanless
2. Stewart Wilcox

Papers from Anthony B. Evans's perspective

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

1. SQuAD: 100,000+ Questions for Machine Comprehension of Text
2. seL4: formal verification of an OS kernel
3. Premise Selection for Theorem Proving by Deep Graph Embedding
4. The Cyclotomic Birman-Murakami-Wenzl Algebras
5. LIBLINEAR: A Library for Large Linear Classification
6. The Lean Theorem Prover (System Description)
7. Holophrasm: a neural Automated Theorem Prover for higher-order logic
8. The Netflix Prize
9. Librispeech: An ASR corpus based on public domain audio books
10. A Brief Overview of HOL4 (International Conference on Theorem Proving in Higher Order Logics)

Their papers

• Orthogonal Latin Squares Based on Groups (2018) — 47 citations
• The admissibility of sporadic simple groups (2009) — 61 citations