Login / Signup
Daqian Shao
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Unsupervised Feature Learning
Bounded Model Checking
Weakly Supervised
Text Recognition
Top Venues
CoRR
IJCAI
</>
Publications
</>
Daqian Shao
,
Lukas Fesser
,
Marta Kwiatkowska
STR-Cert: Robustness Certification for Deep Text Recognition on Deep Learning Pipelines and Vision Transformers.
CoRR
(2024)
Daqian Shao
,
Marta Kwiatkowska
Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees.
IJCAI
(2023)
Daqian Shao
,
Marta Kwiatkowska
Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees.
CoRR
(2023)