Login / Signup
Daqian Shao
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 4
Top Topics
Hidden Variables
Viterbi Algorithm
Text Recognition
Human Learning
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
,
Ashkan Soleymani
,
Francesco Quinzan
,
Marta Kwiatkowska
Learning Decision Policies with Instrumental Variables through Double Machine Learning.
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)