Leveraging LLM Reasoning with Dual Horn Programs.

Paul Tarau

Browse the full PADL paper archive.