Multi-Agent Reinforcement Learning for Microprocessor Design Space Exploration Paper โข 2211.16385 โข Published Nov 29, 2022 โข 1
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Paper โข 2509.06509 โข Published Sep 8, 2025 โข 1