727 citations
- University of California, BerkeleyUS9 papers
- Brookhaven National LaboratoryUS7 papers
- California Institute of TechnologyUS6 papers
- Indiana University BloomingtonUS6 papers
- Institute for High Energy PhysicsES6 papers
- Lawrence Berkeley National LaboratoryUS6 papers
- Louisiana State UniversityUS6 papers
- Michigan State UniversityUS6 papers
- Universidade de São PauloBR6 papers
- University of BirminghamGB6 papers
- University of Illinois ChicagoUS6 papers
- University of WashingtonUS6 papers
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2005★ 1 cited
A formally verified proof of the prime number theorem
Jeremy Avigad, Kevin Donnelly, David Gray +1
The prime number theorem, established by Hadamard and de la Vall'ee Poussin independently in 1896, asserts that the density of primes in the positive integers is asymptotic to 1 /…
cs.AI2003★ 22 cited
Definition and Complexity of Some Basic Metareasoning Problems
Vincent Conitzer, Tuomas Sandholm
In most real-world settings, due to limited time or other resources, an agent cannot perform all potentially useful deliberation and information gathering actions. This leads to th…