42 citations · 125 across the 15 of their papers we have counts for
4 papers · 1 filter
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…
An Improved Last-Iterate Convergence Rate for Anchored Gradient Descent Ascent
Anja Surina, Arun Suggala, George Tsoukalas +5
We analyze the last-iterate convergence of the Anchored Gradient Descent Ascent algorithm for smooth convex-concave min-max problems. While previous work established a last-iterate…
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…