← Về trang chính1 tin
LLMs có thể viết các quy tắc cho một ngôn ngữ lập trình và chứng minh rằng bộ giải thích của ngôn ngữ đó tuân thủ chúng.
Đăng nhập để góp ý
Nguồn chính
- THẢO LUẬNedoputlobste.rs
LLMs có thể viết các quy tắc cho một ngôn ngữ lập trình và chứng minh rằng bộ giải thích của ngôn ngữ đó tuân thủ chúng.