Shixing Yu

Artificial Intelligence · 2023

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

Subfields

Whom Shixing Yu trusts

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

  1. Stanislas Polu (in Artificial Intelligence)
  2. Ilya Sutskever (in Artificial Intelligence)

Papers from Shixing Yu's perspective

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

  1. Attention is All you Need (Neural Information Processing Systems)
  2. Decoupled Weight Decay Regularization
  3. Measuring Mathematical Problem Solving With the MATH Dataset
  4. Dense Passage Retrieval for Open-Domain Question Answering (Conference on Empirical Methods in Natural Language Processing)
  5. Evaluating Large Language Models Trained on Code (arXiv.org)
  6. Generalization through Memorization: Nearest Neighbor Language Models
  7. Generative Language Modeling for Automated Theorem Proving
  8. The Lean Theorem Prover (System Description)
  9. Solving Quantitative Reasoning Problems with Language Models
  10. Learning to Prove Theorems via Interacting with Proof Assistants

Their papers