Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods

Yedi Zhang, Yufan Cai, Xinyue Zuo, Xiaokun Luan, Kailong Wang +7 more
2/14/2026

No confident code implementation found for this paper. 4 possible matches can be shown below.

Semantic Scholar

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. 4 weaker matches are hidden by default — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Cite this paper

@article{zhang2026position,
  title  = {Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods},
  author = {Yedi Zhang and Yufan Cai and Xinyue Zuo and Xiaokun Luan and Kailong Wang and Zhe Hou and Yifan Zhang and Zhiyuan Wei and Meng Sun and Jun Sun and Jing Sun and Jin Song Dong},
  year   = {2026},
  url    = {https://api.semanticscholar.org/CorpusID:470a7fd64767a9bad7a78c2db8b94c1a331e251c},
  journal = {ICML 2025 2025}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/470a7fd64767a9bad7a78c2db8b94c1a331e251c.svg)](https://codeofpaper.com/paper/470a7fd64767a9bad7a78c2db8b94c1a331e251c)

Discussion