Adaptive neuro-symbolic reasoning framework that automatically identifies formal reasoning strategies from natural language problems and dynamically composes specialized logical solvers for multi-paradigm inference. - View it on GitHub