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 Szenario
Das EdTech hat 12 Mitarbeitende, etwa 4.000 zahlende Studierende in der DACH-Region und sieht in dieser theoretisch fundierten Aufgabe die Möglichkeit, sich vom Wettbewerb zu differenzieren.
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.
Studienzuordnung folgt in Kürze.
Fähigkeiten
Fähigkeiten, die Du unter Beweis stellst.
Jede taucht auf Deinem verifizierten Zertifikat auf.
- Lambda Calculus
Apply lambda calculus to solve real industry problems and demonstrate production-level capability.
- Compositional Semantics
Apply compositional semantics to solve real industry problems and demonstrate production-level capability.
- Parsing
Apply parsing to solve real industry problems and demonstrate production-level capability.
- Python
Write clean, efficient Python for data processing, automation, and backend services.
- Model Evaluation
Apply model evaluation to solve real industry problems and demonstrate production-level capability.
- Knowledge Representation
Apply knowledge representation to solve real industry problems and demonstrate production-level capability.
Karrieren
Berufe, auf die dies Dich vorbereitet.
Echte Berufsbezeichnungen. Echte Skill-Brücken. Wähle die, die Deinem Werdegang am nächsten kommt.
Research 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