Kaiyuan Tan

Vanderbilt University

论文数

3

总引用数

10

H-Index

2

关于

暂无简介。

研究焦点

Temporal logic3 · 10 次引用
Robot3 · 10 次引用
Linear temporal logic3 · 10 次引用
Abstraction2 · 8 次引用
Artificial intelligence2 · 7 次引用
Theoretical computer science2 · 7 次引用
Computer science2 · 7 次引用
Leverage (statistics)1 · 5 次引用
Programming language1 · 5 次引用
Probabilistic logic1 · 5 次引用
Task (project management)2 · 5 次引用
Correctness1 · 5 次引用

主要成就

2
H 指数
3
论文
10
总引用数
3
篇均引用
🏆 最高被引论文
Conformal Temporal Logic Planning using Large Language Models
5 次引用 · 2023
📈 最高产年份: 2023 (2 论文)
🤝 主要合作者: 8
🏛 所属机构: Vanderbilt University

代表论文

  1. 1
    Conformal Temporal Logic Planning using Large Language Models
    5 次引用 · 2023
  2. 2
    Conformal Temporal Logic Planning using Large Language Models
    3 次引用 · 2025
  3. 3
    Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications
    2 次引用 · 2023

主要合作者

YKYiannis Kantaros3 篇合著论文YVYevgeniy Vorobeychik2 篇合著论文JTJiaming Tong2 篇合著论文JWJun Wang1 篇合著论文HHHosein Hasanbeig1 篇合著论文JWJun Wang1 篇合著论文ZSZihe Sun1 篇合著论文JWJun Wang1 篇合著论文
尚未生成