TY  - RPRT
TI  - Close is Good Enough: Component-Based Synthesis Modulo Logical Similarity
AU  - Ashish Mishra
AU  - Suresh Jagannathan
PY  - 2025
UR  - https://arxiv.org/abs/2508.14614
ID  - 2508.14614
ER  -