conftrace_

decomposition capability

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

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