Sort by
Refine Your Search
-
translating natural language specification into a symbolic representation (e.g. knowledge graph (KG) or logic program) and a symbolic solver computing the solution. Another example is the generation
-
these solutions against explicit, formalized constraints by symbolic reasoning. An example is a LLM translating natural language specification into a symbolic representation (e.g. knowledge graph (KG) or logic
-
-time, three-year position within the audio and speech processing team of the Signal Processing Systems (SPS) Section. In the SPS section, we conduct research in array signal processing, graph signal
-
Applications are invited for a 2-years position as postdoctoral researcher within the research project “Graphs and Ontologies for Literary Evolution Models” (GOLEM), financed by an ERC Starting