Picture for Owen Randall

Owen Randall

University of Alberta

A PPA-Driven 3D-IC Partitioning Selection Framework with Surrogate Models

Add code
Apr 20, 2026
Viaarxiv icon

Expected Work Search: Combining Win Rate and Proof Size Estimation

Add code
May 09, 2024
Figure 1 for Expected Work Search: Combining Win Rate and Proof Size Estimation
Figure 2 for Expected Work Search: Combining Win Rate and Proof Size Estimation
Figure 3 for Expected Work Search: Combining Win Rate and Proof Size Estimation
Figure 4 for Expected Work Search: Combining Win Rate and Proof Size Estimation
Viaarxiv icon