Scholar

David Holmes

Google Scholar ID: 0IWC_2kAAAAJ

Leiden

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

568

H-index

15

i10-index

18

Publications

20

Co-authors

12

list available

Publications

1 items

ProofCouncil: An LLM Agent for Solving Open Mathematical Problems

2026

Cited

0

Co-authors

2 total

Johannes Schmitt

Postdoc in Mathematics, ETH Zurich