Paper Citation Record · LEDGER

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization

As of 7 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 0 inbound Pith citation observations for arXiv:2607.14349.

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

pith.paper-citation-record.v1
2607.14349 v1

Coverage vector

measured 42 of 42 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-02T02:25:10.755219Z

measured 42 of 42 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

42 of 42 outbound references displayed

verified exact0
verified fuzzy0
unresolved41
parse uncertain1
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 48e35431-2e46-4b09-9dac-b6a4930f88db · outbound

This paper cites Cheng and H.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization Cheng and H

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:05.698905Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9b52c0f-8554-4af0-b9c2-223d31e3e49e · outbound

This paper cites Quan and M.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization Quan and M

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:05.818893Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9ef1555-900d-463d-af81-246eaab47058 · outbound

This paper cites Wan and Z.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization Wan and Z

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:06.008228Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 959e37ec-3618-4b5d-a481-b963131a7451 · outbound

This paper cites Valentino and G.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization Valentino and G

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:06.150218Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd8ae2d5-7707-4069-959b-3739ad9d61af · outbound

This paper cites Wu and Y.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization Wu and Y

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:06.310504Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 500aa9ff-5545-4730-b487-d9438a1bf910 · outbound

This paper cites Kim and M.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization Kim and M

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:06.463242Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 853f4025-418a-43b4-a018-c8adbf351f23 · outbound

This paper cites Patel and M.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization Patel and M

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:06.609496Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 43492130-3315-4c29-98eb-40960f54c24f · outbound

This paper cites Bertolazzi and A.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization Bertolazzi and A

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:06.765493Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b7b026a0-a9d3-4884-8945-bbfbddaa6980 · outbound

This paper cites Aho and Jeffrey D.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization Aho and Jeffrey D

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:06.874432Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b455225-89e2-429e-8cb0-9c892be4db18 · outbound

This paper cites an unresolved cited work.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:07.016171Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff0cd58c-78fd-4ddd-aeb8-1ddae5173b5a · outbound

This paper cites Chandra and Dexter C.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization Chandra and Dexter C

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:07.164908Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 50bc924b-3e5c-40d1-a833-709f2131177e · outbound

This paper cites Scalable training of.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization Scalable training of

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:07.303419Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b33e6f1-9bc6-46a0-8ff3-fdd15bbc42b6 · outbound

This paper cites an unresolved cited work.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:07.436250Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72bf5c20-8829-49e4-8a84-1dfebefccdaf · outbound

This paper cites Tetreault , title =.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization Tetreault , title =

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:07.531986Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c699966-ae1c-4e73-9f12-c9180ae97bef · outbound

This paper cites A Framework for Learning Predictive Structures from Multiple Tasks and Unlabeled Data , Volume =.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization A Framework for Learning Predictive Structures from Multiple Tasks and Unlabeled Data , Volume =

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:07.632908Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2657e27-a69a-4f4b-a15c-0cd1dff54526 · outbound

This paper cites and Tukey, John W.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization and Tukey, John W

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:07.750001Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a73ff80-86d6-493d-84af-d78d79d57995 · outbound

This paper cites International Conference on Learning Representations , year=.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization International Conference on Learning Representations , year=

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:07.857863Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5fc9c4a-2eda-4917-8956-fc046e77a953 · outbound

This paper cites Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing , pages=.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing , pages=

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:07.975255Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f27174f-7530-4d54-a8cf-adb56884b98d · outbound

This paper cites International Conference on Learning Representations , year=.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization International Conference on Learning Representations , year=

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:08.075226Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ddb2496-7c73-4eb7-9cd7-4f452044293b · outbound

This paper cites arXiv preprint arXiv:2505.12189 , year =.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization arXiv preprint arXiv:2505.12189 , year =

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:08.134691Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d84fe61-0ce3-4704-a291-0bd8c4c12179 · outbound

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

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic Inference

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:08.204765Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 43da9395-d66a-409c-b12d-4d9244e116f3 · outbound

