Iris Ma

Explorer comment ChatGPT peut améliorer la qualité des messages de commit dans le développement logiciel.

Combiner des LLM et la vérification formelle pour améliorer la précision et l'efficacité de la programmation.

Les tuteurs IA aident les étudiants dans les cours de programmation, améliorant leur expérience d'apprentissage.