Author

Martin Foltin

h-index 4 View on Semantic Scholar

We have 1 of 22 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

Neuro-symbolic PRM: Enhancing Scientific Reasoning via Structured Traces and Symbolic Verification

A neuro-symbolic framework that cleanly decouples reasoning into two formal dimensions: Symbolic Validity and Semantic Groundedness is proposed, which significantly improves reasoning reliability without the sprawling heuristics of prior frameworks.

Yuxin Zi, Cong Xu, Suparna Bhattacharya et al. · 0 citations