conftrace_

natural-to-formal language conversion

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

symbolic system (1) natural-to-formal language (1) decomposition capability (1) large language model (1)

Papers

Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion NAACL 2025