{"as_of":"2026-08-07T05:41:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:aa521c9946037c2c17b386c9b2787ef041ae9f4a8f6a4ea5bb5e4460a914e37c","coverage":[{"denominator":42,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":42,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T02:25:10.755219Z","state":"measured"},{"denominator":42,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":42,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-06T06:34:29.942622+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.14349/citation-record","integrity":"/paper/2607.14349/integrity","json":"/paper/2607.14349/citation-record.json","paper":"/paper/2607.14349"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:05.698905Z","title":"Cheng and H","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:05.698905Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:ffd0683575bbb54d5233d842a60bafd2061df6b9f3da1b10428f1051d062033b","observation_id":"48e35431-2e46-4b09-9dac-b6a4930f88db","resolution":{"observed_at":"2026-08-02T02:25:05.698905Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:05.818893Z","title":"Quan and M","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:05.818893Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:5bae7b81ba1c0380cbb7a63f91f2453ff252fb16ec8080a2bf8413cba7a375e0","observation_id":"b9b52c0f-8554-4af0-b9c2-223d31e3e49e","resolution":{"observed_at":"2026-08-02T02:25:05.818893Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:06.008228Z","title":"Wan and Z","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:06.008228Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:e65f76716f60e688325e0171b0ffc0bb1ebb7d4da1ced4c8e0e77aef275fb76c","observation_id":"e9ef1555-900d-463d-af81-246eaab47058","resolution":{"observed_at":"2026-08-02T02:25:06.008228Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:06.150218Z","title":"Valentino and G","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:06.150218Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:b15a20aa1bf9469a0ae81831a2c9f2f3827f3b43dd4a97533f8d5931dfa1938a","observation_id":"959e37ec-3618-4b5d-a481-b963131a7451","resolution":{"observed_at":"2026-08-02T02:25:06.150218Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:06.310504Z","title":"Wu and Y","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:06.310504Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:d6568770cb4f7ee9d431276952594d1baa05c4474fbb6c0394cf60650362fe99","observation_id":"bd8ae2d5-7707-4069-959b-3739ad9d61af","resolution":{"observed_at":"2026-08-02T02:25:06.310504Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:06.463242Z","title":"Kim and M","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:06.463242Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:d5384ec022deda19594652bd87deaa36b7faaa741926de195ed19d370a4528e4","observation_id":"500aa9ff-5545-4730-b487-d9438a1bf910","resolution":{"observed_at":"2026-08-02T02:25:06.463242Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:06.609496Z","title":"Patel and M","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:06.609496Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:782c39570f3ab4aa543b94bc9d38b2f5fc528a0f701c8a04eab2fe234d483b15","observation_id":"853f4025-418a-43b4-a018-c8adbf351f23","resolution":{"observed_at":"2026-08-02T02:25:06.609496Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:06.765493Z","title":"Bertolazzi and A","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:06.765493Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:73b563fcbfde0ec35234f699bec6ebc5688e3c12051ebb3049850df69868f4c2","observation_id":"43492130-3315-4c29-98eb-40960f54c24f","resolution":{"observed_at":"2026-08-02T02:25:06.765493Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:06.874432Z","title":"Aho and Jeffrey D","venue":null,"work_id":null,"year":1972},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:06.874432Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:c4e13d51b5826548a878508120d6f96e41f30ad33e184ccc41da88b114917200","observation_id":"b7b026a0-a9d3-4884-8945-bbfbddaa6980","resolution":{"observed_at":"2026-08-02T02:25:06.874432Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:07.016171Z","title":null,"venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:07.016171Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:ee7e06d34ea992152519c7b41deb4a8d9c3ea3fe53662145211b2d3e76dc4d37","observation_id":"3b455225-89e2-429e-8cb0-9c892be4db18","resolution":{"observed_at":"2026-08-02T02:25:07.016171Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:07.164908Z","title":"Chandra and Dexter C","venue":null,"work_id":null,"year":1981},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:07.164908Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:e3ad2430d4f4b94c69d9ccf719726428d3cbd8bf5234a9c1b0b4ed04d763aeeb","observation_id":"ff0cd58c-78fd-4ddd-aeb8-1ddae5173b5a","resolution":{"observed_at":"2026-08-02T02:25:07.164908Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:07.303419Z","title":"Scalable training of","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:07.303419Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:0d0ad7fa12843b21ede36974637c4bf4889db98e68b82d1b025f7d478a7ee508","observation_id":"50bc924b-3e5c-40d1-a833-709f2131177e","resolution":{"observed_at":"2026-08-02T02:25:07.303419Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:07.436250Z","title":null,"venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:07.436250Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:139b7989ad859a12db13aed669fdf02d437280171ebc951d53b2bbde3a8b518b","observation_id":"5b33e6f1-9bc6-46a0-8ff3-fdd15bbc42b6","resolution":{"observed_at":"2026-08-02T02:25:07.436250Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:07.531986Z","title":"Tetreault , title =","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:07.531986Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:8ef69c49b051f674493e3381e29c1bfd1e150b82d7f18344d56ba10f4d1cf7ca","observation_id":"72bf5c20-8829-49e4-8a84-1dfebefccdaf","resolution":{"observed_at":"2026-08-02T02:25:07.531986Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:07.632908Z","title":"A Framework for Learning Predictive Structures from Multiple Tasks and Unlabeled Data , Volume =","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:07.632908Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:285030d19e8b0f092be66a532d1e05d06c6a3bce7a1a8c85b20828e9a3c861c6","observation_id":"5c699966-ae1c-4e73-9f12-c9180ae97bef","resolution":{"observed_at":"2026-08-02T02:25:07.632908Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:07.750001Z","title":"and Tukey, John W","venue":null,"work_id":null,"year":1965},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:07.750001Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:e0a163b471ff79e5a97316dfa554aceee1ea746211444c24f7808c8edd2fa407","observation_id":"e2657e27-a69a-4f4b-a15c-0cd1dff54526","resolution":{"observed_at":"2026-08-02T02:25:07.750001Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:07.857863Z","title":"International Conference on Learning Representations , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:07.857863Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:a5c12c219a25d28f30b63f4f61f56e5088305dac50d6facae6c375b68e2a537f","observation_id":"2a73ff80-86d6-493d-84af-d78d79d57995","resolution":{"observed_at":"2026-08-02T02:25:07.857863Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:07.975255Z","title":"Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing , pages=","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:07.975255Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:55aae13dd50fdc16e5bd0e0e6eabf51c9caeae3f13126f077e8a83e9bcffed83","observation_id":"f5fc9c4a-2eda-4917-8956-fc046e77a953","resolution":{"observed_at":"2026-08-02T02:25:07.975255Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:08.075226Z","title":"International Conference on Learning Representations , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:08.075226Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:df7489587c0010148f99d4a5b736828f31d8e8488ee7faebc2164468d89827b6","observation_id":"4f27174f-7530-4d54-a8cf-adb56884b98d","resolution":{"observed_at":"2026-08-02T02:25:08.075226Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:08.134691Z","title":"arXiv preprint arXiv:2505.12189 , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:08.134691Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:8e06d3a3b96249197cad8d79d9c0bbe743081ce2e4358e0284e8bba7f00a69f0","observation_id":"7ddb2496-7c73-4eb7-9cd7-4f452044293b","resolution":{"observed_at":"2026-08-02T02:25:08.134691Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:08.204765Z","title":"Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic Inference","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:08.204765Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:f0caad3ac3af11fb6efe35656b13499d59fdf64c28d83032ac1d3b58a9131c69","observation_id":"4d84fe61-0ce3-4704-a291-0bd8c4c12179","resolution":{"observed_at":"2026-08-02T02:25:08.204765Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:08.369826Z","title":"SemEval-2026 Task 11: Disentangling Content and Formal Reasoning in Language Models","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:08.369826Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:146c0b5cfa0db540fdda0c34d6eeec620d5808785238dceb0f65d4ba75573b89","observation_id":"43da9395-d66a-409c-b12d-4d9244e116f3","resolution":{"observed_at":"2026-08-02T02:25:08.369826Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:08.535634Z","title":"2024 , eprint=","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:08.535634Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:f6312f84c3170cef10aa2dba6e0f300d042948162811900a3499f26e177a99ea","observation_id":"95207ae6-da42-4eb0-b78b-ae42308e6226","resolution":{"observed_at":"2026-08-02T02:25:08.535634Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:08.658263Z","title":"2024 , eprint=","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:08.658263Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:dce119a281f5806c734e08a48b7d9f0c9227e70b8c6fe5226896718ac0544c7e","observation_id":"7a5d8059-13f3-42df-ba83-73a3bb680802","resolution":{"observed_at":"2026-08-02T02:25:08.658263Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:08.776810Z","title":"2024 , eprint=","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:08.776810Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:98e3acc6b447873324896ee2c18a09b9716b1c8ac6509a47c969580b69c4abfb","observation_id":"47cc6a7e-3867-4db6-a279-76838103c2ab","resolution":{"observed_at":"2026-08-02T02:25:08.776810Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:09.010860Z","title":"2023 , eprint=","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:09.010860Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:ef792652e4aeb76aa072778bd44d4920234bbb6ff939372d73e5e4c7050f3b9f","observation_id":"295b9816-c9e6-4ea7-be8a-18d8df5d49be","resolution":{"observed_at":"2026-08-02T02:25:09.010860Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:09.141919Z","title":"2018 , eprint=","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:09.141919Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:baf385e43e1c7d5ff3c30ccd990b5286561dbba2d1af5d14e58bb4bd36d14575","observation_id":"b148a79e-b7ca-4992-b1c1-9aa138f04a37","resolution":{"observed_at":"2026-08-02T02:25:09.141919Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:09.289698Z","title":"Less Annotating, More Classifying -- Addressing the Data Scarcity Issue of Supervised Machine Learning with Deep Transfer Learning and","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:09.289698Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:bb23d09a35eedd0c03c27d8047e37c1ad8314cdab5f166866858488ba1a94b6a","observation_id":"6132ce57-b5cf-4b1f-b818-8f7436b68028","resolution":{"observed_at":"2026-08-02T02:25:09.289698Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:09.442969Z","title":"2018 , eprint=","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:09.442969Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:daeb6a21d35c9582be7cb3eeb0c21effa3df0b88d2211dd515b361f1b086d16e","observation_id":"31ac7cb1-0b13-4afa-b445-87a23d10229b","resolution":{"observed_at":"2026-08-02T02:25:09.442969Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:09.566546Z","title":"2015 , eprint=","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:09.566546Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:585950d05869756652dc9d7937af290c59d562714a684402cc55bf020c3643b8","observation_id":"168f172f-e36e-4999-8155-71176879eaf3","resolution":{"observed_at":"2026-08-02T02:25:09.566546Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:09.664790Z","title":"2020 , eprint=","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:09.664790Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:25a50e867f5d18dd2795a1a97bdc8abac31cbe53dac73ebc2f6dcd69014f9f10","observation_id":"8f59cb52-abfc-442e-a9b7-6628fccb6f6e","resolution":{"observed_at":"2026-08-02T02:25:09.664790Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:09.781025Z","title":"The Annals of Mathematical Statistics , volume=","venue":null,"work_id":null,"year":1951},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:09.781025Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:4cab30c4998ef5d430a9057e67455fe363b18e7539dae183eed0e05a9c136ba8","observation_id":"0c8caebc-a0ff-433e-915a-e5d195ffdb10","resolution":{"observed_at":"2026-08-02T02:25:09.781025Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1909.11764","last_updated":"2020-04-23T07:19:00Z","snapshot_observed_at":"2026-07-06T08:24:38.792721Z","submitted_at":"2019-09-25T20:50:32Z","title":"FreeLB: Enhanced Adversarial Training for Natural Language Understanding","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1909.11764","snapshot_observed_at":"2026-08-02T02:25:09.921868Z","title":"CoRR , volume =","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:09.921868Z"},"links":{"cited_paper":"/paper/1909.11764","citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:d08a3acb5c92d13a97d47c7069674a69c118ab3db6afaa7d83c14805b6cde835","observation_id":"fcf7d90d-2be2-4dec-a76b-46ad346675f4","resolution":{"observed_at":"2026-08-02T02:25:09.921868Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:10.032064Z","title":", title =","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:10.032064Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:ff6eaf2c7066008dff19de5180b03876e13eaa19a3726aef00f1894d7e41a431","observation_id":"3673ee2f-c011-451c-990c-af6acbc21285","resolution":{"observed_at":"2026-08-02T02:25:10.032064Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:10.073674Z","title":"2009 , publisher=","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:10.073674Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:3f9e6d4a9f3c8e5e4909cea7cabe996ad24e4a2c335ff3b9ce1022ec423304d6","observation_id":"2e59ffb4-a981-4609-8890-1b180915e51d","resolution":{"observed_at":"2026-08-02T02:25:10.073674Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:10.110283Z","title":"Translation Artifacts in Cross-lingual Transfer Learning","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:10.110283Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:7d6cbfe9e4994f0ea66553646e7cc2c4e3703dbf3ffc577427d5a022a4d1e7f7","observation_id":"703a413a-be93-4126-afce-a04790acd546","resolution":{"observed_at":"2026-08-02T02:25:10.110283Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:10.207689Z","title":"Right for the Wrong Reasons: Diagnosing Syntactic Heuristics in Natural Language Inference","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:10.207689Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:09ee3aa330ef95860fcb500ea46faf968fbd7f38ac63099772446a93a5bbfd42","observation_id":"f670837f-eb83-4cf8-a9ee-a975ae83f7ea","resolution":{"observed_at":"2026-08-02T02:25:10.207689Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:10.312602Z","title":"2019 , eprint=","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:10.312602Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:d9972e83d9979d6f99fbf7587b5d01638bb497969bd038ba8c09803f959cd1b6","observation_id":"b73f75c3-eba1-4c03-bc94-2f7c775441a0","resolution":{"observed_at":"2026-08-02T02:25:10.312602Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:10.430516Z","title":"2023 , url =","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:10.430516Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:2a20e5068d322b7d51538f577da9a065e1dad205b5fc3f2bff588cc239fbe99a","observation_id":"bea6e804-69d9-4716-91ef-83a162c17f1a","resolution":{"observed_at":"2026-08-02T02:25:10.430516Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:10.517143Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:10.517143Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:6ad0a46fc1cee7a4d273d3577880d2d2374e98ebe59324c4e2f77949ad93c224","observation_id":"e11f9db4-4b94-4966-9e06-bef92440442f","resolution":{"observed_at":"2026-08-02T02:25:10.517143Z","resolver_source":null,"status":"parse_uncertain"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:10.633082Z","title":"Advances in Neural Information Processing Systems 32 , pages =","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:10.633082Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:6121cdac6e8963146a57b2b9f2c0a4c8116734a4a816e432af7dd0f5df34bf39","observation_id":"6674a82a-6925-4095-bab1-46a919507656","resolution":{"observed_at":"2026-08-02T02:25:10.633082Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:25:10.755219Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-02T02:25:10.755219Z"},"links":{"citing_paper":"/paper/2607.14349"},"observation_digest":"sha256:465cbf39d8bfaa69fcc8e22612c1459818173b44e178352e946ce5378b613595","observation_id":"3f918e44-80d3-46ac-ac7c-2855404dc872","resolution":{"observed_at":"2026-08-02T02:25:10.755219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.14349","last_updated":"2026-07-15T20:24:26Z","latest_version":1,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-04T20:10:01.432143Z","submitted_at":"2026-07-15T20:24:26Z","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization"},"reference_resolution":{"displayed":42,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":1,"unresolved":41,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":42},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"thesis":"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."}