TY  - RPRT
TI  - Evaluating Implicit Regulatory Compliance in LLM Tool Invocation via Logic-Guided Synthesis
AU  - Da Song
AU  - Yuheng Huang
AU  - Boqi Chen
AU  - Tianshuo Cong
AU  - Randy Goebel
AU  - Lei Ma
AU  - Foutse Khomh
PY  - 2026
UR  - https://arxiv.org/abs/2601.08196
ID  - 2601.08196
ER  -