Junkai Ma
収録論文 1本 ・ フィジカルAI/ロボット学習
形式手法
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- ReasonSTL: ツール拡張とプロセス報酬学習による自然言語と信号時相論理の橋渡し形式手法2026/5/1
自然言語で表された要件を信号時相論理(STL)式に変換するフレームワークReasonSTLを提案し、ローカルなオープンソース言語モデルを用いて、推論の分解、決定的ツール呼び出し、構造化式構築を行い、プロセス報酬学習で訓練する。