Pith. sign in

Paper Citation Record · LEDGER

FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction

As of 6 August 2026, this Paper Citation Record lists 15 of 15 outbound references and 0 inbound Pith citation observations for arXiv:2604.18328.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2604.18328 v1

Coverage vector

measured 15 of 15 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-10T05:16:21.592833Z

measured 15 of 15 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-06T06:34:29.942622+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

15 of 15 outbound references displayed

  • verified exact4
  • verified fuzzy8
  • unresolved0
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch3

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation e2bcd2cb-119b-45a9-912e-bfaef5fc5abb · outbound

This paper cites S em E val-2026 Task 11: Disentangling Content and Formal Reasoning in Large Language Models.

FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction S em E val-2026 Task 11: Disentangling Content and Formal Reasoning in Large Language Models

Reference 1

Resolution
verified fuzzy
raw_fallback, observed 2026-05-21T21:35:40.889325Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=arxiv_source observed=2026-05-10T05:16:21.592833Z digest=sha256:e10ee38331e7901d631f99a9622284cf57972dc73fdc044b6d2c55a4eb8c74a3

Observation 02f2d824-007f-4ed2-bfc2-4be3f747c856 · outbound

This paper cites Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic Inference.

FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic Inference

Reference 2

Resolution
verified exact
doi, observed 2026-05-10T05:20:54.624895Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=arxiv_source observed=2026-05-10T05:16:21.592833Z digest=sha256:04cb27c81e23bf1d8f45838b210f5b4d3157a2ab09e25966cff2f03b0bcbd2e6

Observation fedbec89-50ee-443d-8763-5e43dc31657f · outbound

This paper cites Language models show human-like content effects on reasoning tasks.

FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction Language models show human-like content effects on reasoning tasks

Reference 3

Resolution
verified exact
arxiv_id, observed 2026-05-10T09:28:39.363937Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=arxiv_source observed=2026-05-10T05:16:21.592833Z digest=sha256:c8b27549638e06f872996ee595322fc1bde5b81136872a6086ac14a2743703ae

Observation 6a45c76d-e125-4ae8-a1f6-2a907d942679 · outbound

This paper cites A Systematic Analysis of Large Language Models as Soft Reasoners: The Case of Syllogistic Inferences.

FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction A Systematic Analysis of Large Language Models as Soft Reasoners: The Case of Syllogistic Inferences

Reference 4

Resolution
verified fuzzy
raw_fallback, observed 2026-05-21T21:35:40.908795Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=arxiv_source observed=2026-05-10T05:16:21.592833Z digest=sha256:87ddc07fe76837b9b151c1ff7920a94bc4cc5535df6d9bf1008f093654932068

Observation 69e5d899-2b60-4257-9bca-e9dc9a93b720 · outbound

This paper cites A systematic comparison of syllogistic reasoning in humans and language models.

FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction A systematic comparison of syllogistic reasoning in humans and language models

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-05-21T21:35:40.911985Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=arxiv_source observed=2026-05-10T05:16:21.592833Z digest=sha256:067652dbcd9edf7c445a50279f3ff9d7bdffc27ee4567b97ea208d829cc79ca5

Observation b3f7e5f3-c6c0-44a2-8d80-2a9a9f87ea34 · outbound

This paper cites S yllo B io- NLI : Evaluating Large Language Models on Biomedical Syllogistic Reasoning.

FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction S yllo B io- NLI : Evaluating Large Language Models on Biomedical Syllogistic Reasoning

Reference 6

Resolution
verified fuzzy
raw_fallback, observed 2026-05-21T21:35:40.904780Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=arxiv_source observed=2026-05-10T05:16:21.592833Z digest=sha256:7e5b258e02a22f038f8dbfc3a142c91f7ac53e75fae23120d94fec496243c72e

Observation eba1bdb4-95e3-471d-b94b-83ff0470abf2 · outbound

This paper cites Exploring reasoning biases in large language models through syllogism: Insights from the N eu BAROCO dataset.

FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction Exploring reasoning biases in large language models through syllogism: Insights from the N eu BAROCO dataset

Reference 7

Resolution
verified fuzzy
raw_fallback, observed 2026-05-21T21:35:40.901467Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=arxiv_source observed=2026-05-10T05:16:21.592833Z digest=sha256:48e5233fecfe459b5078134f463abb910aad94f0503954f36df8aae5c58b3f81

Observation 5ea353dd-63bf-4caf-aef4-240de1a26c39 · outbound

