网友提问 ：@董秘杨涛请问董秘，公司机器人编程大模型是如何实现自动编程的？应用在哪些领域？
2024-04-30 16:24:16
科大国创 (300520): 回答：您好，感谢关注。公司在高可信软件的基础上，开创性地将高可信软件分析验证技术与大模型技术相融合，积极研发国创星云大模型（机器人编程），使用大模型快速生成程序代码和形式规约，经过仿真和形式验证保证模型的正确性，自动生成安全可靠的可执行代码，实现机器人编程，在一些安全攸关的领域应用前景广阔。目前机器人编程大模型仍在研发完善。
2024-04-30 16:40:31