Replication package study LLMs pre-/post-conditions
收藏官方服务：
资源简介：
Containing a replication package of our study on LLMs' ability to extract pre- and post-conditions of programs.
提供机构：
Zenodo创建时间：
2025-11-01
社区交流群
科研交流群
商业服务
Containing a replication package of our study on LLMs' ability to extract pre- and post-conditions of programs.