Daqian Shao

According to our database, Daqian Shao authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

STR-Cert: Robustness Certification for Deep Text Recognition on Deep Learning Pipelines and Vision Transformers.

Daqian Shao, Lukas Fesser, Marta Kwiatkowska

CoRR, 2024

2023

Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees.

Daqian Shao, Marta Kwiatkowska

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023