Paper Citation Record · LEDGER

Partial Label Learning for Automated Theorem Proving

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2507.03314 v1

Coverage vector

measured 36 of 36 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T20:18:26.884619Z

measured 36 of 36 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

36 of 36 outbound references displayed

verified exact7
verified fuzzy13
unresolved9
parse uncertain0
malformed identifier3
metadata mismatch4

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 0ab9164b-b937-4cbe-92d8-d2134781b916 · outbound

This paper cites Premise selection for mathematics by corpus analysis and kernel methods.

Partial Label Learning for Automated Theorem Proving Premise selection for mathematics by corpus analysis and kernel methods

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-06T20:18:22.749496Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb67d249-60ea-42f1-9370-0084be648cca · outbound

This paper cites Alemi, Fran c ois Chollet, Niklas Een, Geoffrey Irving, Christian Szegedy, and Josef Urban.

Partial Label Learning for Automated Theorem Proving Alemi, Fran c ois Chollet, Niklas Een, Geoffrey Irving, Christian Szegedy, and Josef Urban

Reference 2

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T20:18:30.041030Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 70044e2c-7e90-4888-9f41-7bf4f15ba29c · outbound

This paper cites Thinking fast and slow with deep learning and tree search.

Partial Label Learning for Automated Theorem Proving Thinking fast and slow with deep learning and tree search

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:18:33.103791Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 7b403128-1d46-4860-968c-f79c5135df77 · outbound

This paper cites Thinking Fast and Slow with Deep Learning and Tree Search.

Partial Label Learning for Automated Theorem Proving Thinking Fast and Slow with Deep Learning and Tree Search

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-06T20:18:23.091803Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0882c5c-1528-4269-b0aa-6d3e195fb24b · outbound

This paper cites Lucas, Peter I.

Partial Label Learning for Automated Theorem Proving Lucas, Peter I

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:18:32.877156Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation dc92c6ae-0495-4b7b-a448-27ccc88a8bca · outbound

This paper cites XGBoost : A scalable tree boosting system.

Partial Label Learning for Automated Theorem Proving XGBoost : A scalable tree boosting system

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-06T20:18:23.321383Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25eca343-190e-4165-be2e-12e9da9c9f61 · outbound

This paper cites Learning from partial labels.

Partial Label Learning for Automated Theorem Proving Learning from partial labels

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:18:32.681808Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation a3b0f8e2-0f52-4b46-b802-5bb53cdb1795 · outbound

This paper cites A deep reinforcement learning approach to first-order logic theorem proving.

Partial Label Learning for Automated Theorem Proving A deep reinforcement learning approach to first-order logic theorem proving

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-06T20:18:23.627923Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96823ac8-4256-4138-9db5-41658b71e8b2 · outbound

This paper cites Partial label learning with self-guided retraining.

Partial Label Learning for Automated Theorem Proving Partial label learning with self-guided retraining

Reference 9

Resolution: verified exact; doi, observed 2026-08-06T20:18:28.487494Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 3b49393e-01db-4f9f-b9ca-b00e54ac9b10 · outbound

This paper cites Provably consistent partial-label learning.

Partial Label Learning for Automated Theorem Proving Provably consistent partial-label learning

Reference 10

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T20:18:29.636741Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation b7b320af-5664-450a-8086-c135b5d76523 · outbound

This paper cites From language to programs: Bridging reinforcement learning and maximum marginal likelihood.

Partial Label Learning for Automated Theorem Proving From language to programs: Bridging reinforcement learning and maximum marginal likelihood

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:18:32.524315Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 13362317-c7b9-4222-b81f-65e3d5633076 · outbound

This paper cites Holden and Konstantin Korovin.

Partial Label Learning for Automated Theorem Proving Holden and Konstantin Korovin

Reference 12

Resolution: verified exact; doi, observed 2026-08-06T20:18:28.330663Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 229f8f68-05b6-4f75-a969-95b519c156aa · outbound

This paper cites ENIGMA: efficient learning-based inference guiding machine.

Partial Label Learning for Automated Theorem Proving ENIGMA: efficient learning-based inference guiding machine

Reference 13

Resolution: verified exact; doi, observed 2026-08-06T20:18:28.192680Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 6d45a036-41f2-4f2d-8491-eebfcb12588b · outbound

This paper cites Learning with multiple labels.

Partial Label Learning for Automated Theorem Proving Learning with multiple labels

Reference 14

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T20:18:29.223383Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 720d85d5-6b12-47cb-84c9-5b63c7463420 · outbound

This paper cites Mizar40 dataset, 2015.

Partial Label Learning for Automated Theorem Proving Mizar40 dataset, 2015

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:18:32.334659Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation b8916410-795d-4c65-aec3-2c76bfeb5afa · outbound

This paper cites M2K dataset, 2018.

Partial Label Learning for Automated Theorem Proving M2K dataset, 2018

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:18:32.085485Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 2724a81c-b93e-4ca0-b5fd-8f914fb5250b · outbound

This paper cites Reinforcement learning of theorem proving.

Partial Label Learning for Automated Theorem Proving Reinforcement learning of theorem proving

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:18:31.785376Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 0ff795fb-9bcf-4087-92f5-865b45420a89 · outbound

This paper cites Learning from multiple proofs: First experiments.

Partial Label Learning for Automated Theorem Proving Learning from multiple proofs: First experiments

Reference 18

