From Natural Language to Executable Narsese: A Neuro-Symbolic Benchmark and Pipeline for Reasoning with NARS

Build a bridge between LLMs and NARS (Non-Axiomatic Reasoning System) for formal symbolic reasoning. This enables LLMs to execute verifiable logical operations.

Suggested repo: NarsLLM

"Give your LLM a formal reasoning engine for guaranteed multi-step logic."

Estimated effort: 110h