Jeremy Avigad

Artificial Intelligence · 2003–2023

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

Subfields

Whom Jeremy Avigad trusts overall

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

  1. Ulrich Kohlenbach
  2. Klaus Weihrauch
  3. Philipp Gerhardy
  4. The Univalent Foundations Program
  5. Benjamin C. Pierce
  6. Stewart Shapiro
  7. Richard Zach

Who trusts Jeremy Avigad overall

  1. Ulrich Kohlenbach
  2. Terence Tao
  3. Richard Zach
  4. M. N. Walsh
  5. Yuhuai Wu
  6. Sean Welleck
  7. Kaiyu Yang
  8. Shashidhar Belbase
  9. Stewart Shapiro
  10. Albert Qiaochu Jiang

Papers from Jeremy Avigad's perspective

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

  1. The Curious Case of Neural Text Degeneration
  2. General logical metatheorems for functional analysis
  3. Applied Proof Theory - Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)
  4. Bleu: a Method for Automatic Evaluation of Machine Translation
  5. The Lean Theorem Prover (System Description)
  6. Generative Language Modeling for Automated Theorem Proving
  7. Formal Proof—The Four- Color Theorem
  8. Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm
  9. Solving Quantitative Reasoning Problems with Language Models
  10. Evaluating Large Language Models Trained on Code (arXiv.org)

Their papers