2 citations · 3 across the 6 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.AI2024
The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap
Yedi Zhang, Yufan Cai, Xinyue Zuo +9
Large Language Models (LLMs) have emerged as a transformative AI paradigm, profoundly influencing daily life through their exceptional language understanding and contextual generat…
cs.CR2024
Assessing Privacy Compliance of Android Third-Party SDKs
Mark Huasong Meng, Chuan Yan, Qing Zhang +5
Third-party Software Development Kits (SDKs) are widely adopted in Android app development, to effortlessly accelerate development pipelines and enhance app functionality. However,…