QuocViet Pham

Identifiers

• name variant QuocViet Pham 0.60 · backfill

Papers (1)

1. TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics cs.AI · 2026 · author #1

Mentions

• 2606.09450 #1 · arxiv_oai · confidence 0.70 QuocViet Pham

Frequent Coauthors

• Andrey Galichin 1 shared papers
• Elvir Karimov 1 shared papers
• Ivan Oseledets 1 shared papers