Rahul Saha

Artificial Intelligence · 2023

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

Subfields

Whom Rahul Saha trusts overall

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

  1. The mathlib Community
  2. M. Wenzel
  3. Leonardo de Moura
  4. Jesse Michael Han
  5. Kaiyu Yang
  6. Stella Biderman

Who trusts Rahul Saha overall

  1. Zhangir Azerbayev

Papers from Rahul Saha's perspective

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

  1. The Lean Theorem Prover (System Description)
  2. Generative Language Modeling for Automated Theorem Proving
  3. The lean mathematical library
  4. Proof Artifact Co-training for Theorem Proving with Language Models
  5. The Isabelle Framework
  6. Pythia: A Suite for Analyzing Large Language Models Across Training and Scaling
  7. LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
  8. Efficient Memory Management for Large Language Model Serving with PagedAttention
  9. Llemma: An Open Language Model For Mathematics
  10. Attention is All you Need (Neural Information Processing Systems)

Their papers