{"as_of":"2026-08-21T22:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:759e9ef8f625a3f7c8041449ec89e2e65456d8a1abe6ba8f6921d1b39cf17191","coverage":[{"denominator":17,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":17,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T16:12:57.095710Z","state":"measured"},{"denominator":18,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":18,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-21T06:32:19.484+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-10T18:16:31.176239Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-07-10T18:17:33.852365Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2507.14335","last_updated":"2025-07-18T19:28:01Z","snapshot_observed_at":"2026-08-17T22:13:10.385422Z","submitted_at":"2025-07-18T19:28:01Z","title":"ProofCompass: Enhancing Specialized Provers with LLM Guidance","version":1},"cited_work":{"arxiv_id":"2507.14335","doi":null,"metadata_source":"pith","pith_arxiv_id":"2507.14335","snapshot_observed_at":"2026-07-10T18:17:33.852365Z","title":"ProofCompass: Enhancing Specialized Provers with LLM Guidance","venue":"cs.AI","work_id":"7f4903d2-4b10-4954-a168-60bb2465b7c0","year":2025},"citing_paper":{"arxiv_id":"2607.07779","last_updated":"2026-07-08T17:46:36Z","snapshot_observed_at":"2026-07-12T23:17:59.879344Z","submitted_at":"2026-07-08T17:46:36Z","title":"From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier","version":1},"reference_index":255,"source":"pdf_text","source_observed_at":"2026-07-10T18:16:31.176239Z"},"links":{"cited_paper":"/paper/2507.14335","citing_paper":"/paper/2607.07779"},"observation_digest":"sha256:276f169d60040b66d4ab78086a1b46a6a15bf36aaefe88465f54f8a6f9b4513e","observation_id":"b82f19a9-66d3-4536-b53c-9bd5b8021c52","resolution":{"observed_at":"2026-07-10T18:17:33.853616Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2507.14335/citation-record","integrity":"/paper/2507.14335/integrity","json":"/paper/2507.14335/citation-record.json","paper":"/paper/2507.14335"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:12:57.250438Z","title":null,"venue":null,"work_id":"6dc7996a-b3d3-4618-9e01-edac19a8ec08","year":null},"citing_paper":{"arxiv_id":"2507.14335","last_updated":"2025-07-18T19:28:01Z","snapshot_observed_at":"2026-08-17T22:13:10.385422Z","submitted_at":"2025-07-18T19:28:01Z","title":"ProofCompass: Enhancing Specialized Provers with LLM Guidance","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T16:12:56.787401Z"},"links":{"citing_paper":"/paper/2507.14335"},"observation_digest":"sha256:18c610ccde961d158238926b13f50772a679b20eee908445250a4a2837d92773","observation_id":"8f29dac4-1998-4ec4-902a-754a30672018","resolution":{"observed_at":"2026-08-06T16:12:57.252834Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T16:12:57.241997Z","title":null,"venue":null,"work_id":"3cb65387-9643-4fd8-acd9-296bc9be325c","year":null},"citing_paper":{"arxiv_id":"2507.14335","last_updated":"2025-07-18T19:28:01Z","snapshot_observed_at":"2026-08-17T22:13:10.385422Z","submitted_at":"2025-07-18T19:28:01Z","title":"ProofCompass: Enhancing Specialized Provers with LLM Guidance","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T16:12:56.791781Z"},"links":{"citing_paper":"/paper/2507.14335"},"observation_digest":"sha256:801ce894a95a558694df9cbb51bda25adf1cb78e3e47d01888275b9df908f6db","observation_id":"027b0d50-37cf-44a6-9d36-8f09acd8f6ed","resolution":{"observed_at":"2026-08-06T16:12:57.244611Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T16:12:57.234171Z","title":"Case 1: Assume P ... then R","venue":null,"work_id":"8384b26a-d75d-4083-8c61-cf1c8e53e3e8","year":null},"citing_paper":{"arxiv_id":"2507.14335","last_updated":"2025-07-18T19:28:01Z","snapshot_observed_at":"2026-08-17T22:13:10.385422Z","submitted_at":"2025-07-18T19:28:01Z","title":"ProofCompass: Enhancing Specialized Provers with LLM Guidance","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T16:12:56.850634Z"},"links":{"citing_paper":"/paper/2507.14335"},"observation_digest":"sha256:ec601b8f4c13d231a06db3d9d25b8190c8950c2e1eebee672a084077cbe3b09f","observation_id":"f1951869-9fec-40ec-84c4-8d763f109863","resolution":{"observed_at":"2026-08-06T16:12:57.236496Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T16:12:57.258144Z","title":"We want to show that","venue":null,"work_id":"0996cfea-7b73-41da-ba78-a4670977055c","year":null},"citing_paper":{"arxiv_id":"2507.14335","last_updated":"2025-07-18T19:28:01Z","snapshot_observed_at":"2026-08-17T22:13:10.385422Z","submitted_at":"2025-07-18T19:28:01Z","title":"ProofCompass: Enhancing Specialized Provers with LLM Guidance","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T16:12:56.632852Z"},"links":{"citing_paper":"/paper/2507.14335"},"observation_digest":"sha256:10186b4d5113d10b28a6438dd6d5b1206b3c1811ed7526cc0852fcd4c0508e00","observation_id":"0aaec84a-d619-41ef-8889-8fb2703ce3e6","resolution":{"observed_at":"2026-08-06T16:12:57.260974Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T16:12:57.218060Z","title":"incorrect","venue":null,"work_id":"314b39e5-bb54-4c8c-bcf1-df3ee2eb6196","year":null},"citing_paper":{"arxiv_id":"2507.14335","last_updated":"2025-07-18T19:28:01Z","snapshot_observed_at":"2026-08-17T22:13:10.385422Z","submitted_at":"2025-07-18T19:28:01Z","title":"ProofCompass: Enhancing Specialized Provers with LLM Guidance","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T16:12:57.012420Z"},"links":{"citing_paper":"/paper/2507.14335"},"observation_digest":"sha256:bba9b24fb044a8a6dc3287598e4a6f147c87f423ca757cfd5b34aa6341a6b280","observation_id":"e612f17a-7dd0-45bb-954f-299cd3eb6881","resolution":{"observed_at":"2026-08-06T16:12:57.220492Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T16:12:57.225663Z","title":"• If a lemma makes an assertion not present or derivable from the NL proof and global hypotheses, it’s incorrect","venue":null,"work_id":"db0caec2-addd-4e82-9f3f-38dac1d3889f","year":null},"citing_paper":{"arxiv_id":"2507.14335","last_updated":"2025-07-18T19:28:01Z","snapshot_observed_at":"2026-08-17T22:13:10.385422Z","submitted_at":"2025-07-18T19:28:01Z","title":"ProofCompass: Enhancing Specialized Provers with LLM Guidance","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T16:12:56.964564Z"},"links":{"citing_paper":"/paper/2507.14335"},"observation_digest":"sha256:a972b077db8082bb416f89cac4d96418bcb921447080f347d7990898f618e92b","observation_id":"0397c7f4-d995-4bd2-b80b-53ad41f9a335","resolution":{"observed_at":"2026-08-06T16:12:57.228326Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T16:12:57.210392Z","title":null,"venue":null,"work_id":"f95d6824-a7df-446f-b882-d5858bcfcc3f","year":null},"citing_paper":{"arxiv_id":"2507.14335","last_updated":"2025-07-18T19:28:01Z","snapshot_observed_at":"2026-08-17T22:13:10.385422Z","submitted_at":"2025-07-18T19:28:01Z","title":"ProofCompass: Enhancing Specialized Provers with LLM Guidance","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T16:12:57.072692Z"},"links":{"citing_paper":"/paper/2507.14335"},"observation_digest":"sha256:a34afed1b0142a0e330d89ddfa769096fa991f9c81828812da464eed1b6aad9c","observation_id":"ecb48c1e-67bb-486d-a4f6-1692eb923895","resolution":{"observed_at":"2026-08-06T16:12:57.212871Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T16:12:57.202859Z","title":null,"venue":null,"work_id":"32b3cdf3-7ae4-4051-a11d-d97d3d4e33d5","year":null},"citing_paper":{"arxiv_id":"2507.14335","last_updated":"2025-07-18T19:28:01Z","snapshot_observed_at":"2026-08-17T22:13:10.385422Z","submitted_at":"2025-07-18T19:28:01Z","title":"ProofCompass: Enhancing Specialized Provers with LLM Guidance","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T16:12:57.075172Z"},"links":{"citing_paper":"/paper/2507.14335"},"observation_digest":"sha256:dd61f2bdbf7b5b0f3fa9ccf8c9f987c3c8aecf233e46794c8175dc7db1aa16eb","observation_id":"79c09be4-fe56-49de-bf52-2b583496f5ae","resolution":{"observed_at":"2026-08-06T16:12:57.205342Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T16:12:57.195161Z","title":null,"venue":null,"work_id":"3d5e907a-ac8a-4a1d-946c-eccc127fd7c1","year":null},"citing_paper":{"arxiv_id":"2507.14335","last_updated":"2025-07-18T19:28:01Z","snapshot_observed_at":"2026-08-17T22:13:10.385422Z","submitted_at":"2025-07-18T19:28:01Z","title":"ProofCompass: Enhancing Specialized Provers with LLM Guidance","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T16:12:57.078126Z"},"links":{"citing_paper":"/paper/2507.14335"},"observation_digest":"sha256:b0036904fe94d510db7b0d30ca615dff201690862105c5b5e638df9721d026d8","observation_id":"4ecb1ea9-316d-4db3-a4ca-e8db9820649b","resolution":{"observed_at":"2026-08-06T16:12:57.197741Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T16:12:57.186478Z","title":">) that will appear in the Lean proof","venue":null,"work_id":"9e16b599-eed8-4606-a1a7-07ad91d460f4","year":null},"citing_paper":{"arxiv_id":"2507.14335","last_updated":"2025-07-18T19:28:01Z","snapshot_observed_at":"2026-08-17T22:13:10.385422Z","submitted_at":"2025-07-18T19:28:01Z","title":"ProofCompass: Enhancing Specialized Provers with LLM Guidance","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T16:12:57.080766Z"},"links":{"citing_paper":"/paper/2507.14335"},"observation_digest":"sha256:6ce41c3fc72e51dc2586e860106affe44415a7c7170dee22fb427f3233f34491","observation_id":"50a1b696-3426-46e3-9d33-12fb53063622","resolution":{"observed_at":"2026-08-06T16:12:57.189262Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T16:12:57.177243Z","title":"• Analyze the provided natural language proof to identify its overall strategy and key insights","venue":null,"work_id":"9d3a8443-bb16-4a85-988d-e1bfed0ac523","year":null},"citing_paper":{"arxiv_id":"2507.14335","last_updated":"2025-07-18T19:28:01Z","snapshot_observed_at":"2026-08-17T22:13:10.385422Z","submitted_at":"2025-07-18T19:28:01Z","title":"ProofCompass: Enhancing Specialized Provers with LLM Guidance","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T16:12:57.083941Z"},"links":{"citing_paper":"/paper/2507.14335"},"observation_digest":"sha256:df01ba9f06161275714ed064e3164c55c4612d6d7e307ab86b5e4afe4ca49f03","observation_id":"8ffb6886-61b4-474d-aad6-7bc0eb240493","resolution":{"observed_at":"2026-08-06T16:12:57.180603Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T16:12:57.168151Z","title":"• Label the key milestones as l0 :, l1 :, etc","venue":null,"work_id":"6f8d297d-0064-4967-a983-9ca298df77aa","year":null},"citing_paper":{"arxiv_id":"2507.14335","last_updated":"2025-07-18T19:28:01Z","snapshot_observed_at":"2026-08-17T22:13:10.385422Z","submitted_at":"2025-07-18T19:28:01Z","title":"ProofCompass: Enhancing Specialized Provers with LLM Guidance","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T16:12:57.086860Z"},"links":{"citing_paper":"/paper/2507.14335"},"observation_digest":"sha256:873a12c3521c65624a9c81f58cc94d5eaf7dc9a8a3807fa01adb4ee684ff9f2b","observation_id":"289cad49-e54e-44d8-832f-689f010e57e7","resolution":{"observed_at":"2026-08-06T16:12:57.171542Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T16:12:57.157583Z","title":"Since <mathematical statement from lj holds / was established>, the proof proceeds by","venue":null,"work_id":"3a9cc954-6641-4cbf-af12-063372a22e19","year":null},"citing_paper":{"arxiv_id":"2507.14335","last_updated":"2025-07-18T19:28:01Z","snapshot_observed_at":"2026-08-17T22:13:10.385422Z","submitted_at":"2025-07-18T19:28:01Z","title":"ProofCompass: Enhancing Specialized Provers with LLM Guidance","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T16:12:57.089962Z"},"links":{"citing_paper":"/paper/2507.14335"},"observation_digest":"sha256:e6199e00427eb6101fc4e4647db4e0ad518bed23ae647f5dbe35a648f9c1ed91","observation_id":"94d92e2c-63b4-49f5-8f8f-622e74c8a74f","resolution":{"observed_at":"2026-08-06T16:12:57.160622Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T16:12:57.147533Z","title":"• Summarize how the proof combines the results stated in the li steps to reach the final conclusion","venue":null,"work_id":"8adb2044-f74f-49ea-9d44-39c727d8533e","year":null},"citing_paper":{"arxiv_id":"2507.14335","last_updated":"2025-07-18T19:28:01Z","snapshot_observed_at":"2026-08-17T22:13:10.385422Z","submitted_at":"2025-07-18T19:28:01Z","title":"ProofCompass: Enhancing Specialized Provers with LLM Guidance","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T16:12:57.093019Z"},"links":{"citing_paper":"/paper/2507.14335"},"observation_digest":"sha256:b94bb2a0e2c87f749e7400406975082a2cac2e558499ed8334879b1fa20982cb","observation_id":"4bee45ff-91bf-48fd-8dcd-b82cdca61aa4","resolution":{"observed_at":"2026-08-06T16:12:57.151125Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T16:12:57.137783Z","title":null,"venue":null,"work_id":"fe22585a-c462-457b-b972-1dd4a10a65f7","year":null},"citing_paper":{"arxiv_id":"2507.14335","last_updated":"2025-07-18T19:28:01Z","snapshot_observed_at":"2026-08-17T22:13:10.385422Z","submitted_at":"2025-07-18T19:28:01Z","title":"ProofCompass: Enhancing Specialized Provers with LLM Guidance","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T16:12:57.095710Z"},"links":{"citing_paper":"/paper/2507.14335"},"observation_digest":"sha256:5b738372f6756e9a537c20021fbb178696eacfd919ce4ed3bb5aa3c2c5911d42","observation_id":"3bd48cef-57a1-47c3-9bea-4d71a2e367ba","resolution":{"observed_at":"2026-08-06T16:12:57.141472Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.11354","last_updated":"2025-04-15T16:23:44Z","snapshot_observed_at":"2026-08-15T23:16:36.618851Z","submitted_at":"2025-04-15T16:23:44Z","title":"Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.11354","snapshot_observed_at":"2026-08-06T16:12:56.482442Z","title":"Venkatesh, A","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.14335","last_updated":"2025-07-18T19:28:01Z","snapshot_observed_at":"2026-08-17T22:13:10.385422Z","submitted_at":"2025-07-18T19:28:01Z","title":"ProofCompass: Enhancing Specialized Provers with LLM Guidance","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-06T16:12:56.482442Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2507.14335"},"observation_digest":"sha256:c5a2e641b53b6e5fe7ef46a71a208521c53c2bd68598bcbefd0855a274ca6561","observation_id":"9c55a21d-d880-4832-a85c-aed875572f12","resolution":{"observed_at":"2026-08-06T16:12:56.482442Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.12031","last_updated":"2025-05-17T14:47:36Z","snapshot_observed_at":"2026-08-19T15:38:20.338234Z","submitted_at":"2025-05-17T14:47:36Z","title":"LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.12031","snapshot_observed_at":"2026-08-06T16:12:56.408185Z","title":"Lai, J., Zhang, J., Xu, S., Chen, T., Wang, Z., Yang, Y ., Zhang, J., Cao, C., and Xu, J","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.14335","last_updated":"2025-07-18T19:28:01Z","snapshot_observed_at":"2026-08-17T22:13:10.385422Z","submitted_at":"2025-07-18T19:28:01Z","title":"ProofCompass: Enhancing Specialized Provers with LLM Guidance","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-06T16:12:56.408185Z"},"links":{"cited_paper":"/paper/2505.12031","citing_paper":"/paper/2507.14335"},"observation_digest":"sha256:0e1527df5335647f6cd016c22cdb0543d5bdf5226901c35818db7bc06cee8eac","observation_id":"8260d5c7-3301-4318-8729-0f7d5003b848","resolution":{"observed_at":"2026-08-06T16:12:56.408185Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2507.14335","last_updated":"2025-07-18T19:28:01Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-17T22:13:10.385422Z","submitted_at":"2025-07-18T19:28:01Z","title":"ProofCompass: Enhancing Specialized Provers with LLM Guidance"},"reference_resolution":{"displayed":17,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":7,"verified_exact":0,"verified_fuzzy":9},"total_outbound_references":17},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 1 inbound Pith citation observation for arXiv:2507.14335."}