Unverified50% confidenceBenchmarkExact time
BEq+ achieves 95.8% precision and 61.8% recall on the ProofNetVerif test set.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
10/26/2026
First Seen
Valid until: 1/24/2027
Sources
Related Entities
Related Claims
UnverifiedUnder the best prompt, SemantEq-ProofAudit raises the recall on 407 equivalent statement pairs from 65.4% to 81.1%.72% similarVerifiedIn the same reproduction experiment, ResNet-20 achieved a test accuracy of 90.4% and ResNet-56 achieved a test accuracy of 91.7%, with training accuracies of 97.4% and 99.0% respectively.71% similarUnverifiedA single "trusted source" prompt caused 7 out of 8 tested models to reverse between 45% and 88% of their correct answers.68% similarUnverifiedFor the 7B model, accuracy with the solver was 75.31% versus 72.02% for direct calculation, a paired improvement of +3.29 percentage points, with a 95% cluster interval of [-3.49, 10.38] crossing zero, making the advantage non-significant.68% similarUnverifiedOn a test set of 600 synthetic invoices, the QLoRA fine-tuned model achieved a full-invoice exact rate of 83.0%, an auto-approval rate of 86.8%, and 0 out of 461 validation-coverage field errors in approved invoices (upper bound 0.8%).67% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1098295API
curl https://kongchang.com/api/v1/knowledge/claims/1098295MCP
get_claim(id=1098295)