本文介绍了利用定制化的大型语言模型 (LLM) 进行安全分析和人工智能与人类的协同设计的方法。通过提示工程、启发式推理和检索增强生成的元素,保持结构化信息,并提高生成式 AI 的质量要求。同时,通过图形表述作为系统模型的中间表示,促进了 LLM 和图形之间的交互。以自动驾驶系统为案例,展示了该方法的应用。
完成下面两步后,将自动完成登录并继续当前操作。