conftrace_

symbolic prover

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

material inference (1) logical validity (1) formal reasoning (1) large language model (1) argument generation (1) neuro-symbolic reasoning (1) explanation generation (1)

Papers

PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement ACL 2025