KForge: Program Synthesis for Diverse AI Hardware Accelerators. - Taras Sereda; Tom St. John; Burak Bartan; Natalie Serrino; Sachin Katti; Zain Asgar (CoRR, 2025)