LFPS: Learned Formal Proof Strengthening for Efficient Hardware Verification. - Minwoo Kang; Azade Nova; Eshan Singh; Geetheeka Sharron Bathini; Yuriy Viktorov (ICCAD, 2023)