实体
Strix
Strix
PulseAugur coverage of Strix — every cluster mentioning Strix across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
最近 · 第 1/1 页 · 共 2 条
-
一家 a16z 投资的初创公司因零认证漏洞暴露美军数据
一家网络安全公司在 Strix 公司发现了一个重大的数据暴露漏洞，Strix 是一家获得风险投资公司 Andreessen Horowitz (a16z) 支持的初创公司。该漏洞允许在无需任何认证的情况下访问敏感的美国军方数据，并且在 150 天内未得到解决。此事件凸显了处理政府合同的专注于人工智能的初创公司可能存在的安全风险。
-
SemML 2.0 tool synthesizes reactive systems from LTL specifications faster
Researchers have developed SemML 2.0, a new tool for synthesizing reactive systems from linear temporal logic (LTL) specifications. This system outperforms existing state-of-the-art tools like Strix and LtlSynt in the S…