James East

2011

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

Whom James East trusts overall

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

  1. Stewart Wilcox

Papers from James East's perspective

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

  1. On presentations of Brauer-type monoids
  2. Kauffman Monoids
  3. SQuAD: 100,000+ Questions for Machine Comprehension of Text
  4. seL4: formal verification of an OS kernel
  5. Premise Selection for Theorem Proving by Deep Graph Embedding
  6. The Cyclotomic Birman-Murakami-Wenzl Algebras
  7. LIBLINEAR: A Library for Large Linear Classification
  8. The Lean Theorem Prover (System Description)
  9. Holophrasm: a neural Automated Theorem Prover for higher-order logic
  10. The Netflix Prize

Their papers