conftrace_

derivation verification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

process-outcome alignment (1) verifier accuracy (1) stem reasoning (1) reinforcement learning with verifiable reward (1)

Papers

PRIME: A Process-Outcome Alignment Benchmark for Verifiable Reasoning in Mathematics and Engineering ACL 2026