Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods
No confident code implementation found for this paper. 4 possible matches can be shown below.
No confident code implementation found for this paper. 4 possible matches can be shown below.
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!
MMDT: Decoding the Trustworthiness and Safety of Multimodal Foundation Models
Towards LLM4QPE: Unsupervised Pretraining of Quantum Property Estimation and A Benchmark
HiViT: A Simpler and More Efficient Design of Hierarchical Vision Transformer
Classical Simulation of Quantum Circuits: Parallel Environments and Benchmark
Winning Both the Accuracy of Floating Point Activation and the Simplicity of Integer Arithmetic
Positional Attention: Expressivity and Learnability of Algorithmic Computation
@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}
}Shows whether official code is linked for this paper.
[](https://codeofpaper.com/paper/470a7fd64767a9bad7a78c2db8b94c1a331e251c)