Add reasoning papers by Qiming Bao

[qimingbao87]

Summary

Adds a few papers on LLM + symbolic/logical reasoning to the collection:

• From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm (NZAIR 2021) — Basic Neuro-Symbolic Frameworks
• AbductionRules: Training Transformers to Explain Unexpected Inputs (ACL Findings 2022) — Symbolic Generation, LLM Imitation
• ChatLogic: Integrating Logic Programming with LLMs for Multi-Step Reasoning (IJCNN 2024) — Symbolic Solver Aided Methods
• Large language models are not strong abstract reasoners (IJCAI 2024) — Misc on Neuro-Symbolic Learning
• Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on OOD Generalisation (IJCLR 2022) — Misc on Neuro-Symbolic Learning
• Assessing and Enhancing the Robustness of LLMs with Task Structure Variations for Logical Reasoning (ICONIP 2024) — Misc on Neuro-Symbolic Learning
• Conflict-Aware Fusion: Mitigating Logic Inertia in LLMs via Structured Cognitive Priors (arXiv 2025) — Misc on Neuro-Symbolic Learning
• RLearner-LLM: Balancing Logical Grounding and Fluency via Hybrid DPO (arXiv 2026) — Misc on Neuro-Symbolic Learning
• PhD thesis: Developing And Assessing Language Models For Logical Reasoning Over Natural Language (University of Auckland, 2025) — Survey on LLM Reasoning

Test plan

• Verified all links resolve (arXiv/venue/GitHub)
• Matched existing table formatting for each section