Cover Image

Evaluating Implicit Regulatory Compliance in LLM Tool Invocation via Logic-Guided Synthesis

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Song, Da, Huang, Yuheng, Chen, Boqi, Cong, Tianshuo, Goebel, Randy, Ma, Lei, Khomh, Foutse
Format: Preprint
Published: 2026
Subjects:
Computation and Language
Artificial Intelligence
Cryptography and Security
Logic in Computer Science
Software Engineering
Online Access:
Acceder al recurso
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first

Similar Items