Iris Ma

Explorando cómo ChatGPT puede mejorar la calidad de los mensajes de commit en el desarrollo de software.

Combinando LLMs y verificación formal para mejorar la precisión y eficiencia en la programación.

Los tutores de IA apoyan a los estudiantes en cursos de programación, mejorando su experiencia de aprendizaje.