Lambda-Kalkül-Übersetzer für ein Salzburger EdTech-Lernspiel
Übersicht
Worum es bei diesem Projekt geht.
Baue einen CCG-Übersetzer für ein EdTech-Spiel, validiere 200 Testsätze in Lambda-Form und erhalte ein verifizierbares Zertifikat.
Das Briefing
Was Du tust und was Du zeigst.
Wie viel einer einfachen deutschen Aussagenmenge mit Quantoren lässt sich mit einem kompositionellen Übersetzer reproduzierbar in eine korrekte Lambda-Form überführen?
Earning criteria — what you'll demonstrate
- Kompositionelle Semantik in einer engen Domäne anwenden
- Lambda-Reduktion in einer Implementierung handhaben
- Kategoriale Grammatik praktisch einsetzen
- Theoretisches Verständnis in ein produktnahes Werkzeug überführen
Studienpassung
Wo dies in Dein Studium passt.
Schärft dieselben Fähigkeiten, die Dein Studium von Dir erwartet.
Computational Semantics
Master · Ai Ml
Fit score: 1
Fähigkeiten
Fähigkeiten, die Du unter Beweis stellst.
Jede taucht auf Deinem verifizierten Zertifikat auf.
Karrieren
Berufe, auf die dies Dich vorbereitet.
Echte Berufsbezeichnungen. Echte Skill-Brücken. Wähle die, die Deinem Werdegang am nächsten kommt.
Karrierewege, die das aufbaut
Kanonische RollenResearch Scientist
Kompositionelle Semantik in einer engen Domäne sauber zu implementieren ist eine der seltenen Erfahrungen, die ein Research Scientist mit klassischer Linguistik-Verankerung mitbringt.
Dieses Projekt schärft
- compositional-semantics
- lambda-calculus
- parsing
NLP Engineer
Die Brücke von formaler Semantik zu einer reproduzierbaren Pipeline ist ein starkes Profil-Stück für NLP Engineers, die mit klassisch-symbolischen Methoden arbeiten.
Dieses Projekt schärft
- parsing
- compositional-semantics
- model-evaluation
ML Researcher
Ein theoretisches Verständnis in eine konkrete Aufgabe zu übersetzen und mit einer ehrlichen Bewertung zu verbinden ist die Standardarbeit von ML Researchern in Forschungsabteilungen.
Dieses Projekt schärft
- lambda-calculus
- knowledge-representation
- model-evaluation
Noch eine Sache