Nghiên cứuĐiểm AI 85/100
SkillSpec: Khung suy luận đặc tả dựa trên mặt nạ ý định để đảm bảo tính đúng đắn cho kỹ năng của AI Agent
SkillSpec là khung suy luận kiểu Hoare giúp chuẩn hóa các kỹ năng của AI Agent thành đồ thị thống nhất, từ đó phát hiện các lỗi ngữ nghĩa và xung đột ý định mà mã nguồn thông thường khó nhận diện.