Workgroup - Moderation: Mateja Jamnik and Wenda Li
Vložit
- čas přidán 15. 07. 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.