{"as_of":"2026-08-09T14:31:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:711ce205efcb49b7060119e33329f92eae96d20646a3e9bb6b6604f7559e7a34","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-09T06:31:02.800959+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:3944f7f88f95d38afd81f1b41bb987b6c686c87ceb12fc69b85c0f7ae53ce8bf","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:0cd49d2d931b818659edaa7242e0125c63e9310cd86287789a4ea3c5fc3823e7","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:319a676438bd33efb974b7842fdf6330831b3897160de96d88a632e9f711b24a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:ef23aecfe58ce251648af746981a0b6ff7819019303aeef0b88a8f125932828b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:e2a044d1af40ed481e7b33155c49bfa46b4cae55fd3ce1e05260289894445fc4","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:970b381297b52d30dff0069cdfaaa890c8baadcd582a3436c4de7ca500933227","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:10052ea23c6d77ff26c47ad206af04ca6b3d4765512de35e76be326ace16c746","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:09903a44b8035c234d69a1303d2984f5dc177c7766264afa0f513e9517c22b9f","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:04c17bb018003e2b5773512697b15a0d6794732f40e66a05eeadc11a8afef630","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:cea355c8c4067320d281a791be281e3b8f31a8287824071a3ab44945496b08d7","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08-09T05:10:26.091710Z","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:6e7b78646344efc90368d4afa11ecc8a7b93021fc9e58b8086a3df1af5c595fb","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:88dee7cbc2665c7da45226e8de836f9c39a2c7cd709ea3fd817af372f1226d43","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:f0c53792e452bf9108fd0b2c05d24f9c5ac8f55ee422d2baf7b6806077fef397","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:0f22ecd55a6901090db2017ad7910bebd0741d9155946672f83d4722b9a8c9b2","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:76354c2fc95507e2e7912d3ebf68ae2517d96bbadd2434791c468326293beabe","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:b3603dcf4061c8cc6526a94948318b8c5beb265fbc5ff45f5999ee58c1f9d2c6","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:f440dfa852668ff8fa2dc6748b06ef482758f0d03bc6ab2743f0416c246e360f","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:f1d798d036c70f07a7249790111745a94198b29dc7953ad2379623d1b9df80dd","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:3910dcf1cd0856c7a7e3e414ac86d64935abe825b572c24b8d75eaf129232cf9","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:3d147af49b8e6f8f9aa8fa7902970af2907e77d7a119a49f8784f07ab272015c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:fe434235d73da7678ef28c8e459e3672f1fadcec060ded36af0201bd74d0a27e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:81ed0040037c4ffd25929427d8233675d498c4e6ee91988a2cadfa773d334e14","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:277b7c3cf8a040eddd63409c4e5a10653d8b2e13b00beaf57838889bc7c00250","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:33d235c2f77acac7739857c74e6f85cbaf4c08b3feaa61f91eba7efe2647ba71","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:e997046f0ddad3fbaad98574e4adbacc01030d372a95dd26db217b307cf7073e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:ea16fd4b8203594bd63ce56216c2f345f5a0d9650af91d494548ba44b5a23d25","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:5f401106c23b7c308f7c5ee1950a13541f27466b5f113d6ca5af15fc165eb222","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:568c9c5b924e231cddc6450592be4d87e8615fcd0be7dfcbbe3b3c1910447f91","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:0fea7a3a5f294784b7bb9edc9d6a180145939bb4b5a477b350d824a23bb010a3","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:5756e26c22cff020ce096414711793fd878dfaa6f5dca9da2a8a9b52112bc873","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:41e47c5cbcaecd92e46782dc38d07b52a52836b558193d01c6c38fda9de8d28e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:f8c5b5ae45fdd612be55061b417eab5a62ae56719c1630f7907338bec34b4ee6","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:996929a4041c234e5c4fa1560a170a8d568d537ac5570acd2062130e3c6eb7df","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:713f514156748943989270e9486a0aa5cd8b1de87c0b30f44d433f52003a6ca0","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:9b74b930204d9448af7057f46d7b61c73bbcd51371923cc52d55801673a2ad1b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:4ce2dcfb6521e8b34d4778817b162c12e46c90a7835c8d82a874ee207a8ef553","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:76be1778d697c5de915c98827c971f0b8c325cafee6b89b0f4c5b53372565fc9","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:229bcd84ebbaf9d8bf2af679844cdcc07c606eb48ccff20237fe866160d7a78d","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:4330a024962b2a0c785b56709c1037d2dd8239dade191e032534a8263275a2c7","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:db997bf1fecbee29be34077bafe26f91cdc0f0247b1f7a80c53b130315d9e413","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 59 of 59 outbound references and 0 inbound Pith citation observations for arXiv:2507.07532."}