Kaiyuan Tan

Vanderbilt University

Papers

3

Total Citations

10

H-Index

2

About

No biography available yet.

Research Focus

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

Key Achievements

2
H-Index
3
Papers
10
Total Citations
3
Avg Citations/Paper
🏆 Most Cited Paper
Conformal Temporal Logic Planning using Large Language Models
5 citations · 2023
📈 Most Prolific Year: 2023 (2 Papers)
🤝 Key Collaborators: 8
🏛 Institutions: Vanderbilt University

Top Papers

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

Key Collaborators

YKYiannis Kantaros3 shared papersYVYevgeniy Vorobeychik2 shared papersJTJiaming Tong2 shared papersJWJun Wang1 shared papersHHHosein Hasanbeig1 shared papersJWJun Wang1 shared papersZSZihe Sun1 shared papersJWJun Wang1 shared papers
Not generated yet