Kairos
时间轴 (近 90 天)
Kairos 是一个开源风险与欺诈决策平台，在 Hacker News 的 Show HN 板块发布，获得 16 个点数且零评论。
Kairos 的定位是提供可审计、可定制、可自托管的决策基础设施，而非按调用次数计费的 API 服务。
开源决策平台的核心价值在于把决策逻辑本身变成可版本管理的资产，使团队可以像审查代码一样审查风控规则。
在 Show HN 上获得 16 个点数且零评论通常对应项目早期阶段：已有可运行原型，但尚未形成社区讨论氛围。
据论文报告，在来自九个比较套件的1,756个任务上，Kairos在完整资源限制下解决的任务数超过了每个套件中最强的被评估规划器，差异在数值、时间、PDDL3和PDDL+规划上最为明显。
在100毫秒和1秒的严格时间限制下，Kairos解决的任务数也是最多的。
对领域进行重采样后，九个套件中有六个的增益大于零；在经典规划上与LAMA相比，差异在噪声范围内。
额外的450个面向特性的任务和26个单特性探针显示，Kairos能处理所有十七个被探测的特性，而其他被评估的规划器没有一个能处理超过八个。
Kairos是一个根据每个任务的语义来选择异构规划引擎的框架，覆盖从STRIPS到PDDL+的广泛范围。
与VAL验证器的对比将每一个分歧追溯到PDDL+的约定或VAL的已知缺陷。
还有 6 条时间轴事件
全部知识事实 (16)
在 Show HN 上获得 16 个点数且零评论通常对应项目早期阶段：已有可运行原型，但尚未形成社区讨论氛围。
50%待验证Kairos 的定位是提供可审计、可定制、可自托管的决策基础设施，而非按调用次数计费的 API 服务。
50%待验证开源决策平台的核心价值在于把决策逻辑本身变成可版本管理的资产，使团队可以像审查代码一样审查风控规则。
50%待验证Kairos仅在某个搜索过程耗尽空间且其穷尽性构成证明时才报告“无解”，以避免将超时误判为不可解。
50%待验证据论文报告，在来自九个比较套件的1,756个任务上，Kairos在完整资源限制下解决的任务数超过了每个套件中最强的被评估规划器，差异在数值、时间、PDDL3和PDDL+规划上最为明显。
50%待验证在100毫秒和1秒的严格时间限制下，Kairos解决的任务数也是最多的。
50%待验证对领域进行重采样后，九个套件中有六个的增益大于零；在经典规划上与LAMA相比，差异在噪声范围内。
50%待验证额外的450个面向特性的任务和26个单特性探针显示，Kairos能处理所有十七个被探测的特性，而其他被评估的规划器没有一个能处理超过八个。
50%待验证Kairos是一个根据每个任务的语义来选择异构规划引擎的框架，覆盖从STRIPS到PDDL+的广泛范围。
50%待验证与VAL验证器的对比将每一个分歧追溯到PDDL+的约定或VAL的已知缺陷。
50%待验证Kairos的规划器和基准测试均已开源。
50%待验证当前Kairos的引擎集合固定为五个引擎。
50%待验证消融实验表明，压缩时间搜索和新颖性回退是Kairos性能的主要贡献因素。
50%待验证Kairos为每个任务生成语义画像，据此从五个引擎中选择适用的引擎，并在统一的时间和内存预算下调度。
50%待验证Kairos的所有候选计划都会经过一个独立于规划器转换的验证器检查，只有验证通过的计划才会被返回。
50%待验证Kairos 是一个开源风险与欺诈决策平台，在 Hacker News 的 Show HN 板块发布，获得 16 个点数且零评论。
50%