Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T18:45:20.628479Z
Paper Citation Record · LEDGER
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.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T18:45:20.628479Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
59 of 59 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation 39570477-ec38-46d0-abae-dd53486c2aab · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings write newline
Reference 1
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d99c9b02-a6ec-4404-9dcf-0ea426de5a75 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings B., Goldgof, G
Reference 2
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation dab3a674-a294-48bf-9657-aa5439c2a7fd · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 3
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3ff1adac-872c-429b-b68a-dee5c970b479 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Learning to Give Checkable Answers with Prover-Verifier Games
Reference 4
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b083ac56-0f5e-4b7e-b31c-c6d0b1b9d2d3 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 5
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 3cf35b37-fc5b-4a05-80a3-72f2d4a8ee67 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Multimodal datasets: misogyny, pornography, and malignant stereotypes
Reference 6
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d9c1625d-23e6-4be6-aa01-b23d02d8c74a · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 7
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 826dfd07-1c60-46d7-b611-c0d1d31b147e · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation a843adab-ee6e-4894-8840-ac6db5785eab · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings and van der Schaar, M
Reference 9
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation aef05719-d053-4e9d-8186-80bd2fa6d476 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings If Concept Bottlenecks are the Question, are Foundation Models the Answer?
Reference 10
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation f0fb0b65-e52f-4757-b33f-efc07a815687 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 11
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation b6867654-f933-4154-b465-61421adc2bf4 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 12
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation c81e8ae3-612b-4609-b28a-152657ec1912 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings B., and Mordatch, I
Reference 13
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 9577875e-5b70-4296-a0c8-b5db17817086 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings and Weld, D
Reference 14
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation c568fcd8-0c7d-4d65-9040-11d7f1cc2244 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 15
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 673c924a-0af1-44c5-85e1-35ddd39504c0 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings RealToxicityPrompts: Evaluating Neural Toxic Degeneration in Language Models
Reference 16
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dfdf5142-e6f5-4b6f-bdf5-96d2255ed93e · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 17
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 50642b9d-1e7e-49e3-97ae-3284f1a92253 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Y., and Kim, B
Reference 18
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 24ab848c-5b2b-47d8-84e7-069641c2d19e · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings G., and Pokutta, S
Reference 19
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ae861b84-1291-4a6e-88b9-e04b25f60d06 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 20
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 8f0c4f51-787f-49b8-8de1-04ec8e7acbde · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 21
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 13ac9aa8-a7ad-401c-9dff-9755d251139b · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 22
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 21e3747e-e978-4c76-982d-644f3c90395f · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Gaussian Error Linear Units (GELUs)
Reference 23
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c747d06c-618e-4397-b9d2-6d0ecc7b988a · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings AI safety via debate
Reference 24
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bfe899bb-8228-4a07-b654-d3473ff2db7c · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 25
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 0148d4eb-8739-4a7b-9e3a-a56701344458 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 26
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation ccb4072d-a6d5-4d74-9ac9-ac5418b07213 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings On permutation-invariant neural networks
Reference 27
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8eb5e0ad-0ef1-4c1b-830d-8f10ccc8518d · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Prover-Verifier Games improve legibility of LLM outputs
Reference 28
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d1999170-b358-487a-b735-a3a11a58774b · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings W., Nguyen, T., Tang, Y
Reference 29
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation cc8c4a93-b8d0-4fd4-b0ce-a07b13e07333 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 30
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 988ca818-bc8b-4e65-8268-07048db75f28 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings a ldchen, S., Binder, A., Montavon, G., Samek, W., and M \
Reference 31
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation f2ac0aaa-9e71-4600-82a8-00c570442319 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 32
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation e0ba73ab-70df-4a76-a610-f3898a888e5b · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings H., Lanza, S., and Wermter, S
Reference 33
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation c245e3bb-3d07-4d3f-bd2e-2951dca8bf04 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Promises and Pitfalls of Black-Box Concept Learning Models
Reference 34
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 82c14d96-22de-467b-be7f-8371d78e0805 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 35
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation bb7b3844-32f9-42e5-b469-4ffd723ec768 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 36
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 8042f1ed-9d2e-4fe9-88d7-073deb537a83 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings and Kolter, J
Reference 37
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 841ede4c-5cac-4353-9a49-2bfa2a8c6a5a · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings DERA: Enhancing Large Language Model Completions with Dialog-Enabled Resolving Agents
Reference 38
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4dd3475d-3077-485b-8252-6ddd61a97121 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Label-Free Concept Bottleneck Models
Reference 39
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1544e749-d357-4d21-95c4-dd4c199b1f92 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings P., Ienco, D., and Marcos, D
Reference 40
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 633ad447-60e9-4507-83bd-8b69ef2f5c69 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 41
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6298580d-0f18-4fc8-b169-9a68e136e1b9 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings B., Collins, M., Lipton, Z
Reference 42
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 173d5154-13f7-431b-a93c-31075f7a1bfb · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings W., Hallacy, C., Ramesh, A., Goh, G., Agarwal, S., Sastry, G., Askell, A., Mishkin, P., Clark, J., et al
Reference 43
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3cc901f1-a01d-4d0c-b2e0-b3ed1f1f8b63 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 44
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 5a91bce6-fc0d-48e6-be48-4edbcc6c0264 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings S., Hughes, M
Reference 45
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation e8ee7333-8a8a-42c2-a3bd-a59c6253f3f2 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 46
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation e90d999e-7f4a-44c4-b34d-604c8beff98c · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Distributionally Robust Neural Networks for Group Shifts: On the Importance of Regularization for Worst-Case Generalization
Reference 47
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6ea2e969-2cd1-4d9f-ac1e-1df54f603c21 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings and Nakamura, K
Reference 48
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 83c92cc6-7b1f-4bc7-896f-600ff7cce8be · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings and Vlachos, M
Reference 49
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation d133bc6f-4c03-42d5-874c-cfb6ec2803fb · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 50
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 58ca91b2-3732-424c-9c8b-dcd9e62e40c6 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings LAION-400M: Open Dataset of CLIP-Filtered 400 Million Image-Text Pairs
Reference 51
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b29d7216-40b9-4c8b-b49d-831f736c976c · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 52
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 6e08557a-76c4-4975-94f8-41c2e544967b · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 53
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 6c52d73b-7bf5-4bea-b412-641eb5a6e722 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 54
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 80fabbeb-926f-4bd2-8c2a-6c1b717893e1 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 55
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 6fcc4076-3537-401b-9881-b30bf2d7f742 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 56
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 3d9454ab-d19a-45a9-a75a-3d16c0723250 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Navigating Shortcuts, Spurious Correlations, and Confounders: From Origins via Detection to Mitigation
Reference 57
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6bd8e58b-96a7-45bb-863a-949d392690b0 · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 58
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 6f617ed2-74bf-4979-9a4e-83526185e9da · outbound
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Unresolved cited work
Reference 59
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
No inbound Pith citation observations are available.