Author

Lecheng Ruan

2 papers indexed here

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

Experiments show that SCR improves both domain-constraint satisfaction and generalization, providing an effective and interpretable approach for translating human intent into verifiable specifications for robotic execution.

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