Resolution: malformed identifier; doi_truncated, observed 2026-08-06T20:18:27.889718Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 6a7014ec-d336-4ded-9ec1-955f13ba9c9f · outbound

This paper cites Males: A framework for automatic tuning of automated theorem provers.

Partial Label Learning for Automated Theorem Proving Males: A framework for automatic tuning of automated theorem provers

Reference 19

Resolution: verified exact; doi, observed 2026-08-06T20:18:27.666856Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 66e305f0-9be7-46ce-a69d-56d5f64c1588 · outbound

This paper cites A conditional multinomial mixture model for superset label learning.

Partial Label Learning for Automated Theorem Proving A conditional multinomial mixture model for superset label learning

Reference 20

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T20:18:28.960485Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation e883a4a6-e862-4ef0-a4ee-823ef48f9d55 · outbound

This paper cites Loos, Geoffrey Irving, Christian Szegedy, and Cezary Kaliszyk.

Partial Label Learning for Automated Theorem Proving Loos, Geoffrey Irving, Christian Szegedy, and Cezary Kaliszyk

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:18:31.587053Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 08072c54-d773-4357-a12f-cfeef1d3ac91 · outbound

This paper cites Classification with partial labels.

Partial Label Learning for Automated Theorem Proving Classification with partial labels

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-06T20:18:24.972577Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d2fdd52-3021-475a-8882-431ec91c420e · outbound

This paper cites Property invariant embedding for automated reasoning.

Partial Label Learning for Automated Theorem Proving Property invariant embedding for automated reasoning

Reference 23

Resolution: verified exact; doi, observed 2026-08-06T20:18:31.364694Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 2bd5c2ff-eb77-4c5e-8bd8-a76ed10882a8 · outbound

This paper cites leanCoP : lean connection-based theorem proving.

Partial Label Learning for Automated Theorem Proving leanCoP : lean connection-based theorem proving

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:18:31.031227Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 0fdf082f-29cc-41b1-b245-86666daeab2b · outbound

This paper cites Graph Representations for Higher-Order Logic and Theorem Proving.

Partial Label Learning for Automated Theorem Proving Graph Representations for Higher-Order Logic and Theorem Proving

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-06T20:18:25.433447Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29ab85c8-63ba-442b-969c-56939618e29c · outbound

This paper cites Atpboost: Learning premise selection in binary setting with atp feedback.

Partial Label Learning for Automated Theorem Proving Atpboost: Learning premise selection in binary setting with atp feedback

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:18:30.821316Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation f34112a8-0420-4e75-bd36-378f918605ae · outbound

This paper cites Breeding theorem proving heuristics with genetic algorithms.

Partial Label Learning for Automated Theorem Proving Breeding theorem proving heuristics with genetic algorithms

Reference 28

Resolution: malformed identifier; doi_truncated, observed 2026-08-06T20:18:27.443338Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation edcbd904-06a2-410c-809f-67344d3ac2e1 · outbound

This paper cites Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm.

Partial Label Learning for Automated Theorem Proving Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-06T20:18:25.796266Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f8f6300-c944-4dd6-9f35-c3e145d47686 · outbound

This paper cites Partial label learning: Taxonomy, analysis and outlook.

Partial Label Learning for Automated Theorem Proving Partial label learning: Taxonomy, analysis and outlook

Reference 30

Resolution: verified exact; doi, observed 2026-08-06T20:18:27.304833Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 78a4350b-5077-4bd1-b21b-b023d1e979d8 · outbound

This paper cites Malarea: a metasystem for automated reasoning in large theories.

Partial Label Learning for Automated Theorem Proving Malarea: a metasystem for automated reasoning in large theories

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:18:30.623207Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 5979f221-dd68-4a7c-85c9-2726a10479c9 · outbound

This paper cites Blistr: The blind strategymaker.

Partial Label Learning for Automated Theorem Proving Blistr: The blind strategymaker

Reference 32

Resolution: malformed identifier; doi_truncated, observed 2026-08-06T20:18:27.031705Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 5d4125c5-db6a-4c78-a3b7-b75a2130a1f0 · outbound

This paper cites Premise selection for theorem proving by deep graph embedding.

Partial Label Learning for Automated Theorem Proving Premise selection for theorem proving by deep graph embedding

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:18:30.443800Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation fc523812-3f72-4a99-bbe5-b1e3e11f4f40 · outbound

This paper cites Leveraged weighted loss for partial label learning.

Partial Label Learning for Automated Theorem Proving Leveraged weighted loss for partial label learning

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:18:30.254382Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 94cc478a-7472-4b4a-a36c-5466e57e17d5 · outbound

This paper cites an unresolved cited work.

Partial Label Learning for Automated Theorem Proving Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-06T20:18:26.541100Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 45d45978-8f0c-403b-a9d0-e8971d606161 · outbound

This paper cites The role of entropy in guiding a connection prover.

Partial Label Learning for Automated Theorem Proving The role of entropy in guiding a connection prover

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-06T20:18:26.774089Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0b69a71-9c84-44e1-bcd3-31e7c9706187 · outbound

This paper cites Towards Unbiased Exploration in Partial Label Learning.

Partial Label Learning for Automated Theorem Proving Towards Unbiased Exploration in Partial Label Learning

Reference 38

Resolution: verified exact; local_arxiv, observed 2026-08-06T20:18:28.626564Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Pith citing papers

No inbound Pith citation observations are available.