17 citations · 17 across the 2 of their papers we have counts for
2 papers
eess.AS2020
When Automatic Voice Disguise Meets Automatic Speaker Verification
Linlin Zheng, Jiakang Li, Meng Sun +2
The technique of transforming voices in order to hide the real identity of a speaker is called voice disguise, among which automatic voice disguise (AVD) by modifying the spectral…
cs.SE2019★ 17 cited
A Survey on Theorem Provers in Formal Methods
M. Saqib Nawaz, Moin Malik, Yi Li +2
Mechanical reasoning is a key area of research that lies at the crossroads of mathematical logic and artificial intelligence. The main aim to develop mechanical reasoning systems (…