This paper cites SemEval-2026 Task 11: Disentangling Content and Formal Reasoning in Language Models.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization SemEval-2026 Task 11: Disentangling Content and Formal Reasoning in Language Models

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:08.369826Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 95207ae6-da42-4eb0-b78b-ae42308e6226 · outbound

This paper cites 2024 , eprint=.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization 2024 , eprint=

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:08.535634Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a5d8059-13f3-42df-ba83-73a3bb680802 · outbound

This paper cites 2024 , eprint=.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization 2024 , eprint=

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:08.658263Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47cc6a7e-3867-4db6-a279-76838103c2ab · outbound

This paper cites 2024 , eprint=.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization 2024 , eprint=

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:08.776810Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 295b9816-c9e6-4ea7-be8a-18d8df5d49be · outbound

This paper cites 2023 , eprint=.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization 2023 , eprint=

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:09.010860Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b148a79e-b7ca-4992-b1c1-9aa138f04a37 · outbound

This paper cites 2018 , eprint=.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization 2018 , eprint=

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:09.141919Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6132ce57-b5cf-4b1f-b818-8f7436b68028 · outbound

This paper cites Less Annotating, More Classifying -- Addressing the Data Scarcity Issue of Supervised Machine Learning with Deep Transfer Learning and.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization Less Annotating, More Classifying -- Addressing the Data Scarcity Issue of Supervised Machine Learning with Deep Transfer Learning and

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:09.289698Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31ac7cb1-0b13-4afa-b445-87a23d10229b · outbound

This paper cites 2018 , eprint=.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization 2018 , eprint=

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:09.442969Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 168f172f-e36e-4999-8155-71176879eaf3 · outbound

This paper cites 2015 , eprint=.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization 2015 , eprint=

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:09.566546Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f59cb52-abfc-442e-a9b7-6628fccb6f6e · outbound

This paper cites 2020 , eprint=.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization 2020 , eprint=

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:09.664790Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c8caebc-a0ff-433e-915a-e5d195ffdb10 · outbound

This paper cites The Annals of Mathematical Statistics , volume=.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization The Annals of Mathematical Statistics , volume=

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:09.781025Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fcf7d90d-2be2-4dec-a76b-46ad346675f4 · outbound

This paper cites FreeLB: Enhanced Adversarial Training for Natural Language Understanding.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization FreeLB: Enhanced Adversarial Training for Natural Language Understanding

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:09.921868Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3673ee2f-c011-451c-990c-af6acbc21285 · outbound

This paper cites , title =.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization , title =

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:10.032064Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e59ffb4-a981-4609-8890-1b180915e51d · outbound

This paper cites 2009 , publisher=.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization 2009 , publisher=

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:10.073674Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 703a413a-be93-4126-afce-a04790acd546 · outbound

This paper cites Translation Artifacts in Cross-lingual Transfer Learning.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization Translation Artifacts in Cross-lingual Transfer Learning

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:10.110283Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f670837f-eb83-4cf8-a9ee-a975ae83f7ea · outbound

This paper cites Right for the Wrong Reasons: Diagnosing Syntactic Heuristics in Natural Language Inference.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization Right for the Wrong Reasons: Diagnosing Syntactic Heuristics in Natural Language Inference

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:10.207689Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b73f75c3-eba1-4c03-bc94-2f7c775441a0 · outbound

This paper cites 2019 , eprint=.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization 2019 , eprint=

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:10.312602Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bea6e804-69d9-4716-91ef-83a162c17f1a · outbound

This paper cites 2023 , url =.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization 2023 , url =

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:10.430516Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e11f9db4-4b94-4966-9e06-bef92440442f · outbound

This paper cites an unresolved cited work.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization Unresolved cited work

Reference 40

Resolution: parse uncertain; no resolver link, observed 2026-08-02T02:25:10.517143Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6674a82a-6925-4095-bab1-46a919507656 · outbound

This paper cites Advances in Neural Information Processing Systems 32 , pages =.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization Advances in Neural Information Processing Systems 32 , pages =

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:10.633082Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f918e44-80d3-46ac-ac7c-2855404dc872 · outbound

This paper cites an unresolved cited work.

HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-02T02:25:10.755219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.