{"as_of":"2026-08-21T04:58:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ca7517e3930c3241cf1eddcd93f2a14d2a9763efc243d2def4d87ac3a4fd7972","coverage":[{"denominator":36,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":36,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T20:18:26.884619Z","state":"measured"},{"denominator":36,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":36,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2507.03314/citation-record","integrity":"/paper/2507.03314/integrity","json":"/paper/2507.03314/citation-record.json","paper":"/paper/2507.03314"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:18:22.749496Z","title":"Premise selection for mathematics by corpus analysis and kernel methods","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:22.749496Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:6f8ed538262730243763b1ecf828229fd277d206fb962c573982b2dee9e665fe","observation_id":"0ab9164b-b937-4cbe-92d8-d2134781b916","resolution":{"observed_at":"2026-08-06T20:18:22.749496Z","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":"7096.31573","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:18:29.926749Z","title":"Alemi, Fran c ois Chollet, Niklas Een, Geoffrey Irving, Christian Szegedy, and Josef Urban","venue":null,"work_id":"8154244c-f26f-4313-8ac9-10edf7b92040","year":2016},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:22.798590Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:76622cb0e733f7f001e48b5a917650fd3d8c34af3142e052a8694e4c8fcf8e38","observation_id":"bb67d249-60ea-42f1-9370-0084be648cca","resolution":{"observed_at":"2026-08-06T20:18:30.041030Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:18:32.972442Z","title":"Thinking fast and slow with deep learning and tree search","venue":null,"work_id":"1f0c809e-1590-456a-b961-65c887eefa65","year":2017},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:22.901507Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:b3bfe60a0ace99806e22bce1099ed00a877f1ed65e17a0385a5251d7904ff1fc","observation_id":"70044e2c-7e90-4888-9f41-7bf4f15ba29c","resolution":{"observed_at":"2026-08-06T20:18:33.103791Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1705.08439","last_updated":"2017-12-03T10:56:00Z","snapshot_observed_at":"2026-08-14T20:58:40.961372Z","submitted_at":"2017-05-23T17:48:51Z","title":"Thinking Fast and Slow with Deep Learning and Tree Search","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1705.08439","snapshot_observed_at":"2026-08-06T20:18:23.091803Z","title":"Thinking fast and slow with deep learning and tree search","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:23.091803Z"},"links":{"cited_paper":"/paper/1705.08439","citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:73df6d02a55a9cc63da1135aad838bee2f7cec8ed0eab7a5270dff448ed74b0d","observation_id":"7b403128-1d46-4860-968c-f79c5135df77","resolution":{"observed_at":"2026-08-06T20:18:23.091803Z","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-06T20:18:32.806233Z","title":"Lucas, Peter I","venue":null,"work_id":"65c02e79-29c8-4707-8fc4-dd83c0b2dbe8","year":2012},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:23.221471Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:49361f53985e28c4554670831237ec52545ffca36324e3f233dc4b4650c72bd7","observation_id":"c0882c5c-1528-4269-b0aa-6d3e195fb24b","resolution":{"observed_at":"2026-08-06T20:18:32.877156Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:18:23.321383Z","title":"XGBoost : A scalable tree boosting system","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:23.321383Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:6b044a7f8bb93f2d43a1a1ef6862e1d6a961bc407f4a71022832d29404e694fc","observation_id":"dc92c6ae-0495-4b7b-a448-27ccc88a8bca","resolution":{"observed_at":"2026-08-06T20:18:23.321383Z","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-06T20:18:32.615815Z","title":"Learning from partial labels","venue":null,"work_id":"1c7c7abf-2ac5-4b79-adeb-d18f59035b1b","year":2011},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:23.517382Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:f297524705706056bb4039ffe938de87766399e0d8bd42c53e7061eee2badfa3","observation_id":"25eca343-190e-4165-be2e-12e9da9c9f61","resolution":{"observed_at":"2026-08-06T20:18:32.681808Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:18:23.627923Z","title":"A deep reinforcement learning approach to first-order logic theorem proving","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:23.627923Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:acfb5a1c3b6dd4475177684a3717533095fca97e3fafcf2d274da4884372d653","observation_id":"a3b0f8e2-0f52-4b46-b802-5bb53cdb1795","resolution":{"observed_at":"2026-08-06T20:18:23.627923Z","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":"10.1609/aaai.v33i01.33013542","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Partial label learning with self-guided retraining","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","work_id":"2e753aaa-59e9-41a9-9164-88e3502172aa","year":2019},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:23.682470Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:69729af26ca90c36fec7634b2e9270efe008038961b9ffed544db151e822b486","observation_id":"96823ac8-4256-4138-9db5-41658b71e8b2","resolution":{"observed_at":"2026-08-06T20:18:28.487494Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5724.34966","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:18:29.518214Z","title":"Provably consistent partial-label learning","venue":null,"work_id":"d7eabe2a-6566-49d7-ad3f-9901d5a1e66c","year":2020},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:23.797947Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:6b5370adffe32939eb6784bdef36f9eab7b1636504578921c995435e5c59217d","observation_id":"3b49393e-01db-4f9f-b9ca-b00e54ac9b10","resolution":{"observed_at":"2026-08-06T20:18:29.636741Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:18:32.435675Z","title":"From language to programs: Bridging reinforcement learning and maximum marginal likelihood","venue":null,"work_id":"b7c00efb-391a-43a1-947b-8e0e4c9ac6bb","year":2017},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:23.907943Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:8fc6f700e8846010d1bd3ed3fa2584297071d9ae9bc37e6fe879847b4844260f","observation_id":"b7b320af-5664-450a-8086-c135b5d76523","resolution":{"observed_at":"2026-08-06T20:18:32.524315Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-81097-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Holden and Konstantin Korovin","venue":"Lecture notes in computer science","work_id":"28105e4b-d8e0-48aa-8632-ad65805f9efc","year":2021},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:23.991044Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:782f59a75db91b82bbfeba0076a1cca36df7f8c0aac77d70caa3d6dc05ca45d9","observation_id":"13362317-c7b9-4222-b81f-65e3d5633076","resolution":{"observed_at":"2026-08-06T20:18:28.330663Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-62075-6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"ENIGMA: efficient learning-based inference guiding machine","venue":"Data Archiving and Networked Services (DANS)","work_id":"125e0822-848c-4e2e-a535-4bd56fc9764b","year":2017},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:24.044152Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:b9eab3ab7371eddf172cf068900601ab105af41bbb5144e37675c730f69782e7","observation_id":"229f8f68-05b6-4f75-a969-95b519c156aa","resolution":{"observed_at":"2026-08-06T20:18:28.192680Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8618.29687","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:18:29.111026Z","title":"Learning with multiple labels","venue":null,"work_id":"389da744-4bda-4a68-9ab0-62b70abd6474","year":2002},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:24.161207Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:9d61ff84decc17fff68de6fb831f8a9838a5111ba44b96fc5e61e8a2f4e00b39","observation_id":"6d45a036-41f2-4f2d-8491-eebfcb12588b","resolution":{"observed_at":"2026-08-06T20:18:29.223383Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:18:32.200726Z","title":"Mizar40 dataset, 2015","venue":null,"work_id":"645d0762-6047-45b6-ba5d-d4ec0649671c","year":2015},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:24.238113Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:82e1ed592e728958058682d464c313638ebc5781e1b4e016124f5ffc62427796","observation_id":"720d85d5-6b12-47cb-84c9-5b63c7463420","resolution":{"observed_at":"2026-08-06T20:18:32.334659Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:18:31.963484Z","title":"M2K dataset, 2018","venue":null,"work_id":"3580b5e2-4fd7-4281-bef8-7f0bd025eb47","year":2018},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:24.329605Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:f6a6fb04aabe54a8b84599b7d573165ca835313a063e3d438bc190284ae04183","observation_id":"b8916410-795d-4c65-aec3-2c76bfeb5afa","resolution":{"observed_at":"2026-08-06T20:18:32.085485Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:18:31.718980Z","title":"Reinforcement learning of theorem proving","venue":null,"work_id":"42967987-c108-40cd-8764-1d4a032890a9","year":2018},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:24.401735Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:f551efc1a858f4e62427bbba27a13cb205ccda5c089dca1df5761aa3aa15ad4c","observation_id":"2724a81c-b93e-4ca0-b5fd-8f914fb5250b","resolution":{"observed_at":"2026-08-06T20:18:31.785376Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.29007/nb2g","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Learning from multiple proofs: First experiments","venue":"EPiC series in computing","work_id":"c6721ce2-e86a-48e7-a45e-10ab36acaf29","year":2012},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:24.497386Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:e775521e66406e6103b0acd78ea4684c223f609e4579ba6bd3d0b901b59f5b27","observation_id":"0ff795fb-9bcf-4087-92f5-865b45420a89","resolution":{"observed_at":"2026-08-06T20:18:27.889718Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10817-015-9329-1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T00:03:40.895421Z","title":"Males: A framework for automatic tuning of automated theorem provers","venue":"Journal of Automated Reasoning","work_id":"6ecd03ca-2635-4636-9d7e-8d6db2bd6c59","year":2015},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:24.618660Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:2435e37faae8f2e58b1ad43d4d2140415a7b7cf706ee9179534ff73de2fdd85f","observation_id":"6a7014ec-d336-4ded-9ec1-955f13ba9c9f","resolution":{"observed_at":"2026-08-06T20:18:27.666856Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9134.29991","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:18:28.889412Z","title":"A conditional multinomial mixture model for superset label learning","venue":null,"work_id":"cb5b088b-709e-4d18-a1e9-1d9c36836f98","year":2012},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:24.733212Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:76c4d2cbf324c68ea6f0155c2bde1016e0dbe90413cfe011e21cb5944b65f27f","observation_id":"66e305f0-9be7-46ce-a69d-56d5f64c1588","resolution":{"observed_at":"2026-08-06T20:18:28.960485Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:18:31.465326Z","title":"Loos, Geoffrey Irving, Christian Szegedy, and Cezary Kaliszyk","venue":null,"work_id":"23afbe16-890d-4659-b5be-a3949ede53d3","year":2017},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:24.895567Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:6ea39d0957f88384e0c5405750d8cb96f035d52f58948adec8da09f66dadd39b","observation_id":"e883a4a6-e862-4ef0-a4ee-823ef48f9d55","resolution":{"observed_at":"2026-08-06T20:18:31.587053Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:18:24.972577Z","title":"Classification with partial labels","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:24.972577Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:abe0621f4fbf5e0dab47a3672d4d945f09d835681773bed1d6c70c0de5571255","observation_id":"08072c54-d773-4357-a12f-cfeef1d3ac91","resolution":{"observed_at":"2026-08-06T20:18:24.972577Z","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":"10.3233/faia200244","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Property invariant embedding for automated reasoning","venue":"Frontiers in artificial intelligence and applications","work_id":"c98e4c3b-1d04-465b-8093-3178b4ba0f53","year":2020},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:25.079950Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:eabbf8a0c2f6908ca6fe3d8ec7034d1d725833b2fe00d3cb19b265f88d2a5556","observation_id":"2d2fdd52-3021-475a-8882-431ec91c420e","resolution":{"observed_at":"2026-08-06T20:18:31.364694Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:18:30.930250Z","title":"leanCoP : lean connection-based theorem proving","venue":null,"work_id":"5732a94c-e034-4105-9bed-9a20015c878a","year":2003},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:25.271314Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:4dd7c25b7a23b9d09a8ace6417665ef23f8936afe51437ff934bb5ab6a5e0422","observation_id":"2bd5c2ff-eb77-4c5e-8bd8-a76ed10882a8","resolution":{"observed_at":"2026-08-06T20:18:31.031227Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1905.10006","last_updated":"2019-09-13T00:06:34Z","snapshot_observed_at":"2026-08-14T16:27:24.753403Z","submitted_at":"2019-05-24T02:42:22Z","title":"Graph Representations for Higher-Order Logic and Theorem Proving","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1905.10006","snapshot_observed_at":"2026-08-06T20:18:25.433447Z","title":"Loos, Markus N","venue":null,"work_id":null,"year":1905},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:25.433447Z"},"links":{"cited_paper":"/paper/1905.10006","citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:c46641f0492d906e368061d15dbbb75ef1fe709fd674d765f4d34389eb0c6c73","observation_id":"0fdf082f-29cc-41b1-b245-86666daeab2b","resolution":{"observed_at":"2026-08-06T20:18:25.433447Z","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-06T20:18:30.726729Z","title":"Atpboost: Learning premise selection in binary setting with atp feedback","venue":null,"work_id":"23817a3b-f6a8-4575-a850-b1e348a26099","year":2018},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:25.545629Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:fe9bf03c4f79ce4ed311ef7e10e1d7104ade45a70bb1c7c79f11c3d76198e0fe","observation_id":"29ab85c8-63ba-442b-969c-56939618e29c","resolution":{"observed_at":"2026-08-06T20:18:30.821316Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.29007/gms9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Breeding theorem proving heuristics with genetic algorithms","venue":"EPiC series in computing","work_id":"56f73aae-91ba-4370-8811-1a46b3d6cdef","year":2015},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:25.704460Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:b6eb7c73b391453d21c5e9de76f875a3fa96e3a0d21358be75c030a6eeef10de","observation_id":"f34112a8-0420-4e75-bd36-378f918605ae","resolution":{"observed_at":"2026-08-06T20:18:27.443338Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1712.01815","last_updated":"2017-12-05T18:45:38Z","snapshot_observed_at":"2026-08-14T20:06:37.819179Z","submitted_at":"2017-12-05T18:45:38Z","title":"Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1712.01815","snapshot_observed_at":"2026-08-06T20:18:25.796266Z","title":"Sifre, Dharshan Kumaran, Thore Graepel, Timothy P","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:25.796266Z"},"links":{"cited_paper":"/paper/1712.01815","citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:7d261dcb2c4ee677b4b07f4efe0b6dde2c5730659d827741f80ab1a139bcd44a","observation_id":"edcbd904-06a2-410c-809f-67344d3ac2e1","resolution":{"observed_at":"2026-08-06T20:18:25.796266Z","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":"10.1016/j.neunet.2023.02.019","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Partial label learning: Taxonomy, analysis and outlook","venue":"Neural Networks","work_id":"a82e9498-e357-4d48-b2fe-678483d3e355","year":2023},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:25.877306Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:80e120da17933aed3692ad62c4cc545419c26cd68c4d1ceb8dcc5a4d93ef7a15","observation_id":"7f8f6300-c944-4dd6-9f35-c3e145d47686","resolution":{"observed_at":"2026-08-06T20:18:27.304833Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:18:30.538690Z","title":"Malarea: a metasystem for automated reasoning in large theories","venue":null,"work_id":"6560d9af-890d-4c09-9ec9-dcfbff12c1cf","year":2007},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:25.977798Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:6993f88c94c19966750dff0f4e493f07a325852a9e2e849177ebf00bd1b8fdff","observation_id":"78a4350b-5077-4bd1-b21b-b023d1e979d8","resolution":{"observed_at":"2026-08-06T20:18:30.623207Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.29007/8n7m","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Blistr: The blind strategymaker","venue":"EPiC series in computing","work_id":"e2da913e-2f86-4a1d-9c2a-b80ac4979b81","year":2015},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:26.105838Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:ee6c3c2b6824a6d8f86783d25d653cd07ce612ef317a677517125fdc6e204e33","observation_id":"5979f221-dd68-4a7c-85c9-2726a10479c9","resolution":{"observed_at":"2026-08-06T20:18:27.031705Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:18:30.365168Z","title":"Premise selection for theorem proving by deep graph embedding","venue":null,"work_id":"0bde152e-0511-4f17-99fc-9eee62b36f93","year":2017},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:26.250341Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:4a281d46d851504fa8a6ce0453778dfce3f9070c68c0cc0bc7168282ae240247","observation_id":"5d4125c5-db6a-4c78-a3b7-b75a2130a1f0","resolution":{"observed_at":"2026-08-06T20:18:30.443800Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:18:30.151336Z","title":"Leveraged weighted loss for partial label learning","venue":null,"work_id":"e932d5b7-f0b7-4b19-b6f8-b489ed2f6fac","year":2021},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:26.385965Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:6a4f84ededb416b5257197761a8759f5364e1afafe66040a691eca156277c4a4","observation_id":"fc523812-3f72-4a99-bbe5-b1e3e11f4f40","resolution":{"observed_at":"2026-08-06T20:18:30.254382Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:18:26.541100Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:26.541100Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:43fe2494a4e426be4fa73f43286638d07fef101fb0ab883bc4c095f399c50328","observation_id":"94cc478a-7472-4b4a-a36c-5466e57e17d5","resolution":{"observed_at":"2026-08-06T20:18:26.541100Z","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-06T20:18:26.774089Z","title":"The role of entropy in guiding a connection prover","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:26.774089Z"},"links":{"citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:6dc4618aa635fd7918f08e8608371625651405bdf270ac297188893e119dfe4d","observation_id":"45d45978-8f0c-403b-a9d0-e8971d606161","resolution":{"observed_at":"2026-08-06T20:18:26.774089Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.00465","last_updated":"2023-07-02T03:47:10Z","snapshot_observed_at":"2026-08-16T15:19:25.909612Z","submitted_at":"2023-07-02T03:47:10Z","title":"Towards Unbiased Exploration in Partial Label Learning","version":1},"cited_work":{"arxiv_id":"2307.00465","doi":null,"metadata_source":"pith","pith_arxiv_id":"2307.00465","snapshot_observed_at":"2026-08-06T20:18:28.591006Z","title":"Towards Unbiased Exploration in Partial Label Learning","venue":"cs.LG","work_id":"d20b77c8-05b9-4289-8a1e-a5605d71bb81","year":2023},"citing_paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-06T20:18:26.884619Z"},"links":{"cited_paper":"/paper/2307.00465","citing_paper":"/paper/2507.03314"},"observation_digest":"sha256:fff6e5a35ed62ee069226ef7cc0bdc142af7bd93a6c783c92921285d6e05e1c0","observation_id":"c0b69a71-9c84-44e1-bcd3-31e7c9706187","resolution":{"observed_at":"2026-08-06T20:18:28.626564Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.03314","last_updated":"2025-07-04T05:54:27Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-15T13:42:30.730562Z","submitted_at":"2025-07-04T05:54:27Z","title":"Partial Label Learning for Automated Theorem Proving"},"reference_resolution":{"displayed":36,"state_counts":{"malformed_identifier":3,"metadata_mismatch":4,"parse_uncertain":0,"unresolved":9,"verified_exact":7,"verified_fuzzy":13},"total_outbound_references":36},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 36 of 36 outbound references and 0 inbound Pith citation observations for arXiv:2507.03314."}