This paper cites Improving chain-of-thought reasoning via quasi-symbolic abstractions.

FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction Improving chain-of-thought reasoning via quasi-symbolic abstractions

Reference 8

Resolution
verified fuzzy
raw_fallback, observed 2026-05-21T21:35:40.892860Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=arxiv_source observed=2026-05-10T05:16:21.592833Z digest=sha256:bfaf4f7db8c78d4688ca78c52d789a31d709c5125b0d5087239203552ca2c890

Observation e4ecd9da-a918-4ac1-a97f-21c5287a5e72 · outbound

This paper cites A Neurosymbolic Approach to Natural Language Formalization and Verification.

FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction A Neurosymbolic Approach to Natural Language Formalization and Verification

Reference 9

Resolution
metadata mismatch
arxiv_id, observed 2026-07-15T01:20:49.585649Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=arxiv_source observed=2026-05-10T05:16:21.592833Z digest=sha256:d513ea884a48904816be222f99b4fff51e05ca1f048bdf4d54abf44926db7d1c

Observation 687a85eb-be47-463d-b22f-4622003f44cc · outbound

This paper cites Z3 : An Efficient SMT Solver.

FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction Z3 : An Efficient SMT Solver

Reference 10

Resolution
verified fuzzy
raw_fallback, observed 2026-05-21T21:35:40.895623Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=arxiv_source observed=2026-05-10T05:16:21.592833Z digest=sha256:5f97d2f89cd37aa743f668e760ba210530d6591a7d90989c2785b498e01369be

Observation ab20b628-b9af-4509-a0ca-2d6a06f78673 · outbound

This paper cites In Findings of the Association for Computational Linguistics: ACL 2024, pages 16063– 16077.

FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction In Findings of the Association for Computational Linguistics: ACL 2024, pages 16063– 16077

Reference 11

Resolution
metadata mismatch
arxiv_id, observed 2026-05-10T09:28:39.366363Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=arxiv_source observed=2026-05-10T05:16:21.592833Z digest=sha256:ab45b1a20cfb5da1d36aaf5082ae95e4f267806abdd6a3a4a1faf9d31bd2ac7d

Observation b1ec066d-ba24-43f9-8fc1-b00e95ed693e · outbound

This paper cites Abstract Activation Spaces for Content-Invariant Reasoning in Large Language Models.

FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction Abstract Activation Spaces for Content-Invariant Reasoning in Large Language Models

Reference 12

Resolution
verified exact
arxiv_id, observed 2026-05-10T09:28:39.358954Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=arxiv_source observed=2026-05-10T05:16:21.592833Z digest=sha256:988d20668085ecf8637c9bf3747a7b16ca4c5ae0a74fbeae6a10f56cf337c432

Observation 520201e8-8f4e-4b68-a7ff-572a6848e103 · outbound

This paper cites and Gu, Alex and Lipkin, Benjamin and Zhang, Cedegao E.

FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction and Gu, Alex and Lipkin, Benjamin and Zhang, Cedegao E

Reference 13

Resolution
verified exact
doi, observed 2026-05-10T05:20:54.622995Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=arxiv_source observed=2026-05-10T05:16:21.592833Z digest=sha256:c4f75c4f5b7c88e8a8f0e6a9c79f8cf190b8f062d5fe40a7bd5d74efe4b4e1a4

Observation 500d5eb1-b5a2-45f2-8439-3a367df30860 · outbound

This paper cites Findings of the Association for Computational Linguistics: EMNLP 2023 , year =.

FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction Findings of the Association for Computational Linguistics: EMNLP 2023 , year =

Reference 14

Resolution
metadata mismatch
doi, observed 2026-05-10T05:20:54.626830Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=arxiv_source observed=2026-05-10T05:16:21.592833Z digest=sha256:913a287b8f822d4be96eb27002198a31560623a274c6add1de87a61e2833e635

Observation 1a436b0c-bf3e-47bd-b23e-b0ed57210950 · outbound

This paper cites VERAFI : Verified Agentic Financial Intelligence through Neurosymbolic Policy Generation.

FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction VERAFI : Verified Agentic Financial Intelligence through Neurosymbolic Policy Generation

Reference 15

Resolution
verified fuzzy
raw_fallback, observed 2026-05-21T21:35:40.898591Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=arxiv_source observed=2026-05-10T05:16:21.592833Z digest=sha256:d9f1d303e1802d5dbc93322da44f00da470843904abd01b4b9257822a6306d25

Pith citing papers

No inbound Pith citation observations are available.