TY  - RPRT
TI  - Towards Bridging Formal Methods and Human Interpretability
AU  - Abhijit Paul
AU  - Proma Chowdhury
AU  - Kazi Sakib
PY  - 2025
UR  - https://arxiv.org/abs/2506.09759
ID  - 2506.09759
ER  -