Yuan Yao

7 papers in the IJCAI proceedings

IJCAI 2025

Simulate, Refine and Integrate: Strategy Synthesis for Efficient SMT Solving

with Bingzhe Zhou, Hannan Wang, Taolue Chen, Feng Xu, Xiaoxing Ma

doi:10.24963/ijcai.2025/887

Details PDF

IJCAI 2024

Intention Progression with Temporally Extended Goals

with Natasha Alechina, Brian Logan

doi:10.24963/ijcai.2024/33

Details PDF

IJCAI 2023

Multi-Agent Intention Recognition and Progression

with Michael Dann, Natasha Alechina, Brian Logan, Felipe Meneguzzi, John Thangarajah

doi:10.24963/ijcai.2023/11

Details PDF

IJCAI 2022

Multi-Agent Intention Progression with Reward Machines

with Michael Dann, Natasha Alechina, Brian Logan, John Thangarajah

doi:10.24963/ijcai.2022/31

Details PDF

IJCAI 2021

Multi-Agent Intention Progression with Black-Box Agents

with Michael Dann, Brian Logan, John Thangarajah

doi:10.24963/ijcai.2021/19

Details PDF

IJCAI 2020

Intention Progression under Uncertainty

with Natasha Alechina, Brian Logan, John Thangarajah

doi:10.24963/ijcai.2020/2

Details PDF

IJCAI 2019

Commit Message Generation for Source Code Changes

with Shengbin Xu, Feng Xu, Tianxiao Gu, Hanghang Tong, Jian Lu

doi:10.24963/ijcai.2019/552

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings