Home | Chika Komari

GitHub Commit Activity

Last 12 months

Source: GitHub profile graph

Live contributions are fetched from your public GitHub profile graph.

Avg. progress 11.1% · 1 roots / 3 nodes

Avg. progress 11.1% · 1 roots / 3 nodes

Avg. progress 11.1% · 1 roots / 3 nodes

研究具身体在多轮指令交互中对用户潜在偏好的持续推断、维护与利用，聚焦高维心理信号挖掘。

研究城市路网场景下的关键节点识别与影响力传播建模，属于低维结构信号挖掘方向的核心成果。

把自然语言指令转换为可执行桌面任务计划，支持自动校验、自动修复与多工具协同执行。

Agent Orchestration 是整个 Agent 领域中的重要一环，我们推出了 Cantilune 项目，旨在为 Agent Orchestraion 提供更好的自主性、观测性、稳定性与长程可执行性。

Lean 是微软研究院在 2013 年推出的计算机定理证明器。Lean 4 于 2021 年发布，为 Lean 定理证明器的重新实现，能够生成 C 代码后进行编译，以便开发高效的特定领域自动化。其兼具数学和编程两方面的特性，数学家可以将数学定理转换成代码，并严格验…

这一章讲讲 Palantir 的表现方式，包括对象浏览器、对象检测器、对象视图、本体管理器、顶点(产品，Vertex)、机械(产品，Machinary)、铸造厂(产品，Foundry)规则、地图、动态调度。

ETL，Extract-Transform-Load的缩写，是将业务系统的数据经过抽取、清洗转换之后加载到数据仓库的过程。

本体论是一种用于存储本体资源或实体的工具，包含对象类型、链接类型、操作类型、接口/界面、共有属性和对象类型组等。我们将这些资源称为本体资源。本体可以是私有的，仅属于一个组织，也可以在多個组织之间共享。

Jan 2026: submitted first-author ICML 2026 paper on latent preference discovery
2025: accepted at GBCESC 2025 and received Best Paper Award
Since Apr 2025: building financial knowledge-graph infrastructure at Evolution Asset Management