本研究探讨了大型语言模型（LLMs）在生成可靠输出时面临的挑战，并提出将形式方法（FMs）与LLMs结合的新策略，以提升模型的可信性和工具的效率。这一融合有望变革可信AI软件系统的开发。
完成下面两步后，将自动完成登录并继续当前操作。
