Ho Chit Siu
4 papers · 2021–2025 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
๐
Conference Polyglot ยท Bronze
๐
Interdisciplinary Bridge ยท Bronze
๐บ๏ธ
Taxonomy Completionist
(10)
๐ฃ
Hot Topic Early Bird
Venues
Top co-authors
Research topics
Keywords
active learning
(1)
deep reinforcement learning
(1)
reinforcement learning
(1)
policy gradient
(1)
learning from demonstration
(1)
proximal policy optimization
(1)
reward shaping
(1)
cooperative game
(1)
temporal logic
(1)
formal specification
(1)
spatial reasoning
(1)
human-ai interaction
(1)
formal logic
(1)
rule-based agent
(1)
signal temporal logic
(1)
delayed reward
(1)
object placement
(1)
human-ai team
(1)
region connection calculus
(1)
human interpretability
(1)
Papers
Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards
L4DC 2025
Inference of Human-derived Specifications of Object Placement via Demonstration
IJCAI 2025
STL: Still Tricky Logic (for System Validation, Even When Showing Your Work)
NeurIPS 2024
Evaluation of Human-AI Teams for Learned and Rule-Based Agents in Hanabi
NeurIPS 2021