C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Kaiyuan Tan
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 8
Top Topics
Multiscale Segmentation
Temporal Logic
Mazurkiewicz Traces
Object Shape
Top Venues
CoRR
L4DC
MICCAI (6)
</>
Publications
</>
Huimin Xiong
,
Kunle Li
,
Kaiyuan Tan
,
Yang Feng
,
Joey Tianyi Zhou
,
Jin Hao
,
Haochao Ying
,
Jian Wu
,
Zuozhu Liu
TSegFormer: 3D Tooth Segmentation in Intraoral Scans with Geometry Guided Transformer.
MICCAI (6)
(2023)
Huimin Xiong
,
Kunle Li
,
Kaiyuan Tan
,
Yang Feng
,
Joey Tianyi Zhou
,
Jin Hao
,
Haochao Ying
,
Jian Wu
,
Zuozhu Liu
TSegFormer: 3D Tooth Segmentation in Intraoral Scans with Geometry Guided Transformer.
CoRR
(2023)
Jun Wang
,
Hosein Hasanbeig
,
Kaiyuan Tan
,
Zihe Sun
,
Yiannis Kantaros
Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications.
CoRR
(2023)
Jun Wang
,
Jiaming Tong
,
Kaiyuan Tan
,
Yevgeniy Vorobeychik
,
Yiannis Kantaros
Conformal Temporal Logic Planning using Large Language Models: Knowing When to Do What and When to Ask for Help.
CoRR
(2023)
Kaiyuan Tan
,
Jun Wang
,
Yiannis Kantaros
Targeted Adversarial Attacks against Neural Network Trajectory Predictors.
L4DC
(2023)
Jun Wang
,
Kaiyuan Tan
,
Zihe Sun
,
Yiannis Kantaros
Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks.
CoRR
(2023)
Huimin Xiong
,
Kunle Li
,
Kaiyuan Tan
,
Yang Feng
,
Joey Tianyi Zhou
,
Jin Hao
,
Zuozhu Liu
TFormer: 3D Tooth Segmentation in Mesh Scans with Geometry Guided Transformer.
CoRR
(2022)
Kaiyuan Tan
,
Jun Wang
,
Yiannis Kantaros
Targeted Adversarial Attacks against Neural Network Trajectory Predictors.
CoRR
(2022)