Saad Godil

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 Saad Godil 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 Saad Godil's perspective

Ordered by how strongly the researchers Saad Godil 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. Evaluating Large Language Models Trained on Code (arXiv.org)
  5. Generalization through Memorization: Nearest Neighbor Language Models
  6. Generative Language Modeling for Automated Theorem Proving
  7. Dense Passage Retrieval for Open-Domain Question Answering (Conference on Empirical Methods in Natural Language Processing)
  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