{"as_of":"2026-08-03T22:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b7b86f3c6fe4735535403c375b797aad2ed27ea9ab9c0f69cedea6cf68e8f332","coverage":[{"denominator":17,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":17,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-29T16:32:54.157569Z","state":"measured"},{"denominator":18,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":18,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-03T06:30:56.289259+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-26T20:41:54.964459Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-07-10T12:15:01.137692Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2605.26457","last_updated":"2026-05-26T02:12:48Z","snapshot_observed_at":"2026-08-01T15:16:32.133031Z","submitted_at":"2026-05-26T02:12:48Z","title":"Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization","version":1},"cited_work":{"arxiv_id":"2605.26457","doi":"10.48550/arxiv.2605.26457","metadata_source":"pith","pith_arxiv_id":"2605.26457","snapshot_observed_at":"2026-07-10T12:15:01.137692Z","title":"Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization","venue":"cs.SE","work_id":"aee929fb-4510-419c-a225-a8b2f834b7aa","year":2026},"citing_paper":{"arxiv_id":"2606.19588","last_updated":"2026-06-17T20:44:03Z","snapshot_observed_at":"2026-07-06T23:54:51.451358Z","submitted_at":"2026-06-17T20:44:03Z","title":"Analyzing the Narration Gap in LLM-Solver Loops","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-26T20:41:54.964459Z"},"links":{"cited_paper":"/paper/2605.26457","citing_paper":"/paper/2606.19588"},"observation_digest":"sha256:ea6a061410d9bdac2ec9c099740e6d2d9ebd0a9556d628a94b34abec95af3a95","observation_id":"03f7572f-c726-4e86-823d-b95e949c57c4","resolution":{"observed_at":"2026-06-26T20:49:57.669442Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2605.26457/citation-record","integrity":"/paper/2605.26457/integrity","json":"/paper/2605.26457/citation-record.json","paper":"/paper/2605.26457"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T16:32:54.157569Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.26457","last_updated":"2026-05-26T02:12:48Z","snapshot_observed_at":"2026-08-01T15:16:32.133031Z","submitted_at":"2026-05-26T02:12:48Z","title":"Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-29T16:32:54.157569Z"},"links":{"citing_paper":"/paper/2605.26457"},"observation_digest":"sha256:78f47104338dd1e9430c0e1fae656b3ea331162ad7f9e2a0261d2365cad42c09","observation_id":"738d1c23-57e4-4130-8abe-c7f169259732","resolution":{"observed_at":"2026-06-29T16:32:54.157569Z","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-06-29T16:32:54.157569Z","title":"Stage 3: Hack collection and categorization.For each remaining problem, we collect official Codeforces tests and all user-submitted hacks","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.26457","last_updated":"2026-05-26T02:12:48Z","snapshot_observed_at":"2026-08-01T15:16:32.133031Z","submitted_at":"2026-05-26T02:12:48Z","title":"Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-29T16:32:54.157569Z"},"links":{"citing_paper":"/paper/2605.26457"},"observation_digest":"sha256:32e66ef9110b9f9604531d3dc03fc1725e51e5db42dd09e220ec4cc533dfe87a","observation_id":"3c981837-7cfc-4857-bb3d-82e447901f3e","resolution":{"observed_at":"2026-06-29T16:32:54.157569Z","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-06-29T16:32:54.157569Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.26457","last_updated":"2026-05-26T02:12:48Z","snapshot_observed_at":"2026-08-01T15:16:32.133031Z","submitted_at":"2026-05-26T02:12:48Z","title":"Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-29T16:32:54.157569Z"},"links":{"citing_paper":"/paper/2605.26457"},"observation_digest":"sha256:47deb52a8d14007b1d9529e2bf42bbd62cb9ced7a878d2c0ea0607b1c1ec47cb","observation_id":"9642d70a-6927-438c-b01d-3c570a664d2d","resolution":{"observed_at":"2026-06-29T16:32:54.157569Z","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-06-29T16:32:54.157569Z","title":"correct” categories mean the resolved accept/reject verdict matches the testcase bucket; the “incorrect","venue":null,"work_id":null,"year":2074},"citing_paper":{"arxiv_id":"2605.26457","last_updated":"2026-05-26T02:12:48Z","snapshot_observed_at":"2026-08-01T15:16:32.133031Z","submitted_at":"2026-05-26T02:12:48Z","title":"Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-29T16:32:54.157569Z"},"links":{"citing_paper":"/paper/2605.26457"},"observation_digest":"sha256:1cded4516bf5fff07332805fe44a28c48d4cb262ba6c70b130b1932e7cddb0b3","observation_id":"de1f79a6-1af5-4e66-aedb-996cea1ac462","resolution":{"observed_at":"2026-06-29T16:32:54.157569Z","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-06-29T16:32:54.157569Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.26457","last_updated":"2026-05-26T02:12:48Z","snapshot_observed_at":"2026-08-01T15:16:32.133031Z","submitted_at":"2026-05-26T02:12:48Z","title":"Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-29T16:32:54.157569Z"},"links":{"citing_paper":"/paper/2605.26457"},"observation_digest":"sha256:29ebaa2bbbd74f56b409322c6e4693dd2f5b4194edfc4114b237541eca51c312","observation_id":"be0a3103-8585-4836-9109-e6c775ce35b0","resolution":{"observed_at":"2026-06-29T16:32:54.157569Z","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-06-29T16:32:54.157569Z","title":"‘out.len() == n‘","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.26457","last_updated":"2026-05-26T02:12:48Z","snapshot_observed_at":"2026-08-01T15:16:32.133031Z","submitted_at":"2026-05-26T02:12:48Z","title":"Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-29T16:32:54.157569Z"},"links":{"citing_paper":"/paper/2605.26457"},"observation_digest":"sha256:502d92b048932e818d1b480d2b2c642f17cdd6e21a3455c75a379a5922e6e2a5","observation_id":"66469a93-b888-4c2f-aaf4-6dddd5756938","resolution":{"observed_at":"2026-06-29T16:32:54.157569Z","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-06-29T16:32:54.157569Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.26457","last_updated":"2026-05-26T02:12:48Z","snapshot_observed_at":"2026-08-01T15:16:32.133031Z","submitted_at":"2026-05-26T02:12:48Z","title":"Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-29T16:32:54.157569Z"},"links":{"citing_paper":"/paper/2605.26457"},"observation_digest":"sha256:a7d976526d7bc5e63e0c6fc3614dfd078e8891e469e176c35d3574878acffbea","observation_id":"5e3baa30-d47a-4965-96ac-74228eb3bb14","resolution":{"observed_at":"2026-06-29T16:32:54.157569Z","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-06-29T16:32:54.157569Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.26457","last_updated":"2026-05-26T02:12:48Z","snapshot_observed_at":"2026-08-01T15:16:32.133031Z","submitted_at":"2026-05-26T02:12:48Z","title":"Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-29T16:32:54.157569Z"},"links":{"citing_paper":"/paper/2605.26457"},"observation_digest":"sha256:dfc2fc57d650502d913e8f264ab46f825cd7479e1ff8b57398b4e1704704e66f","observation_id":"0214afd7-c699-479c-9ce5-9bbd38db33d1","resolution":{"observed_at":"2026-06-29T16:32:54.157569Z","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-06-29T16:32:54.157569Z","title":"352- ‘pre_sound‘ uses ‘check_pre_spec_soundness‘","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.26457","last_updated":"2026-05-26T02:12:48Z","snapshot_observed_at":"2026-08-01T15:16:32.133031Z","submitted_at":"2026-05-26T02:12:48Z","title":"Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-29T16:32:54.157569Z"},"links":{"citing_paper":"/paper/2605.26457"},"observation_digest":"sha256:aa15d1616791ae622623f9d4370cd667be2555231c932160a2524bda6809ba3f","observation_id":"7258eff3-1ddd-4cd8-bb4b-17bfeea16ff2","resolution":{"observed_at":"2026-06-29T16:32:54.157569Z","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-06-29T16:32:54.157569Z","title":"364- The test passes if Verus can prove ‘assert(pre_spec(...))‘","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.26457","last_updated":"2026-05-26T02:12:48Z","snapshot_observed_at":"2026-08-01T15:16:32.133031Z","submitted_at":"2026-05-26T02:12:48Z","title":"Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-29T16:32:54.157569Z"},"links":{"citing_paper":"/paper/2605.26457"},"observation_digest":"sha256:7f4b9937735c446beb92b38164c2d016712b01936ea55f65cfa095a011527625","observation_id":"a2a3df1a-ca60-4c51-9fa8-ef0ef6343812","resolution":{"observed_at":"2026-06-29T16:32:54.157569Z","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-06-29T16:32:54.157569Z","title":"379- Final scoring uses the full evaluator suite, including hidden tests not 380present under ‘/home/symbolic_tests‘","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.26457","last_updated":"2026-05-26T02:12:48Z","snapshot_observed_at":"2026-08-01T15:16:32.133031Z","submitted_at":"2026-05-26T02:12:48Z","title":"Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-29T16:32:54.157569Z"},"links":{"citing_paper":"/paper/2605.26457"},"observation_digest":"sha256:eb5e634cf3dc66f2d6caaa85288b65094d43cb774a51660c22709319b3243c89","observation_id":"654cc0e1-d47d-4906-ae02-725f866a9e82","resolution":{"observed_at":"2026-06-29T16:32:54.157569Z","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-06-29T16:32:54.157569Z","title":"436- Inputs are represented by a single logical input struct ‘In1‘","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.26457","last_updated":"2026-05-26T02:12:48Z","snapshot_observed_at":"2026-08-01T15:16:32.133031Z","submitted_at":"2026-05-26T02:12:48Z","title":"Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-29T16:32:54.157569Z"},"links":{"citing_paper":"/paper/2605.26457"},"observation_digest":"sha256:906f1bf2027fc4ed8faae45032de76f8f1adce1b258bb5b3aef621659954b7a8","observation_id":"df826984-4e74-445f-95b7-3f97297de779","resolution":{"observed_at":"2026-06-29T16:32:54.157569Z","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-06-29T16:32:54.157569Z","title":"442- Look at a few ‘out.input_defn‘ / ‘out.gt_output_defn‘ files under ‘/home/symbolic_tests/*/*/‘ 443to see concrete examples of how ‘ExecIn1‘ / ‘ExecOut‘ are constructed","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.26457","last_updated":"2026-05-26T02:12:48Z","snapshot_observed_at":"2026-08-01T15:16:32.133031Z","submitted_at":"2026-05-26T02:12:48Z","title":"Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-29T16:32:54.157569Z"},"links":{"citing_paper":"/paper/2605.26457"},"observation_digest":"sha256:533d5ba1c5d905855fd15c323d64bd961696ff2e7d011dce4dfec4426f9ed73f","observation_id":"967e7ab0-dde7-4dcb-9e9c-e291c30a7b15","resolution":{"observed_at":"2026-06-29T16:32:54.157569Z","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-06-29T16:32:54.157569Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.26457","last_updated":"2026-05-26T02:12:48Z","snapshot_observed_at":"2026-08-01T15:16:32.133031Z","submitted_at":"2026-05-26T02:12:48Z","title":"Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-29T16:32:54.157569Z"},"links":{"citing_paper":"/paper/2605.26457"},"observation_digest":"sha256:a6cc20c5328296113f34331cc9006d75f46e233a813cb84b6fd3d2e1cae7dbe2","observation_id":"15c1bcda-0916-4a07-a415-ff8698c01eee","resolution":{"observed_at":"2026-06-29T16:32:54.157569Z","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-06-29T16:32:54.157569Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.26457","last_updated":"2026-05-26T02:12:48Z","snapshot_observed_at":"2026-08-01T15:16:32.133031Z","submitted_at":"2026-05-26T02:12:48Z","title":"Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-29T16:32:54.157569Z"},"links":{"citing_paper":"/paper/2605.26457"},"observation_digest":"sha256:6e635b639892bb7d5b3d73f9a5571560bb4fa91b4219aa79961c3960f57b3a5e","observation_id":"fcf6d3be-9b2c-416c-a51f-42fe82fc319f","resolution":{"observed_at":"2026-06-29T16:32:54.157569Z","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-06-29T16:32:54.157569Z","title":"453- Fill in the four ‘*_proof‘ functions enough to help Verus verify the 454‘check_*‘ assertions","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.26457","last_updated":"2026-05-26T02:12:48Z","snapshot_observed_at":"2026-08-01T15:16:32.133031Z","submitted_at":"2026-05-26T02:12:48Z","title":"Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-29T16:32:54.157569Z"},"links":{"citing_paper":"/paper/2605.26457"},"observation_digest":"sha256:20869d469a714771c0b7f1e07bb1fc41a91d48f63fd4bb9bdf99555b2731e31d","observation_id":"0d4d6945-72aa-47cd-ba55-9d4a1468ec46","resolution":{"observed_at":"2026-06-29T16:32:54.157569Z","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-06-29T16:32:54.157569Z","title":"459- For failing tests, inspect: 460- ‘/home/attempts/<run_id>/snippets/<category>/<test_id>/*.rs‘ 461- Corresponding ‘.stdout‘ / ‘.stderr‘ paths mentioned in the error messages","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.26457","last_updated":"2026-05-26T02:12:48Z","snapshot_observed_at":"2026-08-01T15:16:32.133031Z","submitted_at":"2026-05-26T02:12:48Z","title":"Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-29T16:32:54.157569Z"},"links":{"citing_paper":"/paper/2605.26457"},"observation_digest":"sha256:2db89137dfb44e6a9f5d0f018e8a6e7d452ff71ee7176dc24cb0f49db193d631","observation_id":"db01c006-9a3a-42b7-a423-966678fb32d1","resolution":{"observed_at":"2026-06-29T16:32:54.157569Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2605.26457","last_updated":"2026-05-26T02:12:48Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-01T15:16:32.133031Z","submitted_at":"2026-05-26T02:12:48Z","title":"Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization"},"reference_resolution":{"displayed":17,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":17,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":17},"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-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+00:00","source":"retraction_watch"}],"thesis":"As of 3 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 1 inbound Pith citation observation for arXiv:2605.26457."}