Workgroup - Moderation: Mateja Jamnik and Wenda Li
HTML-код
- Опубликовано: 15 июл 2024
- The role and challenges of LLMs/neural methods in autoformalisation. We will be extremely interested in inputs from experts who use sympolic methods to parse natural languages, which are very likely to complement the neural approaches.