Lin Tan

Dieser Artikel beschäftigt sich mit einer Methode, um schwarze Kasten-Maschinenlernmodelle ohne Trainingsdaten zu verstehen.

Untersuchen der Rolle von LLMs bei der Generierung von Softwarespezifikationen zur Verifizierung.