@misc{indiciaee8d718a34330,
  title = {TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge},
  author = {Khurram Khalil and Khaza Anuarul Hoque},
  year = {2025},
  doi = {10.1109/iccad66269.2025.11240962},
  url = {https://arxiv.org/abs/2512.16855},
  note = {Source identifier: 2512.16855}
}