TY  - RPRT
TI  - TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge
AU  - Khurram Khalil
AU  - Khaza Anuarul Hoque
PY  - 2025
DO  - 10.1109/iccad66269.2025.11240962
UR  - https://arxiv.org/abs/2512.16855
ID  - 2512.16855
ER  -