{"as_of":"2026-08-23T21:16:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c9552614fba206fe4ab09fa156b622d75b39f9b8d86b43636bae45de86f4cf09","coverage":[{"denominator":33,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":33,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T10:27:51.261444Z","state":"measured"},{"denominator":33,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":33,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-23T06:30:58.430688+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/2504.18146/citation-record","integrity":"/paper/2504.18146/integrity","json":"/paper/2504.18146/citation-record.json","paper":"/paper/2504.18146"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.137842Z","title":"A formal correctness proof of edmonds' blossom shrinking algorithm, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.137842Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:14f674e3b78c4d5a439f701a4cd48ad8459c5b4b301d1673c5f9528406d0eb3a","observation_id":"055a1711-f1ac-4191-94bd-b49669847d5f","resolution":{"observed_at":"2026-08-16T10:27:51.137842Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.911611Z","title":"Isabelle graph theory library/tutte\\_theorem at c5bcc149ad868d1bb6667f3d2fb48013ca8c588f, 2024","venue":null,"work_id":"16cc8e47-fc15-4e90-bb63-a1895965f940","year":2024},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.142192Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:101567dacf4e3a8dd9de19f682cf8588037b8c8378aa267e4606d7a313fed87c","observation_id":"a2297e95-f595-47a4-8477-be3553768e1b","resolution":{"observed_at":"2026-08-16T10:27:51.915025Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.901776Z","title":"A taxonomy for learning, teaching, and assessing: A revision of Bloom's taxonomy of educational objectives: complete edition","venue":null,"work_id":"08b92b15-6b15-4d7e-87de-e43ec9f92f45","year":2001},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.145903Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:eb4cbd9949ee754068f76a88076d14e917bafdde17f1b2535d60458ed8aec8d5","observation_id":"bf29b78a-011a-4edf-820e-6ba68c35049a","resolution":{"observed_at":"2026-08-16T10:27:51.905359Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"stable/2495396","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.648274Z","title":"The solution of the four-color-map problem","venue":null,"work_id":"8a29f79c-6c9e-48d4-937c-589744cf7abc","year":2025},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.150214Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:eb00ff6c19c8ee11093b3ba5b25ebf8a902de644fca53e0451ee4a1fcdf37bb1","observation_id":"1561dda7-49db-4f81-bc23-7a081b798f1b","resolution":{"observed_at":"2026-08-16T10:27:51.655399Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.891619Z","title":"Theorem proving in lean 4, 2025","venue":null,"work_id":"03b1ad5c-44f9-477a-8565-1cd04631c3bc","year":2025},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.154157Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:19b65fd419af979a7bf8e77a591411e6ed79476f677862bd571103891e6f64c5","observation_id":"df8d545b-de6e-45e5-963a-8214bcb499ff","resolution":{"observed_at":"2026-08-16T10:27:51.894886Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.881690Z","title":"Mathematics in lean, 2020","venue":null,"work_id":"e83beb4e-3b56-4abc-9ace-b354529cb31d","year":2020},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.157913Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:2dfec1394e4484b5f197cf5348a8ea1eb79ac06c4e7c6ff862a11bc16823a2e6","observation_id":"56cf807e-728a-4f19-ae80-fb67150f6cf2","resolution":{"observed_at":"2026-08-16T10:27:51.885314Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.872160Z","title":"Functional programming in lean, 2022","venue":null,"work_id":"ac880811-b5b4-4ff0-a33b-a3b304207870","year":2022},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.161576Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:c6bd29463509b9def469c062e4652c6351a1878a631f01ff0f6d470362ee2eaf","observation_id":"e3042329-6e02-4ec8-b5db-895187d79cec","resolution":{"observed_at":"2026-08-16T10:27:51.875641Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.862842Z","title":"The Lean Language Reference , 2025","venue":null,"work_id":"17bf54a5-b890-4951-9f8a-993f430b6506","year":2025},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.164877Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:cfe69b4889de934748bcd3cdd52a02f5fa5d66560598699c067dbc1191290297","observation_id":"c788faf2-4d3a-4d8d-9182-b14957e46aec","resolution":{"observed_at":"2026-08-16T10:27:51.866049Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.168605Z","title":"Graph theory , volume 173 of Graduate Texts in Mathematics","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.168605Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:1a0d0203291a6976577ee8869042bfa6215c3cf1e3b12ab04279b21d9ae537ed","observation_id":"233d45f2-6537-407a-a598-1ef7a89fa2a3","resolution":{"observed_at":"2026-08-16T10:27:51.168605Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.852698Z","title":"Undirected graph theory","venue":null,"work_id":"b7cd6fc4-e23d-4fc8-84a1-9bb3aecd4343","year":2022},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.172282Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:564d8810ae7aed55e2b3b872332afcda8685bdfb6babbc04466e996f56b77159","observation_id":"27ef3977-08c7-414a-a574-ad59cc44d996","resolution":{"observed_at":"2026-08-16T10:27:51.855938Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.ejc.2011.09.027","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.326476Z","title":"A superlinear bound on the number of perfect matchings in cubic bridgeless graphs","venue":null,"work_id":"dca5a8f5-c625-4c1e-b150-d4e99c64f8ba","year":2012},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.175917Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:5794318f7bcacd2745b1e022913bea5c0fc8277446d4654cdd72e4dd3c2ac7d8","observation_id":"9c883f4f-bd67-430e-b405-6fe32eebfcf8","resolution":{"observed_at":"2026-08-16T10:27:51.330206Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.841595Z","title":"Refactoring: improving the design of existing code","venue":null,"work_id":"44919462-aea4-48fc-9f45-d3fc485a80c0","year":2018},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.179995Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:7c892d57368eec062c86f2c75561250abf7b8a9c6c3605d9dc108cbc1d4b65b6","observation_id":"1f445795-a047-4db2-b1ab-ab21d7e216e5","resolution":{"observed_at":"2026-08-16T10:27:51.846305Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.13310","last_updated":"2025-02-04T02:10:52Z","snapshot_observed_at":"2026-08-19T20:59:45.850031Z","submitted_at":"2024-03-20T05:23:09Z","title":"A Semantic Search Engine for Mathlib4","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.13310","snapshot_observed_at":"2026-08-16T10:27:51.184050Z","title":"A semantic search engine for mathlib4","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.184050Z"},"links":{"cited_paper":"/paper/2403.13310","citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:29ee55e9322b86f530767abf61087fa60102ee69c073918fc345231a36e8391c","observation_id":"46520622-2e83-4355-817f-9046cb07b92c","resolution":{"observed_at":"2026-08-16T10:27:51.184050Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.831209Z","title":"Formal proof--the four-color theorem","venue":null,"work_id":"2df987ea-9e87-495c-8b88-067340c2ac7f","year":2008},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.188149Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:b8c89a26a30fb560eb4213ccdde9c11d7ce51c751c9282b795b14c22dfa8311c","observation_id":"b0bab61d-f54f-4ac1-b5b6-095f54f64d02","resolution":{"observed_at":"2026-08-16T10:27:51.834907Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2311.05762","last_updated":"2023-12-12T12:53:12Z","snapshot_observed_at":"2026-08-21T16:11:15.254336Z","submitted_at":"2023-11-09T22:00:17Z","title":"On a conjecture of Marton","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.05762","snapshot_observed_at":"2026-08-16T10:27:51.191514Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.191514Z"},"links":{"cited_paper":"/paper/2311.05762","citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:d671c61548c26cc39254f41ee8d7fa8be0aa885ef2a72fcca2f45fe857b04721","observation_id":"74dd3996-21e8-427c-82b7-d94f66a770fc","resolution":{"observed_at":"2026-08-16T10:27:51.191514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2101.00127","last_updated":"2021-01-01T01:10:31Z","snapshot_observed_at":"2026-08-16T18:54:49.451292Z","submitted_at":"2021-01-01T01:10:31Z","title":"Formalizing Hall's Marriage Theorem in Lean","version":1},"cited_work":{"arxiv_id":"2101.00127","doi":null,"metadata_source":"pith","pith_arxiv_id":"2101.00127","snapshot_observed_at":"2026-08-16T10:27:51.571640Z","title":"Formalizing Hall's Marriage Theorem in Lean","venue":"math.CO","work_id":"ed3e921a-cd74-4aa4-8dd3-0f6458956c30","year":2021},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.195850Z"},"links":{"cited_paper":"/paper/2101.00127","citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:7e8d20d0dfd867978da8c1f5ea3d215d03be3850d1f4a04ef09cb8d8792a4097","observation_id":"70243391-0b90-442e-8c02-3cb912b21422","resolution":{"observed_at":"2026-08-16T10:27:51.575570Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.820449Z","title":null,"venue":null,"work_id":"99707eec-f44f-4953-b3e6-94520703380c","year":2016},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.199738Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:57caf11f7932392f2d19fb08a3a7cf288a858940327587c99a76de5f0b5ff829","observation_id":"17cc45a3-8793-49f5-94e9-f3e58fc94f3a","resolution":{"observed_at":"2026-08-16T10:27:51.823888Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.207024Z","title":"Aesop: White-box best-first proof search for lean","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.207024Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:51210c8e69b2e8cb1e8b6dd49cbc0c01e6ecb3ee68bd7d10ad51ff584f203132","observation_id":"b9c0c52c-4aa2-4a2e-a765-8dd334a996c3","resolution":{"observed_at":"2026-08-16T10:27:51.207024Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.810018Z","title":"Matching theory , volume 367","venue":null,"work_id":"7e3d3253-0a5b-4b84-bf67-cb35ae09fa9d","year":2009},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.210849Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:a076446efc4fc9c39293fa718e4ea1bee65f9a376ad33141327d33546f59dd3b","observation_id":"b31c76a3-ac97-4efd-8135-422ef49b8eef","resolution":{"observed_at":"2026-08-16T10:27:51.813550Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.798362Z","title":"The mechanics of proof, 2023","venue":null,"work_id":"2d8d6e30-0af3-4288-ae22-edaf6432f943","year":2023},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.214383Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:fa7172c9fe1ef3247dabebcb38686ec32604d930010c84d0083c175f3a468571","observation_id":"82a475aa-dcfb-4976-bb33-9901332ef7e0","resolution":{"observed_at":"2026-08-16T10:27:51.802649Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.217849Z","title":"Teaching Mathematics Using Lean and Controlled Natural Language","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.217849Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:0293033eca0ef131231bcf7976a07ea05c3305b15757dd2436a7c29065894892","observation_id":"1087d4b8-68c4-4b85-a1fa-cc2f526fea1d","resolution":{"observed_at":"2026-08-16T10:27:51.217849Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.787217Z","title":"Research report - Proof assistants for teaching: a survey","venue":null,"work_id":"1b001d64-8bd9-4c98-b1ed-7ef52372a061","year":2024},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.221367Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:1b9a2903e2f163c57fe9c56f109b8f3bddcc91c22987e2ef0d1ef4dd1ead5989","observation_id":"f8842bf5-9e81-47c4-88f1-748ed48bc746","resolution":{"observed_at":"2026-08-16T10:27:51.790906Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.776372Z","title":"A graph library for isabelle","venue":null,"work_id":"480cbe82-afa8-48ce-bc30-8aa8de9e5a6d","year":2015},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.225064Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:0600527a152e6fcef1c059ef585e3ad34d544b8bfbc0dab964a613a3b4bed15f","observation_id":"9c78e1ea-f644-4aa6-9766-111edfeb2295","resolution":{"observed_at":"2026-08-16T10:27:51.780141Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.765884Z","title":"Counting matchings in cubic graphs, 2014","venue":null,"work_id":"04ddab82-ff7c-47b6-882c-674322da7d6a","year":2014},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.228511Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:4c183ddaeb8676374d13765f346a3c30dd35cc9fb5fc288327612d45c4f95511","observation_id":"0d1544e8-3a4e-4321-b9bd-a5f7313b3b1f","resolution":{"observed_at":"2026-08-16T10:27:51.769324Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.755560Z","title":"Investigations in Graph-theoretical Constructions in Homotopy Type Theory","venue":null,"work_id":"c6471938-70b6-4151-b01f-4327ee3a51d7","year":2024},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.232007Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:6f47c5bdca81aff2ce209895992bf3cb45a65f02125f44fdbbdcf8fdd7039f93","observation_id":"6db27f7f-fadd-4d67-b0ed-0d49bdcf2493","resolution":{"observed_at":"2026-08-16T10:27:51.759157Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.29007/r7fg","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.308673Z","title":"Formalization of some central theorems in combinatorics of finite sets","venue":null,"work_id":"bcf3bf3d-6204-4461-ac54-910b5284bdd7","year":2017},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.235657Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:b7949590bc77de5470e62bd971599c57c1336b28c45724b54fdd3fb3f261e1a0","observation_id":"80bd992c-f6a2-4f3f-b5be-8169df6652b6","resolution":{"observed_at":"2026-08-16T10:27:51.312581Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.240303Z","title":"A constructive formalization of the weak perfect graph theorem","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.240303Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:53a6ef82e36efd8f81f01b3731c72e61fa67d8154ad1541ddf3e4f46c75aafb6","observation_id":"72d79ffa-5203-4c8d-87c8-06de5dd74b01","resolution":{"observed_at":"2026-08-16T10:27:51.240303Z","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":"10.5220/0005928503700376","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.295036Z","title":"Teaching of formal methods for software engineering","venue":null,"work_id":"99d20e80-9fae-4227-b080-fe5730b3676f","year":2016},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.243887Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:f68d4dd1e6352951ee7da546f1985987bbe7a17b2dc8408755c1e29f64f5f740","observation_id":"627108c1-bd79-493a-abb5-c1c941c028f5","resolution":{"observed_at":"2026-08-16T10:27:51.300661Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.247614Z","title":"Learning about proof with the theorem prover lean: the abundant numbers task","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.247614Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:6ecb554dce054e5cc9a15cfe146e785305c376183b66acad02ad025beaa29fcf","observation_id":"54a73e28-4eca-448c-8655-dea965037994","resolution":{"observed_at":"2026-08-16T10:27:51.247614Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.744964Z","title":"On a system of computer-aided instruction of logic","venue":null,"work_id":"2fa28992-3af7-49c2-9faf-0c4c7e4fe9c7","year":1983},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.251290Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:2f2980afe29be0b2805cf36d6ab5486320db51036079fce33cb985db852a04d4","observation_id":"99652a65-5b2a-4cf8-9b42-3fa059b59877","resolution":{"observed_at":"2026-08-16T10:27:51.748755Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.254782Z","title":"The factorization of linear graphs","venue":null,"work_id":null,"year":1947},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.254782Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:1a2804a0671d2d4b71cb0019b5e4f28433d5dc0bc85368114590d4832e09761d","observation_id":"e14e5d6e-5b4f-48dd-94e1-b3258f093bc2","resolution":{"observed_at":"2026-08-16T10:27:51.254782Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.727431Z","title":"Waterproof: Transforming a proof assistant into an educational tool","venue":null,"work_id":"8afecb8e-14f8-4081-8870-d8917718a545","year":2025},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.258072Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:80fe49d958e82091c0543377a39e25c96bb95ae1a66e8ded59fe1ba06312c4cb","observation_id":"d2cf4b11-b596-43f6-a23a-079a3d83d7f8","resolution":{"observed_at":"2026-08-16T10:27:51.731234Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:27:51.713608Z","title":"Isabelle/Isar---a versatile environment for human-readable formal proof documents","venue":null,"work_id":"4efbd9bf-eeee-49c6-9511-0a4dd9504914","year":2002},"citing_paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-16T10:27:51.261444Z"},"links":{"citing_paper":"/paper/2504.18146"},"observation_digest":"sha256:887d3640376bc193e1525d72ad7b9995bbb18cc13f7db549e5130f54c491e4d9","observation_id":"ca1bcf21-c362-483a-a8de-9899aa9fc255","resolution":{"observed_at":"2026-08-16T10:27:51.718713Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2504.18146","last_updated":"2025-04-25T07:55:38Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-23T12:58:11.335314Z","submitted_at":"2025-04-25T07:55:38Z","title":"Tutte's theorem as an educational formalization project"},"reference_resolution":{"displayed":33,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":10,"verified_exact":4,"verified_fuzzy":18},"total_outbound_references":33},"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-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"thesis":"As of 23 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:2504.18146."}