NLP

TTPrint: Evidence-Grounded TTP Extraction via Diverge-then-Converge Verification

NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models