Counted as completed checks in the claim sentence numerator.
Paper Integrity Record ยท LEDGER
FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction
As of 20 May 2026, Pith completed 1 of 1 listed checks against arXiv:2604.18328. The completed checks produced no public findings within their stated scope.
This is a record of named checks, not a clean-status claim or a paper verdict.
Coverage vector
Listed checks
doi_compliance
completedv1.0.0, observed 2026-05-20 04:11:11.601065+00:00
- Scope
- DOI and arXiv identifiers listed in the bibliography checked against named registries.
- Completed surface
- Checked 3 references.
Observations
The completed checks produced no public findings within their stated scope.
Methods and limits
Each listed check names the surface it examined. A skipped, failed, partial, unavailable, not collected, not requested, or withheld check says nothing about what a completed check would have returned.
- Only checks with status completed enter the claim sentence numerator.
- Findings appear only from completed checks and only within the scope printed for that check.
- Severity labels describe one observation row. They do not roll up into a paper judgment.