Hannah Tongxin Zeng

生成エージェントの行動を強化するための新しいアプローチ、Temporal Stream Logicを使ったやつ。