{"as_of":"2026-08-23T21:57:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c66e2159812628a45e33ff91d218cd491901eb1821fa10d4fd6bba47562f4f46","coverage":[{"denominator":58,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":58,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T11:00:20.587791Z","state":"measured"},{"denominator":58,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":58,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-23T06:30:58.430688+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2504.16760/citation-record","integrity":"/paper/2504.16760/integrity","json":"/paper/2504.16760/citation-record.json","paper":"/paper/2504.16760"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:00:20.281680Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.281680Z"},"links":{"citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:61322dd2da3c584527654a67b75c3a354b0163cf7467111981642bc096623dea","observation_id":"abd9ea44-2b0c-4b14-89da-0dcdd663f358","resolution":{"observed_at":"2026-08-16T11:00:20.281680Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.14219","last_updated":"2024-08-30T21:17:17Z","snapshot_observed_at":"2026-08-17T03:25:04.404839Z","submitted_at":"2024-04-22T14:32:33Z","title":"Phi-3 Technical Report: A Highly Capable Language Model Locally on Your Phone","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.14219","snapshot_observed_at":"2026-08-16T11:00:20.289140Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.289140Z"},"links":{"cited_paper":"/paper/2404.14219","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:f05ec8080d349793aca4d3c2956e03d3b339132e50a5cc9ba43972167643b8ce","observation_id":"06b6ce8a-1a73-4591-b06e-bfc54351a5de","resolution":{"observed_at":"2026-08-16T11:00:20.289140Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-16T14:22:43.713388Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-16T11:00:20.295203Z","title":"Large language models for mathematical reasoning: Progresses and challenges","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.295203Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:ab820d774b33bfdac6629ec490a90a2f60e33ae79c7efbb92217ffd256b5d397","observation_id":"51d06436-22cb-4b91-b91a-40a576df2dba","resolution":{"observed_at":"2026-08-16T11:00:20.295203Z","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-16T11:00:21.811119Z","title":"What learning algorithm is in-context learning? I nvestigations with linear models","venue":null,"work_id":"8c47a0c7-bf67-469f-9d6e-907e6fc712ac","year":2023},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.300785Z"},"links":{"citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:297ab7b0b637591ce966654c87bbf43e374224646d44bfd6cc008f7ed66190d3","observation_id":"4c7a19b7-02ad-4560-9745-ec35e341dab6","resolution":{"observed_at":"2026-08-16T11:00:21.817486Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1610.01644","last_updated":"2018-11-22T23:40:00Z","snapshot_observed_at":"2026-08-09T22:50:03.459615Z","submitted_at":"2016-10-05T20:59:01Z","title":"Understanding intermediate layers using linear classifier probes","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1610.01644","snapshot_observed_at":"2026-08-16T11:00:20.305699Z","title":"Understanding intermediate layers using linear classifier probes, 2018","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.305699Z"},"links":{"cited_paper":"/paper/1610.01644","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:2d61faceccaccd707fafea543a0e14cbe55f70f334ea089d79056d9ee3e9e3a7","observation_id":"8e4bacab-cdbb-4a29-8665-0cc36d4740ad","resolution":{"observed_at":"2026-08-16T11:00:20.305699Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2304.13734","last_updated":"2023-10-17T09:34:30Z","snapshot_observed_at":"2026-08-01T19:59:13.992395Z","submitted_at":"2023-04-26T02:49:38Z","title":"The Internal State of an LLM Knows When It's Lying","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2304.13734","snapshot_observed_at":"2026-08-16T11:00:20.311439Z","title":"The internal state of an LLM knows when it's lying, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.311439Z"},"links":{"cited_paper":"/paper/2304.13734","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:adb5eaf094e2d66a0ea3b9c44154680ab8489c043ee7d31e979f7be81ce17db3","observation_id":"eccf27f5-447b-4c2e-9778-4fa4fe655217","resolution":{"observed_at":"2026-08-16T11:00:20.311439Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.10631","last_updated":"2024-03-15T19:14:39Z","snapshot_observed_at":"2026-08-16T13:51:18.629241Z","submitted_at":"2023-10-16T17:54:07Z","title":"Llemma: An Open Language Model For Mathematics","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.10631","snapshot_observed_at":"2026-08-16T11:00:20.317152Z","title":"Jiang, Jia Deng, Stella Biderman, and Sean Welleck","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.317152Z"},"links":{"cited_paper":"/paper/2310.10631","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:45cac414307c50538c638516e0204e976e834e105bee14afd991ac3f6c6dfc89","observation_id":"e23745e3-5ff2-4880-a4a3-058a868dfdfa","resolution":{"observed_at":"2026-08-16T11:00:20.317152Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.12053","last_updated":"2024-06-17T19:46:05Z","snapshot_observed_at":"2026-08-19T12:02:43.611380Z","submitted_at":"2024-06-17T19:46:05Z","title":"InternalInspector $I^2$: Robust Confidence Estimation in LLMs through Internal States","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.12053","snapshot_observed_at":"2026-08-16T11:00:20.323600Z","title":"InternalInspector I^2 : Robust confidence estimation in LLMs through internal states, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.323600Z"},"links":{"cited_paper":"/paper/2406.12053","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:14014f19e6da84f96b46eb990dec3e2d405d41f43f3db099acd32fe55c487869","observation_id":"be48cb9c-d881-4544-8a17-20867a3701b9","resolution":{"observed_at":"2026-08-16T11:00:20.323600Z","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-16T11:00:20.329413Z","title":"Graph of thoughts: Solving elaborate problems with large language models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.329413Z"},"links":{"citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:3d30f84573e6738d2eb715477941eea4fa7669e7a44f1f1dbc7cefec3a5d3649","observation_id":"0ecbb7be-5565-45bc-a664-2df073c4c867","resolution":{"observed_at":"2026-08-16T11:00:20.329413Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.12934","last_updated":"2025-08-02T04:08:59Z","snapshot_observed_at":"2026-08-16T18:25:19.302127Z","submitted_at":"2025-01-22T15:04:13Z","title":"Correctness Assessment of Code Generated by Large Language Models Using Internal Representations","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.12934","snapshot_observed_at":"2026-08-16T11:00:20.334912Z","title":"Correctness assessment of code generated by large language models using internal representations, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.334912Z"},"links":{"cited_paper":"/paper/2501.12934","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:33bed34c08b93501b54cf27a7f7f8780a17e81f4d32d42b6ebc1832d2b080bba","observation_id":"d6edde2f-f87f-4b0e-8d98-81cfab79ef0c","resolution":{"observed_at":"2026-08-16T11:00:20.334912Z","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-16T11:00:21.793151Z","title":"Learning the greatest common divisor: explaining transformer predictions","venue":null,"work_id":"80b8abae-98b8-4189-a378-2825c97bb1d0","year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.341280Z"},"links":{"citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:b88d64369917aa54053f072217943b68eabadaf6fc2a7b1a1b32d1fa504e5b37","observation_id":"f933bbd2-a8f0-47ce-835c-f876e569d4cc","resolution":{"observed_at":"2026-08-16T11:00:21.799242Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.03744","last_updated":"2024-10-21T04:10:50Z","snapshot_observed_at":"2026-08-20T07:29:59.402301Z","submitted_at":"2024-02-06T06:23:12Z","title":"INSIDE: LLMs' Internal States Retain the Power of Hallucination Detection","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.03744","snapshot_observed_at":"2026-08-16T11:00:20.346176Z","title":"INSIDE: LLMs' internal states retain the power of hallucination detection, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.346176Z"},"links":{"cited_paper":"/paper/2402.03744","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:c5091f9a5be4522da7eaf21270e65dc95e44666f467468e4fe5e1204bc50d1a1","observation_id":"fd96fa90-fdd6-483b-87d1-04befeab43d4","resolution":{"observed_at":"2026-08-16T11:00:20.346176Z","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-16T11:00:20.351033Z","title":"XGBoost : A scalable tree boosting system","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.351033Z"},"links":{"citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:87b6a29565b918d2c77ffd979e831f52763ed3d6058d640ad11de7e909cf948d","observation_id":"c4bda031-11d7-4a54-9a49-428d5ec5a062","resolution":{"observed_at":"2026-08-16T11:00:20.351033Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.04604","last_updated":"2025-01-08T05:24:50Z","snapshot_observed_at":"2026-08-16T13:00:34.704005Z","submitted_at":"2024-12-05T20:40:28Z","title":"ARC Prize 2024: Technical Report","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.04604","snapshot_observed_at":"2026-08-16T11:00:20.356342Z","title":"ARC prize 2024: Technical report","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.356342Z"},"links":{"cited_paper":"/paper/2412.04604","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:f6c53ad12913110929ab618f4e65bfe5b55c7d2b8825831d6b7a4bb8b4387f3b","observation_id":"9af3522a-7535-4b9d-9d86-6dda8ab065cd","resolution":{"observed_at":"2026-08-16T11:00:20.356342Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1911.01547","last_updated":"2019-11-25T13:02:04Z","snapshot_observed_at":"2026-08-17T05:38:14.090895Z","submitted_at":"2019-11-05T00:31:38Z","title":"On the Measure of Intelligence","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1911.01547","snapshot_observed_at":"2026-08-16T11:00:20.361569Z","title":"On the measure of intelligence, 2019","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.361569Z"},"links":{"cited_paper":"/paper/1911.01547","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:0c67783d0f0a1cf42391ef32bded859094b063a12ec23a1039be2be7e1864f0f","observation_id":"b52d6e76-0f77-4eea-9674-9542bb1287b4","resolution":{"observed_at":"2026-08-16T11:00:20.361569Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2110.14168","last_updated":"2021-11-18T00:23:45Z","snapshot_observed_at":"2026-08-14T02:43:01.480086Z","submitted_at":"2021-10-27T04:49:45Z","title":"Training Verifiers to Solve Math Word Problems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2110.14168","snapshot_observed_at":"2026-08-16T11:00:20.366249Z","title":"Training verifiers to solve math word problems","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.366249Z"},"links":{"cited_paper":"/paper/2110.14168","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:93945150a9680bbf58b4d711a1f41784a50b2dc73b0f1a40b2fab32f22ae0a40","observation_id":"46c0a779-4788-48c7-97e4-7ecf439cd1c4","resolution":{"observed_at":"2026-08-16T11:00:20.366249Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.17179","last_updated":"2024-02-09T00:13:46Z","snapshot_observed_at":"2026-08-18T16:01:12.797308Z","submitted_at":"2023-09-29T12:20:19Z","title":"Alphazero-like Tree-Search can Guide Large Language Model Decoding and Training","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.17179","snapshot_observed_at":"2026-08-16T11:00:20.370996Z","title":"AlphaZero -like tree-search can guide large language model decoding and training, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.370996Z"},"links":{"cited_paper":"/paper/2309.17179","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:5fda34409d76ae457504b067bf0f42ff199065fb4104663b25a32dcc1044a597","observation_id":"b176da2c-6234-4d68-9946-9070a536d876","resolution":{"observed_at":"2026-08-16T11:00:20.370996Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.00208","last_updated":"2024-10-13T21:05:31Z","snapshot_observed_at":"2026-08-20T19:03:39.687438Z","submitted_at":"2024-04-30T21:20:17Z","title":"A Primer on the Inner Workings of Transformer-based Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.00208","snapshot_observed_at":"2026-08-16T11:00:20.377178Z","title":"Costa-jussà","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.377178Z"},"links":{"cited_paper":"/paper/2405.00208","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:2fd7062f66c8562e1e1ec102deba1c94a4ff1410d1b801a9684b0eed95b61f56","observation_id":"07f6ca5a-e9e3-4625-a50a-1fc7a6ec5729","resolution":{"observed_at":"2026-08-16T11:00:20.377178Z","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-16T11:00:20.382370Z","title":"Friedman","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.382370Z"},"links":{"citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:4b24f06185db7020f79f33c3d0d65bf37dac9607da1e8e7744e2a60b9fa2773d","observation_id":"9121a209-43b7-4d59-84a1-b628f5cccbd5","resolution":{"observed_at":"2026-08-16T11:00:20.382370Z","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-16T11:00:20.387205Z","title":"A framework for few-shot language model evaluation, 07 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.387205Z"},"links":{"citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:e6701e3c8da2029bd6107b3572d2b8c1be4149705d8c33730e386d5d8e46606f","observation_id":"80cae9ba-6466-466b-beec-9a74fb98331e","resolution":{"observed_at":"2026-08-16T11:00:20.387205Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.04872","last_updated":"2025-12-23T02:23:47Z","snapshot_observed_at":"2026-08-13T13:45:44.430193Z","submitted_at":"2024-11-07T17:07:35Z","title":"FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI","version":7},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.04872","snapshot_observed_at":"2026-08-16T11:00:20.392061Z","title":"Frontiermath: A benchmark for evaluating advanced mathematical reasoning in ai, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.392061Z"},"links":{"cited_paper":"/paper/2411.04872","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:4f73fa0376269a913e301bebe74b86d1e25f849d87afd7e9d6c64a2bd78c0d68","observation_id":"1e5321e4-d706-49ce-91d0-77d03093590d","resolution":{"observed_at":"2026-08-16T11:00:20.392061Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.12948","last_updated":"2026-01-04T03:57:36Z","snapshot_observed_at":"2026-08-15T12:33:55.451951Z","submitted_at":"2025-01-22T15:19:35Z","title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.12948","snapshot_observed_at":"2026-08-16T11:00:20.397441Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.397441Z"},"links":{"cited_paper":"/paper/2501.12948","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:b7c3803a5b6af9ea85ec5ed0a1d26b8e9b6a35e368026f7356dde8ed0759ae56","observation_id":"3a2a949c-ec43-4f27-90ff-a6520402b635","resolution":{"observed_at":"2026-08-16T11:00:20.397441Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.02207","last_updated":"2024-03-04T18:25:29Z","snapshot_observed_at":"2026-08-16T14:55:25.223461Z","submitted_at":"2023-10-03T17:06:52Z","title":"Language Models Represent Space and Time","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.02207","snapshot_observed_at":"2026-08-16T11:00:20.402300Z","title":"Language models represent space and time, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.402300Z"},"links":{"cited_paper":"/paper/2310.02207","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:dc536cc5c63fd58c1e4a937862cf016d78d7a9ff4db22daa93a1a3e8d54e506e","observation_id":"55451169-f811-4a71-80dd-23e785ed1b00","resolution":{"observed_at":"2026-08-16T11:00:20.402300Z","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-16T11:00:20.407404Z","title":"Friedman","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.407404Z"},"links":{"citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:bf801653f5332e25cb7763bcaa71a366997e34f0259320e0633ebaf407982899","observation_id":"002036ac-46bf-48ec-b244-828c811a1f02","resolution":{"observed_at":"2026-08-16T11:00:20.407404Z","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-16T11:00:21.775069Z","title":"GLoRe : When, where, and how to improve LLM reasoning via global and local refinements","venue":null,"work_id":"69ed0946-bd40-4556-a6c1-c63985a4d72b","year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.412222Z"},"links":{"citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:5bfba940f7215f0bf3d8f2d95aa95fc43ee9a1c5d18bc05c6ea14be14ec31be5","observation_id":"0b481a2c-14ff-460d-9b57-cbbf628f17b0","resolution":{"observed_at":"2026-08-16T11:00:21.780629Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.16374","last_updated":"2024-07-18T08:41:50Z","snapshot_observed_at":"2026-08-20T19:03:43.802534Z","submitted_at":"2023-12-27T01:44:47Z","title":"LLM Factoscope: Uncovering LLMs' Factual Discernment through Inner States Analysis","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.16374","snapshot_observed_at":"2026-08-16T11:00:20.417614Z","title":"LLM Factoscope : Uncovering LLMs' factual discernment through inner states analysis, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.417614Z"},"links":{"cited_paper":"/paper/2312.16374","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:227346e46d4bacb6d9e2673eb02c3d18bc1ad34bfe8a9b7798ddbf7224117010","observation_id":"c23addb4-bebd-436e-99b1-96be0cdfd68b","resolution":{"observed_at":"2026-08-16T11:00:20.417614Z","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-16T11:00:20.423457Z","title":"Measuring mathematical problem solving with the MATH dataset","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.423457Z"},"links":{"citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:a1f83b23ffc7b0f37397fc6d2bfa787d6975e3702c596e102c4e9b1698b2bffc","observation_id":"dca31ba8-0865-4ace-a538-20f95cda050e","resolution":{"observed_at":"2026-08-16T11:00:20.423457Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.01798","last_updated":"2024-03-14T04:27:52Z","snapshot_observed_at":"2026-08-13T03:11:04.678829Z","submitted_at":"2023-10-03T04:56:12Z","title":"Large Language Models Cannot Self-Correct Reasoning Yet","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.01798","snapshot_observed_at":"2026-08-16T11:00:20.428549Z","title":"Large language models cannot self-correct reasoning yet, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.428549Z"},"links":{"cited_paper":"/paper/2310.01798","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:7d503f757c6edb57311c38d471636b51135e2dac0a7c4df896e24c161026a196","observation_id":"0cb6721a-3395-45f7-9293-8aeac91eec99","resolution":{"observed_at":"2026-08-16T11:00:20.428549Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.01881","last_updated":"2023-07-04T18:53:47Z","snapshot_observed_at":"2026-08-21T20:32:50.763817Z","submitted_at":"2023-07-04T18:53:47Z","title":"ProPILE: Probing Privacy Leakage in Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.01881","snapshot_observed_at":"2026-08-16T11:00:20.433717Z","title":"Propile: Probing privacy leakage in large language models, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.433717Z"},"links":{"cited_paper":"/paper/2307.01881","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:d83948130ecb385d9aceea191aee47452bcd0f3827e71fafa3ad88525949a3c5","observation_id":"abe1def7-c036-435d-aaba-27703b3d1b90","resolution":{"observed_at":"2026-08-16T11:00:20.433717Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2206.14858","last_updated":"2022-07-01T02:15:12Z","snapshot_observed_at":"2026-08-17T10:54:45.389424Z","submitted_at":"2022-06-29T18:54:49Z","title":"Solving Quantitative Reasoning Problems with Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2206.14858","snapshot_observed_at":"2026-08-16T11:00:20.438677Z","title":"Solving quantitative reasoning problems with language models, 2022","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.438677Z"},"links":{"cited_paper":"/paper/2206.14858","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:e858329e0c0fa4e695ef8489ffeffc99768a4deafce80e0e0aa42cd2db6af030","observation_id":"5742344d-f9f6-4aff-a6c6-5f1ad4cf92ea","resolution":{"observed_at":"2026-08-16T11:00:20.438677Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.20050","last_updated":"2023-05-31T17:24:00Z","snapshot_observed_at":"2026-08-17T09:42:34.746112Z","submitted_at":"2023-05-31T17:24:00Z","title":"Let's Verify Step by Step","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.20050","snapshot_observed_at":"2026-08-16T11:00:20.443850Z","title":"Let's verify step by step","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.443850Z"},"links":{"cited_paper":"/paper/2305.20050","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:6e84d69adde7a62f48cea364057ae455f524c56ceadc23437dbc4c31945d47ab","observation_id":"85f202d0-9c43-4d69-9f8a-23d438e48c5f","resolution":{"observed_at":"2026-08-16T11:00:20.443850Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.06592","last_updated":"2024-12-11T22:59:10Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-06-05T19:25:40Z","title":"Improve Mathematical Reasoning in Language Models by Automated Process Supervision","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.06592","snapshot_observed_at":"2026-08-16T11:00:20.448962Z","title":"Improve mathematical reasoning in language models by automated process supervision","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.448962Z"},"links":{"cited_paper":"/paper/2406.06592","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:7ae71b9a75ce6680153c0ccf05423fd8d66088d5395c8390064fa2101310eb0e","observation_id":"c13e4c2c-858b-40a3-9ae6-9f7b863cd707","resolution":{"observed_at":"2026-08-16T11:00:20.448962Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.17651","last_updated":"2023-05-25T19:13:47Z","snapshot_observed_at":"2026-08-21T18:20:05.692256Z","submitted_at":"2023-03-30T18:30:01Z","title":"Self-Refine: Iterative Refinement with Self-Feedback","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.17651","snapshot_observed_at":"2026-08-16T11:00:20.454183Z","title":"Self-refine: Iterative refinement with self-feedback, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.454183Z"},"links":{"cited_paper":"/paper/2303.17651","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:2704d77cab6e065303ceb36316dc4f043b6324130bdfc4416400aaa3ff214588","observation_id":"6bb8c1f5-bde5-4321-b6a0-b689c64fd6df","resolution":{"observed_at":"2026-08-16T11:00:20.454183Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.08295","last_updated":"2024-04-16T12:52:47Z","snapshot_observed_at":"2026-08-03T03:29:01.959523Z","submitted_at":"2024-03-13T06:59:16Z","title":"Gemma: Open Models Based on Gemini Research and Technology","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.08295","snapshot_observed_at":"2026-08-16T11:00:20.459972Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.459972Z"},"links":{"cited_paper":"/paper/2403.08295","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:52fa42557bdf863d8ac1b18af37024fd112126b8e943460c687442c8bc53549e","observation_id":"0f0026e8-df5a-4e3c-b5bd-e0133546cf63","resolution":{"observed_at":"2026-08-16T11:00:20.459972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.04488","last_updated":"2024-03-18T14:16:22Z","snapshot_observed_at":"2026-08-20T19:03:44.913335Z","submitted_at":"2023-03-08T10:22:00Z","title":"Magnushammer: A Transformer-Based Approach to Premise Selection","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.04488","snapshot_observed_at":"2026-08-16T11:00:20.465263Z","title":"Magnushammer: A transformer-based approach to premise selection, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.465263Z"},"links":{"cited_paper":"/paper/2303.04488","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:be4ac2c0e09f84368cad5b26c314cfefcfa44c44fdb6832e3542dd2de064cfc4","observation_id":"6093acda-ed43-458a-ab7a-8c970fde97c6","resolution":{"observed_at":"2026-08-16T11:00:20.465263Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.05229","last_updated":"2025-08-27T16:24:39Z","snapshot_observed_at":"2026-08-21T14:11:30.905906Z","submitted_at":"2024-10-07T17:36:37Z","title":"GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.05229","snapshot_observed_at":"2026-08-16T11:00:20.470415Z","title":"Gsm-symbolic: Understanding the limitations of mathematical reasoning in large language models, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.470415Z"},"links":{"cited_paper":"/paper/2410.05229","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:6b052930902b8cb0a8d8b0233e329a19055985dfe15278910bdf5e99e3f6f3f0","observation_id":"89825d3a-f3f6-4821-9981-b87d578a4a71","resolution":{"observed_at":"2026-08-16T11:00:20.470415Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2112.00114","last_updated":"2021-11-30T21:32:46Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2021-11-30T21:32:46Z","title":"Show Your Work: Scratchpads for Intermediate Computation with Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2112.00114","snapshot_observed_at":"2026-08-16T11:00:20.475618Z","title":"Show your work: Scratchpads for intermediate computation with language models","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.475618Z"},"links":{"cited_paper":"/paper/2112.00114","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:c33b9ef61df704d64382884af35e2d75b6a51d51f5e8518f16c6c0d1b7612b91","observation_id":"34e5475e-c74f-4bec-b80d-a8b6973ceb2c","resolution":{"observed_at":"2026-08-16T11:00:20.475618Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.06786","last_updated":"2023-10-10T16:57:28Z","snapshot_observed_at":"2026-08-18T23:26:43.616423Z","submitted_at":"2023-10-10T16:57:28Z","title":"OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.06786","snapshot_observed_at":"2026-08-16T11:00:20.480712Z","title":"OpenWebMath : An open dataset of high-quality mathematical web text","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.480712Z"},"links":{"cited_paper":"/paper/2310.06786","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:8609ce3f541a609dedad26c7e3f9fd5866a287bc87b2152ff9240adb4f63ddf7","observation_id":"f637261b-0c72-43f8-bc9e-e1dd608590fe","resolution":{"observed_at":"2026-08-16T11:00:20.480712Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.15296","last_updated":"2024-12-19T10:04:29Z","snapshot_observed_at":"2026-08-18T00:09:23.343524Z","submitted_at":"2024-12-19T10:04:29Z","title":"Confidence in the Reasoning of Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.15296","snapshot_observed_at":"2026-08-16T11:00:20.486035Z","title":"Confidence in the reasoning of large language models, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.486035Z"},"links":{"cited_paper":"/paper/2412.15296","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:b42ed066d9538ec3c590a0d83e224342350b984b394406e2c7cf9384f9fe74fa","observation_id":"ad06187d-5366-4639-9dea-6fd414100c30","resolution":{"observed_at":"2026-08-16T11:00:20.486035Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1904.01557","last_updated":"2019-04-02T17:26:41Z","snapshot_observed_at":"2026-08-14T16:52:50.428130Z","submitted_at":"2019-04-02T17:26:41Z","title":"Analysing Mathematical Reasoning Abilities of Neural Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1904.01557","snapshot_observed_at":"2026-08-16T11:00:20.491806Z","title":"Analysing mathematical reasoning abilities of neural models, 2019","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.491806Z"},"links":{"cited_paper":"/paper/1904.01557","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:f7729a3e4a5fc0e61815310f2e5d857780103b395148af2cc967425ed74e9253","observation_id":"ff080b75-43e8-4596-b26b-bdeb1e7fceb1","resolution":{"observed_at":"2026-08-16T11:00:20.491806Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.05202","last_updated":"2020-02-12T19:57:13Z","snapshot_observed_at":"2026-08-11T06:21:56.129166Z","submitted_at":"2020-02-12T19:57:13Z","title":"GLU Variants Improve Transformer","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.05202","snapshot_observed_at":"2026-08-16T11:00:20.497509Z","title":"Glu variants improve transformer, 2020","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.497509Z"},"links":{"cited_paper":"/paper/2002.05202","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:76b64368ff589e3f94a1c8d5607fb998a5c036da938a9ed7f6f5df5a9f7fb089","observation_id":"d1ed34eb-823b-4aac-9980-198c68cc9aca","resolution":{"observed_at":"2026-08-16T11:00:20.497509Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.11366","last_updated":"2023-10-10T05:21:45Z","snapshot_observed_at":"2026-08-17T19:15:32.679249Z","submitted_at":"2023-03-20T18:08:50Z","title":"Reflexion: Language Agents with Verbal Reinforcement Learning","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.11366","snapshot_observed_at":"2026-08-16T11:00:20.502575Z","title":"Reflexion: Language agents with verbal reinforcement learning, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.502575Z"},"links":{"cited_paper":"/paper/2303.11366","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:0eb5726cdaa2112d1b5b92f47ad58cd53401c645edcb2667a67069ec4ab520b5","observation_id":"60781f92-b8f9-46b1-8124-a08f7e52ecf4","resolution":{"observed_at":"2026-08-16T11:00:20.502575Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.03314","last_updated":"2024-08-06T17:35:05Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-08-06T17:35:05Z","title":"Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.03314","snapshot_observed_at":"2026-08-16T11:00:20.507822Z","title":"Scaling LLM test-time compute optimally can be more effective than scaling model parameters, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.507822Z"},"links":{"cited_paper":"/paper/2408.03314","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:2bd4e42a8dd6c577e66c9b5b342bcc9a9be85110022c110e0ca1921c64e05ae5","observation_id":"1b582a4c-3ec8-4cb5-afc4-d7521627a8a0","resolution":{"observed_at":"2026-08-16T11:00:20.507822Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.14975","last_updated":"2023-10-24T04:27:42Z","snapshot_observed_at":"2026-08-16T15:30:14.441511Z","submitted_at":"2023-05-24T10:12:33Z","title":"Just Ask for Calibration: Strategies for Eliciting Calibrated Confidence Scores from Language Models Fine-Tuned with Human Feedback","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.14975","snapshot_observed_at":"2026-08-16T11:00:20.513220Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.513220Z"},"links":{"cited_paper":"/paper/2305.14975","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:95d9d99feced546c780b704bbfb1394fe6384062d31153cd27ab5ab946fc6f68","observation_id":"94dc402d-477a-49c4-ac6b-5235c78a8805","resolution":{"observed_at":"2026-08-16T11:00:20.513220Z","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-16T11:00:20.518227Z","title":"Solving olympiad geometry without human demonstrations","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.518227Z"},"links":{"citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:216640b592f7cc5d0b5de0208d6bfa8dca44a76e89cd7026bc167ecd57695e17","observation_id":"7e9fff89-6fa1-4d8f-a638-343ecf250bc3","resolution":{"observed_at":"2026-08-16T11:00:20.518227Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2211.14275","last_updated":"2022-11-25T18:19:44Z","snapshot_observed_at":"2026-08-01T02:16:43.109337Z","submitted_at":"2022-11-25T18:19:44Z","title":"Solving math word problems with process- and outcome-based feedback","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2211.14275","snapshot_observed_at":"2026-08-16T11:00:20.523039Z","title":"Solving math word problems with process- and outcome-based feedback, 2022","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.523039Z"},"links":{"cited_paper":"/paper/2211.14275","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:4863c6337af668147fe3a296a11fd1153217cdec66a4ee42f150a2249b90465c","observation_id":"a2fa7a01-fa8e-4d68-8af8-a237a15f4a23","resolution":{"observed_at":"2026-08-16T11:00:20.523039Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2312.08935","last_updated":"2024-02-19T14:07:53Z","snapshot_observed_at":"2026-08-22T03:52:53.469568Z","submitted_at":"2023-12-14T13:41:54Z","title":"Math-Shepherd: Verify and Reinforce LLMs Step-by-step without Human Annotations","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.08935","snapshot_observed_at":"2026-08-16T11:00:20.528002Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.528002Z"},"links":{"cited_paper":"/paper/2312.08935","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:2f3edc97a2c3c2ccefe46c6efd6ec04869985b4b093d5457d96ba3a5c95cb7f2","observation_id":"d69a14f1-a367-4f6b-b35a-bc6c723f8c91","resolution":{"observed_at":"2026-08-16T11:00:20.528002Z","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-16T11:00:21.736839Z","title":"Le, Ed H","venue":null,"work_id":"37388ead-3abb-4a25-9332-912f7aab89c8","year":2023},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.533065Z"},"links":{"citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:751918fe1883f29136bb1d9f685fe1cb9d09640e505237d75b99fda4d15ded0b","observation_id":"045aa3d6-a41e-453e-b259-509cb91c467e","resolution":{"observed_at":"2026-08-16T11:00:21.742321Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:00:21.717047Z","title":"Multi-step problem solving through a verifier: An empirical analysis on model-induced process supervision","venue":null,"work_id":"a03e76c1-4df8-4894-96b3-e14c9bb28687","year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.538507Z"},"links":{"citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:32bbd76759064778622c376feb8d9815b086efb5fa25140c0ad7dc0f26856ee7","observation_id":"60a10623-d691-44a9-a724-ed43d10ecf7d","resolution":{"observed_at":"2026-08-16T11:00:21.724029Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:00:20.543917Z","title":"Chi, Quoc V","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.543917Z"},"links":{"citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:eae8882ed18e5498c920e87b7bfcd866ef9e235af08f653194317d86c57c8b1a","observation_id":"d43b4f44-2517-4d9c-b671-2dcbc3abb655","resolution":{"observed_at":"2026-08-16T11:00:20.543917Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2205.12910","last_updated":"2022-10-31T20:29:37Z","snapshot_observed_at":"2026-08-16T16:57:40.501598Z","submitted_at":"2022-05-25T17:01:18Z","title":"NaturalProver: Grounded Mathematical Proof Generation with Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2205.12910","snapshot_observed_at":"2026-08-16T11:00:20.548993Z","title":"NaturalProver : Grounded mathematical proof generation with language models, 2022","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.548993Z"},"links":{"cited_paper":"/paper/2205.12910","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:f1aed5a0851f62670b5fc49d24cf5565ec2d212f51507d22d3e9bcb7b27dc495","observation_id":"9d4adad9-a217-45ea-b71c-f042a6b07fd0","resolution":{"observed_at":"2026-08-16T11:00:20.548993Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.16838","last_updated":"2024-11-20T17:57:26Z","snapshot_observed_at":"2026-08-22T02:03:58.162282Z","submitted_at":"2024-06-24T17:45:59Z","title":"From Decoding to Meta-Generation: Inference-time Algorithms for Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.16838","snapshot_observed_at":"2026-08-16T11:00:20.554852Z","title":"From decoding to meta-generation: Inference-time algorithms for large language models, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.554852Z"},"links":{"cited_paper":"/paper/2406.16838","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:e802d8db996191ce1458081f58375099c18b4b180042686e46ee3ba8706053ec","observation_id":"7bf03b45-6b73-447d-9bec-b44bb7aceaa9","resolution":{"observed_at":"2026-08-16T11:00:20.554852Z","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-16T11:00:21.688144Z","title":"Inference scaling laws: An empirical analysis of compute-optimal inference for problem-solving with language models","venue":null,"work_id":"72ab9016-1dc5-479a-bcb9-0f8058de20fd","year":2025},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.560686Z"},"links":{"citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:865bd967f916fb832bb4dcdf72f1cda507e1e7794088096a9d1c8b765f821bfd","observation_id":"620964c8-8856-435d-be86-046928f87d2f","resolution":{"observed_at":"2026-08-16T11:00:21.694590Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:00:20.565942Z","title":"An implementation of generative prm","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.565942Z"},"links":{"citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:62662c8d3c30686b0c4ece51944c90442f5230cf3e2c2711faef352dd3d3b112","observation_id":"ae0ce192-9939-4377-ad8c-ef520508075d","resolution":{"observed_at":"2026-08-16T11:00:20.565942Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.10601","last_updated":"2023-12-03T22:50:35Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-05-17T23:16:17Z","title":"Tree of Thoughts: Deliberate Problem Solving with Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.10601","snapshot_observed_at":"2026-08-16T11:00:20.571425Z","title":"Griffiths, Yuan Cao, and Karthik Narasimhan","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.571425Z"},"links":{"cited_paper":"/paper/2305.10601","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:119d2bbb2b31046969778232ecb1903d1e658841a762f9ce47a5725b5d09f606","observation_id":"6d819f6d-689c-4d9a-81fa-40a0f7aed67d","resolution":{"observed_at":"2026-08-16T11:00:20.571425Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.20311","last_updated":"2024-07-29T17:52:40Z","snapshot_observed_at":"2026-08-20T19:03:38.607906Z","submitted_at":"2024-07-29T17:52:40Z","title":"Physics of Language Models: Part 2.1, Grade-School Math and the Hidden Reasoning Process","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.20311","snapshot_observed_at":"2026-08-16T11:00:20.577128Z","title":"Physics of language models: Part 2.1, grade-school math and the hidden reasoning process, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.577128Z"},"links":{"cited_paper":"/paper/2407.20311","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:80399cba16517519e3ccfb1526dee40510dcf4f08a24559ea9987302b5019f57","observation_id":"7f9c6da7-4080-463a-90dd-0b86d6db306e","resolution":{"observed_at":"2026-08-16T11:00:20.577128Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2311.09724","last_updated":"2024-04-01T13:50:51Z","snapshot_observed_at":"2026-08-18T03:01:28.009772Z","submitted_at":"2023-11-16T09:56:28Z","title":"OVM, Outcome-supervised Value Models for Planning in Mathematical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.09724","snapshot_observed_at":"2026-08-16T11:00:20.581972Z","title":"Ovm, outcome-supervised value models for planning in mathematical reasoning, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.581972Z"},"links":{"cited_paper":"/paper/2311.09724","citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:50372308da21918f91ba9ca67f0466852254198363d27dccb8e6dfe11554730b","observation_id":"1d80945b-2ffa-4a24-8229-5afbed4948ba","resolution":{"observed_at":"2026-08-16T11:00:20.581972Z","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-16T11:00:21.661311Z","title":null,"venue":null,"work_id":"f53517ea-af7e-4ae0-b097-2ec0302e8cc6","year":2022},"citing_paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-16T11:00:20.587791Z"},"links":{"citing_paper":"/paper/2504.16760"},"observation_digest":"sha256:1403c638e60308e7fcf4b6dedbbae64c887dc913b4ad19ea88c07e8595f5160e","observation_id":"7c089ff8-49c6-443e-9243-3123770a232c","resolution":{"observed_at":"2026-08-16T11:00:21.667071Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2504.16760","last_updated":"2025-04-23T14:33:20Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-20T11:12:22.677085Z","submitted_at":"2025-04-23T14:33:20Z","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies"},"reference_resolution":{"displayed":58,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":52,"verified_exact":0,"verified_fuzzy":6},"total_outbound_references":58},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"thesis":"As of 23 August 2026, this Paper Citation Record lists 58 of 58 outbound references and 0 inbound Pith citation observations for arXiv:2504.16760."}