Unverified50% confidenceFactExact time
The SymCE corpus contains 4,707 undergraduate-level false conjectures in the domains of algebra and real analysis, each accompanied by an executable verifier.
1
Sources
50%
Confidence
Long-term
Relevance
10/5/2026
First Seen
Sources
Related Entities
Related Claims
Unverified多路推理验证的核心思路是让正确答案能够通过多条推理路径被推导出来，而错误答案往往是偶发性的，可通过多次采样筛除63% similarUnverifiedThe SymCE paper reformulates the counterexample generation task as 'constraint witness emission targeting a deterministic verifier,' requiring the model to produce, for each false proposition, a counterexample that can be judged valid by a Python verifier.62% similarUnverifiedThe most significant technical contribution of this paper is the derivation of a deterministic equivalent expression for test error.62% similarUnverifiedThe research team conducted controlled experiments on four trained DeBERTa checkpoints across a total of 7,890 claims.62% similarUnverifiedBefore evaluation, it is essential to verify that the test framework has genuinely scored every row it claims to have evaluated; otherwise, scripts that silently swallow errors will produce a false 100% pass rate that excludes the hardest edge cases.61% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/975469API
curl https://kongchang.com/api/v1/knowledge/claims/975469MCP
get_claim(id=975469)