Key points are not available for this paper at this time.
Wir behaupten, dass LLMs mit formalen Analysemethoden kombiniert werden können, um zugängliches und relevantes Feedback für HRI-Aufgaben bereitzustellen. Während logische Spezifikationen nützlich sind, um eine Aufgabe zu definieren und zu bewerten, sind diese Darstellungen für Laien nicht leicht verständlich. Zum Glück sind LLMs darin geübt, leicht verständliche Texte zu generieren, die schwierige Konzepte erklären. Durch die Integration von Ergebnisse der Aufgabenbewertung und anderen kontextuellen Informationen in einen LLM-Prompt können wir effektiv ein nützliches Set von Empfehlungen für den Lernenden synthetisieren, um ihre Leistung zu verbessern.
Jensen et al. (Sat,) haben diese Frage untersucht.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: