Yongqiang Tian

Un nuevo enfoque mejora la fiabilidad de las pruebas para bibliotecas de aprendizaje profundo.

Un análisis detallado de errores en compiladores de Solidity y sus implicaciones.

Una nueva técnica mejora las pruebas para la carga de modelos en compiladores de aprendizaje profundo.