{"as_of":"2026-08-08T22:37:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5f613778746c5b8f3e90aeec3ea29a9a0d25053798cdf943432e34cc55b6f608","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-08T06:32:00.761636+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-06T20:20:16.141801Z","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:2e5a45c46de6903d859d6ae2cfcabd8ce9bb6a5bbc1c264348d5124d348e226f","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-06T20:20:16.141801Z","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:f0dd0af1080dbd174d94ff55bc89cbe3fa4e14dc003f839b8b1a42edaf5b1e90","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:20:16.141801Z","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:9661130cf94b38bc37f6d8491df4d42f03bc1c845e564da0539520b20fef5c67","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07-06T05:43:57.077871Z","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-06T20:20:16.141801Z","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:b7b61e3536d04f4410f4d714e7f9ff6925703ab6fab2d52eb6088c90ce5b2f9d","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-06T20:20:16.141801Z","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:e7a660ac5a42d902a0649a8faa9d15289a9bd3ea185dad62baec28665f5f9111","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:20:16.141801Z","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:3b431db66db60cbfdf00b7bb3e1412ac8e24f619291d45f82968bcb85ad00a16","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-06T20:20:16.141801Z","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:b862ed49b0c30aab2d8a6f7e1a85187e43220dc75e09c05e4ae29ee7f1476bc0","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:20:16.141801Z","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:8fcb6f647789ba22db97958dbc46050ab957eadc63a75bc3586f519b57332cfb","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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:18:28.420022Z","title":"Partial label learning with self-guided retraining","venue":null,"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-06T20:20:16.141801Z","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:16077599db44c86fbd49b8c14dc13a5abbbe77d5160817415632ae3fe0c4d09c","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:20:16.141801Z","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:442848b34d65f346e41ce10d30d42574ab7c81b0b0474ac82a6d743e5f319f8e","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:20:16.141801Z","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:6b7e81f5e25a4704ea66a8b7baf49a98ce7a6c8a7689a3a28514dabde72952de","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:20:16.141801Z","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:2eec16984144cdc8da986a0bf9086918dba746d5f241e157fb1ab35b5fdf39f3","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:20:16.141801Z","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:3eaf2aa36f3ac755a20abaf46d6c5316c695019ee74e5278589d2b7cbb0b1a91","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:20:16.141801Z","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:b94486ea3c4f078eaf1e2db6362b4b97e04957aba8211935cf1989909265a42a","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:20:16.141801Z","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:5f3fbfab8128404389ef0ce14e1f9b45d82b14c784689ff9636f539567ddc269","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:20:16.141801Z","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:638bf91554af9f092f2f7752f289412851ad6e15415b71b339a466724be8fe8c","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:20:16.141801Z","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:86b607437477a102b94c9980bbbcadbbdfb7aad1057373f77c75ca0dc6e806a0","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.29007/nb2g","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:18:27.804499Z","title":"Learning from multiple proofs: First experiments","venue":null,"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-06T20:20:16.141801Z","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:bfe6c3669b63fbfcea46196d4e580d86dab5a3adc728f739165ac61a4e823945","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:18:27.597874Z","title":"Males: A framework for automatic tuning of automated theorem provers","venue":null,"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-06T20:20:16.141801Z","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:583413535aae87c697018300c53db6f1ed9396b60f5fc0238947ee5cde2f2379","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:20:16.141801Z","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:71f78266de3b1b76dc9af238eadb30cab2ad957265168bf769a1f3ac53e6326a","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:20:16.141801Z","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:1b1b3f92ce0a64c108a83ce17f3865bad5a333b337bf8646442a4b5596125f20","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:20:16.141801Z","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:c48ed93c1212e46b76351711975ee5370068ea6e76ab4dd5b028a73cd3792218","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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:18:31.190296Z","title":"Property invariant embedding for automated reasoning","venue":null,"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-06T20:20:16.141801Z","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:830f2718508c8007d3910b8582d48a42b7337ff1fa534188b78d53d45b549a2f","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:20:16.141801Z","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:8517c33955acbf76277ea8e6ceea9b59d86bf1ba533ca71fe26c2cd18a17159d","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07-06T07:55:08.790633Z","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-06T20:20:16.141801Z","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:ac59fcd2153b4f55bd25a777f67ed9ca0a1ed39dc423ad14aae0fa9dfd65438e","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-06T20:20:16.141801Z","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:c51c0a8c7638d896edb19c871c48c018f4ccad379e51ce6f9bb803c9f7ef5afb","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.29007/gms9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:18:27.405018Z","title":"Breeding theorem proving heuristics with genetic algorithms","venue":null,"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-06T20:20:16.141801Z","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:ef8e6a311c6e0c990bd7a60935e8b6ad56a6e3473abdea0c83eca739ceb9257a","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-02T00:39:04.960144Z","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-06T20:20:16.141801Z","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:147fd9c64c6bbeb2f75ee9f390bd5ab5b7148b022c095102513db2fc6f661db6","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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:18:27.210703Z","title":"Partial label learning: Taxonomy, analysis and outlook","venue":null,"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-06T20:20:16.141801Z","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:320fb964a85278c76356385035dbbaa82b056a35ea5cb91b6b9d9d980b3c2a86","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:20:16.141801Z","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:4e2ec605bc3d82307ca9c183143b05d13c8d8fcfa7734cb0b2f8e50dcc21a751","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.29007/8n7m","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:18:26.979701Z","title":"Blistr: The blind strategymaker","venue":null,"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-06T20:20:16.141801Z","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:d891903384d792abd101b9ac210d59c36edf068904446e05619fd1d598998cb6","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:20:16.141801Z","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:4a97d6b2738b6af86f6f04f1d97412f25459dfe5a9d9aaeeb3a06c9da46882c2","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:20:16.141801Z","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:177ae9e6d98b6dea0f4885550245a0a5744e1ac5aeb818af8b44a71be481ab9e","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:20:16.141801Z","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:97fdf690474b1cd35c0fd5513ca00627ac666459cf2d628a22fc36dbe0f7a798","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-06T20:20:16.141801Z","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:8f93ef382ff879e12a4520561249a3e04a8b9532730b00466f0b641e3e670e51","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-06T23:03:28.585876Z","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-06T20:20:16.141801Z","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:986e7076abbc4e1fc3240139acd442529ac94d101819f553e3ea9ca04d1d95ad","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:20:16.141801Z","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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 36 of 36 outbound references and 0 inbound Pith citation observations for arXiv:2507.03314."}