arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Warren Hunt"" — arXiv2 Search
Showing 1–9 of 9 results
/ Date
/ Name
Dec 3, 2025
Agentic Operator Generation for ML ASICs
Oct 17, 2021
Real Time Cluster Path Tracing
Feb 25, 2026
SWE-Protégé: Learning to Selectively Collaborate With an Expert Unlocks Small Language Models as Software Engineering Agents
Dec 7, 2016
Efficient Certified RAT Verification
May 2, 2017
Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications
Apr 30, 2013
Abstract Stobjs and Their Application to ISA Modeling
May 24, 2022
VWSIM: A Circuit Simulator
Sep 21, 2015
Fourier Series Formalization in ACL2(r)
Jul 25, 2025
Extended Abstract: Mutable Objects with Several Implementations