Victor Deng

According to our database, Victor Deng authored at least 3 papers between 2022 and 2025.

Collaborative distances:

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

2025

Formal Verification for JavaScript Regular Expressions: a Proven Semantics and its Applications.

Aurèle Barrière, Victor Deng, Clément Pit-Claudel

CoRR, July, 2025

Investigating the Sensitivity of Pre-trained Audio Embeddings to Common Effects.

Victor Deng, Changhong Wang, Gaël Richard, Brian McFee

Proceedings of the 2025 IEEE International Conference on Acoustics, 2025

2022

Geodesic Quantum Walks.

Giuseppe Di Molfetta, Victor Deng

CoRR, 2022