13 citations · 18 across the 8 of their papers we have counts for
4 papers · 1 filter
Improving the matrix multiplication exponent with modern optimization and AlphaEvolve
Emilien Dupont, Marvin Eisenberger, Borislav Kozlovskii +7
The current best bounds on the matrix multiplication exponent are obtained through a refinement of the laser method called combination loss analysis (Duan et al., 2022; William…
ArchAgent v2: A Case Study with the Data Prefetching Championship
Abraham Gonzalez, Raghav Gupta, Akanksha Jain +12
Agentic artificial intelligence has shown great promise in automating algorithm design, but scaling similar techniques to computer microarchitecture discovery remains challenging d…
Advancing Mathematics Research with AI-Driven Formal Proof Search
George Tsoukalas, Anton Kovsharov, Sergey Shirobokov +18
Large language models (LLMs) increasingly excel at mathematical reasoning, but their unreliability limits their utility in mathematics research. A mitigation is using LLMs to gener…
ArchAgent: Agentic AI-driven Computer Architecture Discovery
Raghav Gupta, Akanksha Jain, Abraham Gonzalez +10
Agile hardware design flows are a critically needed force multiplier to meet the exploding demand for compute. Recently, agentic generative AI systems have demonstrated significant…