I build research systems that turn ambitious AI claims into reproducible, inspectable evidence.
Nullius in verba.Take nobody's word for it.
Featured research
Evaluation artifacts produce scores. They do not automatically bind the historical evidence or alternative semantics needed to replay the claim attached to that score.
Versioned inputs, observations, traces, state, and support.
Primary admissible readings and a separate review envelope.
Exact score, winner, complete order, or pairwise relation.
Not another benchmark score—a contract for what may be inferred.
Every unit receives a terminal record. A STOP is not a zero score; it identifies the first missing object and the minimum artifact needed to unblock replay.
Primary and review families remain separate. A winner can stay identified even when the complete order does not.
A fresh run cannot reconstruct a historical evaluation event. Replay requires bound observations, mediator decisions, state, support joins, and semantic admission.
“The result is a reviewable claim-replay contract rather than a forced evaluator meaning or a single flip label.”Conclusion · arXiv v3
Open-source contributions
Selected contributions merged upstream. Updated .
apache / datafusion #25150
Added a columnar path for supported, fully ordered multi-column aggregations. Adjacent equal keys share a group without a hash table, reducing grouping work and retained state.
pydata / xarray #11552
Extended array-function dispatch to complete DataTree structures, preserving child datasets, inherited coordinates, core dimensions, and multiple outputs.
awslabs / stickler #284
Implemented ROC AUC, Rand index, V-measure, and Kendall tau-b in NumPy, removing scikit-learn from the core dependencies while checking results against reference implementations.
lacs-project / sysknife #514
Removed credential-taking actions from the natural-language planner until a separate credential channel exists. Schema, parser, and prompt checks enforce the same boundary.
AndreaBozzo / dataprof #655
Applied column projection across Rust and Python profiling APIs, including streaming and Parquet paths. Physical Parquet projection avoids reading unselected column chunks.
3b1b / manim #2501
Added planar rotation for batches of 2D vectors, restoring the VectorField curl example while preserving the existing rotation behavior for 3D vectors.
Selected work
Selected recognition
CCF 开源创新大赛
openvela Smart Band Track
openvela 智能手环赛道
Wearable application development on openvela, covering embedded systems, interaction design, and integration. Organized by the China Computer Federation (CCF); the 2026 competition received 586 valid entries and awarded 34 first prizes across all tracks.
基于 openvela 开发智能手环应用，涵盖嵌入式开发、交互设计与系统集成。中国计算机学会（CCF）主办；2026 年全赛共收到 586 份有效作品，评出 34 项一等奖（所有赛道合计）。
Competition details / 赛事介绍CCF 开源创新大赛
openvela Smart Home Track
openvela 智能家居赛道
Develop smart-home AI agents that connect natural-language requests with device tools and control workflows. This CCF competition track tests integration across language models, embedded software, and open-source systems.
围绕 openvela 构建智能家居 AI Agent，将自然语言请求接入设备工具与控制流程。作为 CCF 开源竞赛赛道，重点考察大模型、嵌入式软件与开源系统的综合实现能力。
Competition details / 赛事介绍CCF 量子计算编程挑战赛
Origin Quantum Cup
本源杯
A CCF-organized quantum programming challenge using Origin Quantum’s QPanda3 and VQNet tools. Tasks span circuit design and algorithm implementation, testing the ability to turn quantum theory into working code.
由 CCF 主办的量子计算编程赛事，使用本源量子的 QPanda3、VQNet 等工具，涵盖量子线路设计与算法实现，考察将量子理论转化为可运行程序的专业能力。
Competition details / 赛事介绍全国大学生电工数学建模竞赛
CSEE Cup · “Diangong Cup”
中国电机工程学会杯 · 电工杯
A national competition organized by the Chinese Society for Electrical Engineering. Teams of three have 72 hours to model an applied problem and submit a paper, testing mathematical reasoning, computation, and technical writing.
中国电机工程学会主办的全国性竞赛。三人组队，在 72 小时内完成实际问题的建模、求解与论文，综合考察数学分析、计算实现及技术表达能力。
Competition details / 赛事介绍Three operating principles
01Lex me quoque ligat.
The law binds me too.
02In dubio, siste.
When in doubt, stop.
03Nihil ultra testimonium.
Nothing beyond the evidence.
Festina lente.
Make haste slowly.