Author

Kai-Rui Yang

h-index 0 View on Semantic Scholar

We have 2 of 4 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

Linear Temporal Logic Translation via Human-Inspired Self-Constrained Reasoning for Robot Task Specification

Many robotic tasks are temporally extended and demand precise specifications of subgoals, constraints, and their temporal ordering. Yet human operators typically communicate such tasks in natural language, which is inherently ambiguous, underspecified, and context dependent. Translating human instructions into formal t...

Haofei Hou, Fan-Xu Meng, Shunyi Zhao et al. · 0 citations

#artificial intelligence Preprint Jan 2026

BioPIE: A Biomedical Protocol Information Extraction Dataset for Experiment Understanding

Biomedical Protocol Information Extraction Dataset (BioPIE) is introduced, a dataset providing procedure-centric KGs that captures entities, actions, and relations at a scale sufficient for reasoning across biomedical protocols that demonstrate improved understanding performance on both the HID and MSR question sets.

Haofei Hou, Shunyi Zhao, Fan-Xu Meng et al. · 0 citations