FOL2NS: Generating Natural Sentences from First-Order Logic
FOL2NS is a neurosymbolic framework converting first-order logic formulas into natural language sentences. It handles deeply nested structures with varying quantifier depths rarely captured by existing corpora. Results show fluent generation but increasing challenges with structural complexity.