{"as_of":"2026-08-08T23:29:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:03beb97f3fc6072db65d0b0df97060059eb677e0773e386d06d8ea709b918b80","coverage":[{"denominator":59,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":59,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T18:45:20.628479Z","state":"measured"},{"denominator":59,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":59,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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/2507.07532/citation-record","integrity":"/paper/2507.07532/integrity","json":"/paper/2507.07532/citation-record.json","paper":"/paper/2507.07532"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T18:45:20.467511Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.467511Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:27a2edd998807d6713c570eaf542112f7a7f94261bef40e5f5ea66a1a5fa746f","observation_id":"39570477-ec38-46d0-abae-dd53486c2aab","resolution":{"observed_at":"2026-08-06T18:45:20.467511Z","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-06T18:45:21.371527Z","title":"B., Goldgof, G","venue":null,"work_id":"1321d0cc-df7b-41a0-8311-59141944db37","year":2021},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.471848Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:d09b11ae863a0e789c4aba28e6a5db9e47a8aa26d6c2af8358c9f0e52bf3235b","observation_id":"d99c9b02-a6ec-4404-9dcf-0ea426de5a75","resolution":{"observed_at":"2026-08-06T18:45:21.374183Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:20.475175Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.475175Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:dfb1f287ee45e7fc9df90753ad4c64e4f57a7e9cf82530061080ac14c75865ad","observation_id":"dab3a674-a294-48bf-9657-aa5439c2a7fd","resolution":{"observed_at":"2026-08-06T18:45:20.475175Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2108.12099","last_updated":"2021-08-27T02:56:06Z","snapshot_observed_at":"2026-08-08T23:07:45.133572Z","submitted_at":"2021-08-27T02:56:06Z","title":"Learning to Give Checkable Answers with Prover-Verifier Games","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2108.12099","snapshot_observed_at":"2026-08-06T18:45:20.477727Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.477727Z"},"links":{"cited_paper":"/paper/2108.12099","citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:a181ef0b1aa3429058b4dc5383e48daaac84fe69244b5b1b9e5b77f02bd639ff","observation_id":"3ff1adac-872c-429b-b68a-dee5c970b479","resolution":{"observed_at":"2026-08-06T18:45:20.477727Z","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-06T18:45:21.364649Z","title":null,"venue":null,"work_id":"a9b729b9-20f3-4677-8a13-8b38f5f2003a","year":2024},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.481073Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:24dd51ee9f2733b63d502a5e37f09dc0752cab7ccd0081de0dd1371f27b4682a","observation_id":"b083ac56-0f5e-4b7e-b31c-c6d0b1b9d2d3","resolution":{"observed_at":"2026-08-06T18:45:21.366971Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2110.01963","last_updated":"2021-10-05T11:47:27Z","snapshot_observed_at":"2026-07-06T11:54:31.182477Z","submitted_at":"2021-10-05T11:47:27Z","title":"Multimodal datasets: misogyny, pornography, and malignant stereotypes","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2110.01963","snapshot_observed_at":"2026-08-06T18:45:20.483829Z","title":"U., and Kahembwe, E","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.483829Z"},"links":{"cited_paper":"/paper/2110.01963","citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:5cca48655e77de85f237aef3ff788315fa7805662801ad313b2887fdc7160aea","observation_id":"3cf35b37-fc5b-4a05-80a3-72f2d4a8ee67","resolution":{"observed_at":"2026-08-06T18:45:20.483829Z","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-06T18:45:20.486678Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.486678Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:bb9b4b69b2f088d4615e08d2e7ac565b9d9fa419fa789f8dedfffc989d16eb90","observation_id":"d9c1625d-23e6-4be6-aa01-b23d02d8c74a","resolution":{"observed_at":"2026-08-06T18:45:20.486678Z","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-06T18:45:21.358236Z","title":null,"venue":null,"work_id":"62466cb1-af24-4968-ba63-7fe318dd3563","year":2024},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.489978Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:40c38949646918d571d613f12e33b8f8128a2f9c69316b42a2271590604ebcb1","observation_id":"826dfd07-1c60-46d7-b611-c0d1d31b147e","resolution":{"observed_at":"2026-08-06T18:45:21.360465Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:21.351089Z","title":"and van der Schaar, M","venue":null,"work_id":"eff47412-9f7f-42d6-91c3-884be05a5ef3","year":2022},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.492524Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:debeed99d5dba72d7284a63e1a9c217414f6728cda2e5b7f341df611c3e42a0f","observation_id":"a843adab-ee6e-4894-8840-ac6db5785eab","resolution":{"observed_at":"2026-08-06T18:45:21.353757Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.19774","last_updated":"2025-04-29T10:54:44Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-04-28T13:18:48Z","title":"If Concept Bottlenecks are the Question, are Foundation Models the Answer?","version":2},"cited_work":{"arxiv_id":"2504.19774","doi":null,"metadata_source":"pith","pith_arxiv_id":"2504.19774","snapshot_observed_at":"2026-08-06T18:45:20.916734Z","title":"If Concept Bottlenecks are the Question, are Foundation Models the Answer?","venue":"cs.LG","work_id":"f0625818-1f90-4006-8be3-dccabb16f501","year":2025},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.495009Z"},"links":{"cited_paper":"/paper/2504.19774","citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:05b6400ae9b6f02ea1dcf5198d03a0a870c6162914f668aeb8e5cd5c01567227","observation_id":"aef05719-d053-4e9d-8186-80bd2fa6d476","resolution":{"observed_at":"2026-08-06T18:45:20.921918Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:21.343707Z","title":null,"venue":null,"work_id":"dd063508-6641-4f10-b275-5707a47ff0c1","year":2024},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.498008Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:75bb11ca877b3edfb010d690737ea519616b2cb7bdb43b75f2fba6c1446c2735","observation_id":"f0fb0b65-e52f-4757-b33f-efc07a815687","resolution":{"observed_at":"2026-08-06T18:45:21.346224Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:21.336429Z","title":null,"venue":null,"work_id":"5c602cf0-6227-46e3-9b23-0884f80f7574","year":2009},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.501004Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:11bde92395831fd91e53fb479713eaff095abf6200143d175a5ab21d71c8c345","observation_id":"b6867654-f933-4154-b465-61421adc2bf4","resolution":{"observed_at":"2026-08-06T18:45:21.338989Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:21.328734Z","title":"B., and Mordatch, I","venue":null,"work_id":"6ed30036-8894-4f72-aedf-c44abf88af7b","year":2024},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.503752Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:0a419c3002bb2a310b9fd8f1d2c309a05beb19726545dbe6201a0adf4c2a63f4","observation_id":"c81e8ae3-612b-4609-b28a-152657ec1912","resolution":{"observed_at":"2026-08-06T18:45:21.331356Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:21.321816Z","title":"and Weld, D","venue":null,"work_id":"7b9ce690-0915-45f7-9fff-53d8eafdcffb","year":2023},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.506318Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:cbcf66a868a2615c5543ab7776c4458c12d34d742d345d2ec93f973ec165a412","observation_id":"9577875e-5b70-4296-a0c8-b5db17817086","resolution":{"observed_at":"2026-08-06T18:45:21.324142Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:21.314150Z","title":null,"venue":null,"work_id":"1d4efa6b-4daa-4aa1-b442-70f381f37764","year":2023},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.508707Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:cf90dd22aa93cd7fb923309974e92b8d58e505c39ee7aa12d8f528200fb32b87","observation_id":"c568fcd8-0c7d-4d65-9040-11d7f1cc2244","resolution":{"observed_at":"2026-08-06T18:45:21.316682Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2009.11462","last_updated":"2020-09-25T20:22:26Z","snapshot_observed_at":"2026-07-06T09:58:19.547859Z","submitted_at":"2020-09-24T03:17:19Z","title":"RealToxicityPrompts: Evaluating Neural Toxic Degeneration in Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2009.11462","snapshot_observed_at":"2026-08-06T18:45:20.511157Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.511157Z"},"links":{"cited_paper":"/paper/2009.11462","citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:d117c859acb58dae34b46b52421c8773e25d5892d76be1f0029e1d4b5c4e7691","observation_id":"673c924a-0af1-44c5-85e1-35ddd39504c0","resolution":{"observed_at":"2026-08-06T18:45:20.511157Z","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-06T18:45:21.306745Z","title":null,"venue":null,"work_id":"cfe8acef-27ba-4be3-832a-e0718754b7b0","year":2020},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.513808Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:5200a0e317026f21289a76a8b55da6b4624c9c115010b4fb8f18e5e3bc7533a3","observation_id":"dfdf5142-e6f5-4b6f-bdf5-96d2255ed93e","resolution":{"observed_at":"2026-08-06T18:45:21.309136Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:21.299328Z","title":"Y., and Kim, B","venue":null,"work_id":"9f358099-a4cd-4d0a-96e7-e8dc6c3f1240","year":2019},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.516229Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:f431fadb8f54730d29b0b536cdfc502cc929893ef3b4e67dbd52ad13637e9dac","observation_id":"50642b9d-1e7e-49e3-97ae-3284f1a92253","resolution":{"observed_at":"2026-08-06T18:45:21.301740Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:20.518899Z","title":"G., and Pokutta, S","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.518899Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:0932d1123889ec4f1d493655c2b54a5fea3224e37140e4c0030268002499f46d","observation_id":"24ab848c-5b2b-47d8-84e7-069641c2d19e","resolution":{"observed_at":"2026-08-06T18:45:20.518899Z","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-06T18:45:21.291402Z","title":null,"venue":null,"work_id":"695f1269-8a23-4500-8e84-8328bf650978","year":1985},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.521570Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:d2b793edfbc36a728c889d595bb39616d37086ffa34ea6269437fe3a7d93ce94","observation_id":"ae861b84-1291-4a6e-88b9-e04b25f60d06","resolution":{"observed_at":"2026-08-06T18:45:21.294159Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:21.283912Z","title":null,"venue":null,"work_id":"e0292f3b-8c30-4431-970c-f0efec5b4feb","year":2022},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.524636Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:39d0e845701983af734fb323b8d825b4f74bcc2b6511b49db9bf6a3f64661657","observation_id":"8f0c4f51-787f-49b8-8de1-04ec8e7acbde","resolution":{"observed_at":"2026-08-06T18:45:21.286250Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:21.276696Z","title":null,"venue":null,"work_id":"c868d50f-0a22-40bf-9a36-0b6a74a77be6","year":2016},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.527097Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:25ee286a75c0ade69d361ffdbb5840a092a98c05482024aa12d1b9d08b4f79dd","observation_id":"13ac9aa8-a7ad-401c-9dff-9755d251139b","resolution":{"observed_at":"2026-08-06T18:45:21.279101Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1606.08415","last_updated":"2023-06-06T01:53:32Z","snapshot_observed_at":"2026-07-06T05:01:27.910364Z","submitted_at":"2016-06-27T19:20:40Z","title":"Gaussian Error Linear Units (GELUs)","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1606.08415","snapshot_observed_at":"2026-08-06T18:45:20.529450Z","title":"and Gimpel, K","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.529450Z"},"links":{"cited_paper":"/paper/1606.08415","citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:1a91f29d97b60aa33feed90f16a935f6540a3a8e9dd405b28f6d647bb602ada8","observation_id":"21e3747e-e978-4c76-982d-644f3c90395f","resolution":{"observed_at":"2026-08-06T18:45:20.529450Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1805.00899","last_updated":"2018-10-22T17:36:07Z","snapshot_observed_at":"2026-08-02T15:33:17.783178Z","submitted_at":"2018-05-02T16:27:32Z","title":"AI safety via debate","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1805.00899","snapshot_observed_at":"2026-08-06T18:45:20.532215Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.532215Z"},"links":{"cited_paper":"/paper/1805.00899","citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:5f8aad5c7eef0bc13f4897de51938bb75449da3a750263afb68856f6ebd8439a","observation_id":"c747d06c-618e-4397-b9d2-6d0ecc7b988a","resolution":{"observed_at":"2026-08-06T18:45:20.532215Z","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-06T18:45:21.268741Z","title":null,"venue":null,"work_id":"7cecc490-4125-4ed7-8e71-5fc2c6e01293","year":2017},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.535178Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:df71a5124ff227292b3a5a921328c8d6b9d38b798cbd2e9316e3bd8e45e76f52","observation_id":"bfe899bb-8228-4a07-b654-d3473ff2db7c","resolution":{"observed_at":"2026-08-06T18:45:21.271244Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:21.261148Z","title":null,"venue":null,"work_id":"235509cc-33be-4e4e-8f45-429d7ce1c458","year":2018},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.537833Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:d39f65699d6268b3a0c803e7fca3523689969c8540d6c4403a70773c17bdbfeb","observation_id":"0148d4eb-8739-4a7b-9e3a-a56701344458","resolution":{"observed_at":"2026-08-06T18:45:21.263769Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.17410","last_updated":"2024-03-28T22:28:02Z","snapshot_observed_at":"2026-08-07T22:10:07.076279Z","submitted_at":"2024-03-26T06:06:01Z","title":"On permutation-invariant neural networks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.17410","snapshot_observed_at":"2026-08-06T18:45:20.540578Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.540578Z"},"links":{"cited_paper":"/paper/2403.17410","citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:46be30304681683507666e2e3d38ca0166d79f1b478000626feb6e0fab0bceea","observation_id":"ccb4072d-a6d5-4d74-9ac9-ac5418b07213","resolution":{"observed_at":"2026-08-06T18:45:20.540578Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.13692","last_updated":"2024-08-01T17:18:54Z","snapshot_observed_at":"2026-08-08T22:59:16.650904Z","submitted_at":"2024-07-18T16:58:18Z","title":"Prover-Verifier Games improve legibility of LLM outputs","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.13692","snapshot_observed_at":"2026-08-06T18:45:20.543584Z","title":"H., Chen, Y., Edwards, H., Leike, J., McAleese, N., and Burda, Y","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.543584Z"},"links":{"cited_paper":"/paper/2407.13692","citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:9197f3c4ba9e42a8c4a434311495b038bcb6b2fe785f76baada4e90da61e9d65","observation_id":"8eb5e0ad-0ef1-4c1b-830d-8f10ccc8518d","resolution":{"observed_at":"2026-08-06T18:45:20.543584Z","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-06T18:45:21.253648Z","title":"W., Nguyen, T., Tang, Y","venue":null,"work_id":"5bfa84c1-df41-4d55-b6a2-e39aa8b26680","year":2020},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.546648Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:5db7ab7c3edb04cd0a89729f4ec1ae19c0cb8cc24643f243fbe3caf9c6e0ac42","observation_id":"d1999170-b358-487a-b735-a3a11a58774b","resolution":{"observed_at":"2026-08-06T18:45:21.256186Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:20.549584Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.549584Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:5d334835f70e46124788c7a49856d34c199a36166fad2821452a8d5005e617aa","observation_id":"cc8c4a93-b8d0-4fd4-b0ce-a07b13e07333","resolution":{"observed_at":"2026-08-06T18:45:20.549584Z","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-06T18:45:21.241069Z","title":"a ldchen, S., Binder, A., Montavon, G., Samek, W., and M \\","venue":null,"work_id":"4d129a48-3b5e-4ffd-a0c2-749f6fe2d9e1","year":2019},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.552640Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:6b18eee4f626afcd732757ac17907856578a63b5ccd1524011ae95a39b20b13c","observation_id":"988ca818-bc8b-4e65-8268-07048db75f28","resolution":{"observed_at":"2026-08-06T18:45:21.243914Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:21.233819Z","title":null,"venue":null,"work_id":"e34211dd-f37d-497b-ac69-f2a06f715e7f","year":2019},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.555403Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:1c28fffb9d031fca4f68785277ac9780c8fd7c8ca682471167ee8aabd46d4555","observation_id":"f2ac0aaa-9e71-4600-82a8-00c570442319","resolution":{"observed_at":"2026-08-06T18:45:21.236314Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:21.226090Z","title":"H., Lanza, S., and Wermter, S","venue":null,"work_id":"9f7dc09a-b027-4884-a575-6a1810e0c12d","year":2025},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.558183Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:5ff4360edacd5e60980f51a542c16ff758fa8cb40374e8580202d800b25bd64d","observation_id":"e0ba73ab-70df-4a76-a610-f3898a888e5b","resolution":{"observed_at":"2026-08-06T18:45:21.228756Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2106.13314","last_updated":"2021-06-24T21:00:28Z","snapshot_observed_at":"2026-07-06T11:22:55.799017Z","submitted_at":"2021-06-24T21:00:28Z","title":"Promises and Pitfalls of Black-Box Concept Learning Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2106.13314","snapshot_observed_at":"2026-08-06T18:45:20.560966Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.560966Z"},"links":{"cited_paper":"/paper/2106.13314","citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:3dcdd994adca076e1eff1d33558e9da0997f875ed21a9f500eb1de4a1ba22846","observation_id":"c245e3bb-3d07-4d3f-bd2e-2951dca8bf04","resolution":{"observed_at":"2026-08-06T18:45:20.560966Z","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-06T18:45:21.218088Z","title":null,"venue":null,"work_id":"ea377991-11ff-441b-aa05-bb2be76e9a76","year":2023},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.564032Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:119d3e656f352c5bf535cc253bc3b7d19098b7155bc78fa2f270696cab367462","observation_id":"82c14d96-22de-467b-be7f-8371d78e0805","resolution":{"observed_at":"2026-08-06T18:45:21.220640Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:21.210562Z","title":null,"venue":null,"work_id":"98836e76-8a47-42bc-a740-c8368470f6e4","year":2018},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.566720Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:9bf3ced7b7ff4cb9146c3b69cb46d0c55d82684b590a1c6eeb3cfec65ef0b383","observation_id":"bb7b3844-32f9-42e5-b469-4ffd723ec768","resolution":{"observed_at":"2026-08-06T18:45:21.213002Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:21.203164Z","title":"and Kolter, J","venue":null,"work_id":"03acf5cd-7342-4b62-8613-4f2e8aefd8e3","year":2017},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.569504Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:0e300ddbee59f552d322db8adc6d90939840607b79ce6adee487873183c9743b","observation_id":"8042f1ed-9d2e-4fe9-88d7-073deb537a83","resolution":{"observed_at":"2026-08-06T18:45:21.205744Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.17071","last_updated":"2023-03-30T00:30:19Z","snapshot_observed_at":"2026-07-06T15:09:53.824070Z","submitted_at":"2023-03-30T00:30:19Z","title":"DERA: Enhancing Large Language Model Completions with Dialog-Enabled Resolving Agents","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.17071","snapshot_observed_at":"2026-08-06T18:45:20.572318Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.572318Z"},"links":{"cited_paper":"/paper/2303.17071","citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:7b9dd159fc7042e0f83c2de2329e9ef3962d7ee9e92b779e79d0d17b8e61490a","observation_id":"841ede4c-5cac-4353-9a49-2bfa2a8c6a5a","resolution":{"observed_at":"2026-08-06T18:45:20.572318Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2304.06129","last_updated":"2023-06-05T17:33:43Z","snapshot_observed_at":"2026-08-07T21:44:30.073140Z","submitted_at":"2023-04-12T19:27:09Z","title":"Label-Free Concept Bottleneck Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2304.06129","snapshot_observed_at":"2026-08-06T18:45:20.575294Z","title":"M., and Weng, T.-W","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.575294Z"},"links":{"cited_paper":"/paper/2304.06129","citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:362f0ff31f62b05d3e5d3d40c20bdd6d1f500a60a86253cb4371d91927c73580","observation_id":"4dd3475d-3077-485b-8252-6ddd61a97121","resolution":{"observed_at":"2026-08-06T18:45:20.575294Z","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-06T18:45:21.194040Z","title":"P., Ienco, D., and Marcos, D","venue":null,"work_id":"9ff2b9f5-f8de-4e7f-a8cf-910152ed5498","year":2024},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.578273Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:f8526be726a66bf7e1772b5c259b8d844f7ffe7a45c1fb876027ce182b5d0218","observation_id":"1544e749-d357-4d21-95c4-dd4c199b1f92","resolution":{"observed_at":"2026-08-06T18:45:21.197059Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:20.581116Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.581116Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:9f118fd027b30aca720cf847b9bab03d4f232da9bd8bdfffa19b6e384c613fac","observation_id":"633ad447-60e9-4507-83bd-8b69ef2f5c69","resolution":{"observed_at":"2026-08-06T18:45:20.581116Z","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-06T18:45:21.185892Z","title":"B., Collins, M., Lipton, Z","venue":null,"work_id":"2c12a126-83c1-4de2-8aa6-218fe20228f0","year":2022},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.583949Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:5ff0258234a96b0f07272c8ad7af9fd435b7a7bb3891406ea0080505696d9bfc","observation_id":"6298580d-0f18-4fc8-b169-9a68e136e1b9","resolution":{"observed_at":"2026-08-06T18:45:21.188649Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:20.587461Z","title":"W., Hallacy, C., Ramesh, A., Goh, G., Agarwal, S., Sastry, G., Askell, A., Mishkin, P., Clark, J., et al","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.587461Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:15ecaf2de0b4459d68752d50fb5dd8df8201af34d0b8dd1bc7e5e93a408a6409","observation_id":"173d5154-13f7-431b-a93c-31075f7a1bfb","resolution":{"observed_at":"2026-08-06T18:45:20.587461Z","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-06T18:45:21.173552Z","title":null,"venue":null,"work_id":"351ccd55-e87d-45c8-a387-16302c85cd22","year":2015},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.590326Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:28d90f068c62d8ff44bd21162374ffa7d5378ea4d02aaa6ff1541a0ff47aad5c","observation_id":"3cc901f1-a01d-4d0c-b2e0-b3ed1f1f8b63","resolution":{"observed_at":"2026-08-06T18:45:21.175934Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:21.166217Z","title":"S., Hughes, M","venue":null,"work_id":"0026e7e4-f505-4567-bc15-9aa4147b2c36","year":2017},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.592854Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:7ffc24a95e4e570681e1393511b44998482a3adbc78a3d3633423135f749e280","observation_id":"5a91bce6-fc0d-48e6-be48-4edbcc6c0264","resolution":{"observed_at":"2026-08-06T18:45:21.168879Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:21.158973Z","title":null,"venue":null,"work_id":"ec2a8b01-0fe6-4b53-9999-c377e2b00d80","year":2019},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.595238Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:e3e43d5de39442b6df171fed45549c39921c1832d6dee9c292b9f3eed51b894a","observation_id":"e8ee7333-8a8a-42c2-a3bd-a59c6253f3f2","resolution":{"observed_at":"2026-08-06T18:45:21.161430Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1911.08731","last_updated":"2020-04-02T05:40:29Z","snapshot_observed_at":"2026-08-02T19:28:48.954133Z","submitted_at":"2019-11-20T06:43:41Z","title":"Distributionally Robust Neural Networks for Group Shifts: On the Importance of Regularization for Worst-Case Generalization","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1911.08731","snapshot_observed_at":"2026-08-06T18:45:20.597988Z","title":"W., Hashimoto, T","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.597988Z"},"links":{"cited_paper":"/paper/1911.08731","citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:5d84ee09b3a4b3c32eb0481d7c46d8f1148dc9cdd6a773d63f7c4bda3c9643a5","observation_id":"e90d999e-7f4a-44c4-b34d-604c8beff98c","resolution":{"observed_at":"2026-08-06T18:45:20.597988Z","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-06T18:45:21.151538Z","title":"and Nakamura, K","venue":null,"work_id":"7bb44bc4-e116-4677-becd-0b5d8ee7b6fa","year":2022},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.600768Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:5a4a8496bea8794266acdbc0a74a517926d0378a4238b73292277d65255ff174","observation_id":"6ea2e969-2cd1-4d9f-ac1e-1df54f603c21","resolution":{"observed_at":"2026-08-06T18:45:21.154059Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:21.144112Z","title":"and Vlachos, M","venue":null,"work_id":"65ee8710-a3d2-41dc-a2a9-71a65628357d","year":2024},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.603252Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:9f0e1006a0a55fab78e542b7ca925687960394c2aa292da951e8a33aa3bc65bc","observation_id":"83c92cc6-7b1f-4bc7-896f-600ff7cce8be","resolution":{"observed_at":"2026-08-06T18:45:21.146651Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:21.136507Z","title":null,"venue":null,"work_id":"2494ef3c-cdc0-4fed-80cb-0e91dba07ae1","year":2020},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.605788Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:c86d2e3961cddb947391a1124052d3ba75241baf109d308d7ddc84d8295a818b","observation_id":"d133bc6f-4c03-42d5-874c-cfb6ec2803fb","resolution":{"observed_at":"2026-08-06T18:45:21.139338Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2111.02114","last_updated":"2021-11-03T10:16:39Z","snapshot_observed_at":"2026-08-02T08:12:49.547570Z","submitted_at":"2021-11-03T10:16:39Z","title":"LAION-400M: Open Dataset of CLIP-Filtered 400 Million Image-Text Pairs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2111.02114","snapshot_observed_at":"2026-08-06T18:45:20.608432Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.608432Z"},"links":{"cited_paper":"/paper/2111.02114","citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:d6490277e3d566e212486b544984fa071cc10d6fccac584b9ab12870f6c71369","observation_id":"58ca91b2-3732-424c-9c8b-dcd9e62e40c6","resolution":{"observed_at":"2026-08-06T18:45:20.608432Z","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-06T18:45:21.129396Z","title":null,"venue":null,"work_id":"0f3e71fc-c378-4d04-a7ed-59df56297b6d","year":2025},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.610988Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:3a32e5e41ef153c23d0f9cd298aaa8f0c99b972347ceea0df693210668d20bf4","observation_id":"b29d7216-40b9-4c8b-b49d-831f736c976c","resolution":{"observed_at":"2026-08-06T18:45:21.131904Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:21.120553Z","title":null,"venue":null,"work_id":"7c37a789-b73b-490a-8a82-ada219e52ad9","year":2024},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.613489Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:64b82ca6f3977107b193981841a6a59e14b25cd2ad4550463aa6aa82a69e281f","observation_id":"6e08557a-76c4-4975-94f8-41c2e544967b","resolution":{"observed_at":"2026-08-06T18:45:21.123848Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:21.111613Z","title":null,"venue":null,"work_id":"24300b5c-4f33-4c1c-ad5a-bc0b47666be7","year":2024},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.615805Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:ab647a2511baa0b0d4df899852cd0bab9fb5bb775ff09fc2c56873d6a613b62a","observation_id":"6c52d73b-7bf5-4bea-b412-641eb5a6e722","resolution":{"observed_at":"2026-08-06T18:45:21.114452Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:21.103159Z","title":null,"venue":null,"work_id":"65a1b370-6c25-487d-baa5-a90f03c040f5","year":2021},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.618091Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:e9d8858e1f48c7826710b910261234a07d2698e7cb30ef736c91dc668baf063e","observation_id":"80fabbeb-926f-4bd2-8c2a-6c1b717893e1","resolution":{"observed_at":"2026-08-06T18:45:21.105874Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:21.095194Z","title":null,"venue":null,"work_id":"56c783fe-7f5b-4bf7-92a6-2c13427e2fa7","year":2024},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.620641Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:c0e4c4c24995daece83382cbd7cfdfbdbf6be4fa140d6adbb2a0bc156c2c8b07","observation_id":"6fcc4076-3537-401b-9881-b30bf2d7f742","resolution":{"observed_at":"2026-08-06T18:45:21.097793Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.05152","last_updated":"2024-12-06T16:10:13Z","snapshot_observed_at":"2026-08-07T00:12:51.963353Z","submitted_at":"2024-12-06T16:10:13Z","title":"Navigating Shortcuts, Spurious Correlations, and Confounders: From Origins via Detection to Mitigation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.05152","snapshot_observed_at":"2026-08-06T18:45:20.623106Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.623106Z"},"links":{"cited_paper":"/paper/2412.05152","citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:0add548506ec875a78cced42771923d6ae83e7f3a504560a030b2d8f93ed3667","observation_id":"3d9454ab-d19a-45a9-a75a-3d16c0723250","resolution":{"observed_at":"2026-08-06T18:45:20.623106Z","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-06T18:45:21.086483Z","title":null,"venue":null,"work_id":"e061f104-5ac3-4798-b356-db49a80216d7","year":2024},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.625873Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:c4a66f64df2c74d18e8672c76cab9d2e6b293f1969fd7c1351699de8d72350a0","observation_id":"6bd8e58b-96a7-45bb-863a-949d392690b0","resolution":{"observed_at":"2026-08-06T18:45:21.089248Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T18:45:21.077814Z","title":null,"venue":null,"work_id":"6131db39-8664-4704-a685-7c23c38fd74b","year":2023},"citing_paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings","version":4},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-08-06T18:45:20.628479Z"},"links":{"citing_paper":"/paper/2507.07532"},"observation_digest":"sha256:04e51d323408a8171e68e17aa82f850e0b5960b533b1ea7b072df69a1fa91308","observation_id":"6f617ed2-74bf-4979-9a4e-83526185e9da","resolution":{"observed_at":"2026-08-06T18:45:21.080635Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.07532","last_updated":"2026-06-19T16:08:31Z","latest_version":4,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-07T21:45:50.466083Z","submitted_at":"2025-07-10T08:28:46Z","title":"Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings"},"reference_resolution":{"displayed":59,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":44,"verified_exact":1,"verified_fuzzy":14},"total_outbound_references":59},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 59 of 59 outbound references and 0 inbound Pith citation observations for arXiv:2507.07532."}