Pith. sign in

Paper Citation Record · LEDGER

Hierarchical Attention Generates Better Proofs

As of 17 August 2026, this Paper Citation Record lists 78 of 78 outbound references and 0 inbound Pith citation observations for arXiv:2504.19188.

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

pith.paper-citation-record.v1
2504.19188 v1

Coverage vector

measured 78 of 78 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T06:05:42.675713Z

measured 78 of 78 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+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

78 of 78 outbound references displayed

  • verified exact3
  • verified fuzzy0
  • unresolved75
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation e3eedcd3-62f3-498d-b7e6-029d6fed47ee · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 1

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:44.001514Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.342230Z digest=sha256:c806d3c4980a6b84a9808a84d3f26f963ad8a8f0dcce3f629b6765e2b075768c

Observation 9a1000b3-28bd-472e-889e-e5f7beab24b5 · outbound

This paper cites Learning to Prove from Synthetic Theorems.

Hierarchical Attention Generates Better Proofs Learning to Prove from Synthetic Theorems

Reference 2

Resolution
verified exact
local_arxiv, observed 2026-08-16T06:05:43.409339Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.347912Z digest=sha256:cbeb21e321151e6fd8452897c53a5f455c9aa5c9fb85a4b19f8d877475dd67a7

Observation 30040727-4a26-4402-912d-8466c50eaf94 · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 3

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.986891Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.353180Z digest=sha256:62e69427684188bc2a5b4a5facdba33d64a6b2f48b338ae3cc47b56e67718956

Observation aaf153b5-b0af-41a2-885a-f8f2f9993865 · outbound

This paper cites ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics.

Hierarchical Attention Generates Better Proofs ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics

Reference 4

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.358300Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.358300Z digest=sha256:19be5c4a466ed0e837fe6346c7ebf3a0409fbca080caa4f520c4fe150ecc0aa2

Observation 339c1e55-b132-4c46-82f5-a54c12e15eb0 · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 5

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.971542Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.363787Z digest=sha256:0bb409d73b8d1fc489ab4872db9f201be0236492fafb634d38f167335d17694f

Observation ebec495a-6093-4c75-93d3-c958f37d3c2b · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 6

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.368745Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.368745Z digest=sha256:b671fcba63d2a79a0167bd81ed12c6d33ab5de01a37fa8f366f3cbfe4946eb2c

Observation d7e18198-6d1e-482a-9f85-313dc24ecb3a · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 7

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.374062Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.374062Z digest=sha256:3a3337694cef5380756c8287179b6f26f576eeec275e245b760590bd260e574c

Observation d775e4a0-9836-4090-8583-d1e7ca15a17a · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 8

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.937221Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.378687Z digest=sha256:16d987519761e93e41a4696d067395abe732c85fffea81453298f60764f57a5e

Observation 8d839bcc-2dc3-4721-80a5-47cf30b1f368 · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 9

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.923411Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.383187Z digest=sha256:a31a4996f1fb49de03265c8c56347592fe749d4cf42bfb19abee9a5f8e460739

Observation e5baf325-a46c-4f9f-9ee9-5892aa989eeb · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 10

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.387919Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.387919Z digest=sha256:57ec2006b139a2a6b428abcdc4950b395d5a0afd8fa2c96b33589f6df83b2d0f

Observation 5d81836b-b162-428e-bade-3ff85fbaf48f · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 11

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.900202Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.392519Z digest=sha256:3df9b0e3ea996169b426f71aca1f850216bc976a9a2d6447a94151442d90420a

Observation e0583d58-e69a-48e4-9cf6-375495831d27 · outbound

This paper cites STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving.

Hierarchical Attention Generates Better Proofs STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving

Reference 12

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.396400Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.396400Z digest=sha256:04858468fa3a5da65cf1a22b79c21223b9f93c6552a487ff3d3e1ee4aee4c1c5

Observation a1693a7d-c7db-4061-8882-2db926b72b1d · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 13

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.887541Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.400967Z digest=sha256:827853352e07529f8c89c88a163d25745f1bcccca3330cd4173b6853629fb86b

Observation a6072ffe-3dd3-42f0-aede-19e05734d726 · outbound

This paper cites Natural Language Premise Selection: Finding Supporting Statements for Mathematical Text.

Hierarchical Attention Generates Better Proofs Natural Language Premise Selection: Finding Supporting Statements for Mathematical Text

Reference 14

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.404972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.404972Z digest=sha256:b1f91bd313d07475d83e560d13fb6b8928bed914c6b6eca79e5115609c94644c

Observation 2db80847-a2dc-4b8b-b70d-6c90e892abd4 · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 15

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.872671Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.409270Z digest=sha256:acbdeebd8bd4fc39e5ae75db653ff3b3fdb9f2932fbb34a9bf0c2342b7d9118f

Observation 07e4369a-6146-48ca-9c41-c047161873c7 · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 16

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.858548Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.413201Z digest=sha256:5fb86f9c2e3158ab526e8ceec0d1ee9baa4870d75269ec09483193870b126f6b

Observation 38933512-bdbe-42ba-a7b0-17d8ff8ebfa8 · outbound

This paper cites An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations.

Hierarchical Attention Generates Better Proofs An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations

Reference 17

Resolution
verified exact
local_arxiv, observed 2026-08-16T06:05:43.339994Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.417241Z digest=sha256:fbd82a3b851373339a9c91ab9107d9afdb0c1175aa34fa11789fc7b24b21b41e

Observation 459819cd-9963-4b07-aa27-e247d6fe2490 · outbound

This paper cites Proof Artifact Co-training for Theorem Proving with Language Models.

Hierarchical Attention Generates Better Proofs Proof Artifact Co-training for Theorem Proving with Language Models

Reference 18

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.421488Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.421488Z digest=sha256:ebaa6c66c0ca403be672a954382830a7b0dc69d14d8e958b0aaf3f467e03984d

Observation d417269b-684e-4896-acb3-039c4e0ad461 · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 19

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.842685Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.425442Z digest=sha256:b3a0f175daf3145a14ee91644fdbdc5a547ec3882bb32447075d1f57766fc4fa

Observation c4748428-e68a-4eac-9cd0-c544cd035f5e · outbound

This paper cites GamePad: A Learning Environment for Theorem Proving.

Hierarchical Attention Generates Better Proofs GamePad: A Learning Environment for Theorem Proving

Reference 20

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.429569Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.429569Z digest=sha256:f350bd557485d077aa230840f6fed91a78c36f9085e42743dc8015b453468329

Observation b97a4d19-6fea-42c2-a6f9-1f57079f13f3 · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 21

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.829175Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.433708Z digest=sha256:bc3c4822331e07518d2c946d3010eebd5be18e9d01ea7a5e850c1b954f8fc59f

Observation a3d155fe-6a45-4fd9-a2af-69b90930a9fc · outbound

This paper cites Multilingual Mathematical Autoformalization.

Hierarchical Attention Generates Better Proofs Multilingual Mathematical Autoformalization

Reference 22

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.437834Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.437834Z digest=sha256:de69fc2c452941140880cbfb6330820e45c0c1425a6086bbc0b06e9f8415a837

Observation fa7d64c8-a0c7-40e4-8860-b8b3b43a3f80 · outbound

This paper cites Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs.

Hierarchical Attention Generates Better Proofs Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs

Reference 23

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.441934Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.441934Z digest=sha256:c0c744c9ca61fb1231f37b4d260758a4c6eef984840a24bfb119e61719bded54

Observation 51472a1d-d56a-4cd5-9e56-3384017ea13a · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 24

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.815287Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.445857Z digest=sha256:e28c01b93b152787aebe8e44b06323fc0754bd354590a5f7fe43432ec0ee2f45

Observation 8ba54b3d-675f-48a3-857a-c20a9b690795 · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 25

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.800137Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.449556Z digest=sha256:0f90edfdf066a66c5fc07c15dde1790fd105cc6be6e42fedb1b918b84ee4c497

Observation 65ad04b7-607b-4316-b8e5-69e6bbd8fa2a · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 26

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.783689Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.453368Z digest=sha256:a0d4ca2ea4f520dc61fd16b1c9f47b5e88f76e1acf042b4f50aa34351104f56c

Observation 0b3a123e-d2d4-4fab-947d-c06c54f93d53 · outbound

This paper cites Premise selection with neural networks and distributed representation of features.

Hierarchical Attention Generates Better Proofs Premise selection with neural networks and distributed representation of features

Reference 27

Resolution
verified exact
local_arxiv, observed 2026-08-16T06:05:43.256682Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.457440Z digest=sha256:9f7d6820f98321038d3f34a365a70e505ef8fee9036e8a3c451f1f6da447fa51

Observation f0394959-1899-4a12-9cef-1f34e3d33bb3 · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 28

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.461551Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.461551Z digest=sha256:9d3734f3e9e4d53a69ed2ed30dd24bc75d8038acbf663e422b94c8a6ee44f8f1

Observation 9cf8732c-3eb1-4ee4-917c-5a36d0fd7496 · outbound

This paper cites Lean-STaR: Learning to Interleave Thinking and Proving.

Hierarchical Attention Generates Better Proofs Lean-STaR: Learning to Interleave Thinking and Proving

Reference 29

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.465366Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.465366Z digest=sha256:5c0d77d1cbda836583bcf658b39f856ee6ca4b93183076bad9814c705e6e0d95

Observation 35310ba6-ba24-4895-94aa-04c933b55073 · outbound

This paper cites Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving.

Hierarchical Attention Generates Better Proofs Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving

Reference 30

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.469169Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.469169Z digest=sha256:97440c492f396b6165fee3eaaa23c3c9bf01d82ced99f603d70170660202c109

Observation f98f4317-5bdd-4525-8e55-537c4fc8ad7a · outbound

This paper cites FIMO: A Challenge Formal Dataset for Automated Theorem Proving.

Hierarchical Attention Generates Better Proofs FIMO: A Challenge Formal Dataset for Automated Theorem Proving

Reference 31

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.473197Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.473197Z digest=sha256:e4af1aa949d4f0341649324e8b77f27db2ebe35493b46fb2c12e6c035c5f86e5

Observation 97591dd1-2f54-490b-b4ae-0705772baa81 · outbound

This paper cites Deep Network Guided Proof Search.

Hierarchical Attention Generates Better Proofs Deep Network Guided Proof Search

Reference 32

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.477204Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.477204Z digest=sha256:058aff69f53324e4251c552cb25c3a61d21f2b786766e66b8e14f3ea13709269

Observation 76f3f9e5-56dd-40b4-b27c-bf1490036709 · outbound

This paper cites Process-Driven Autoformalization in Lean 4.

Hierarchical Attention Generates Better Proofs Process-Driven Autoformalization in Lean 4

Reference 33

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.481678Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.481678Z digest=sha256:5ebb795f09c3e21a56e95caa68167807e4b5755e06f1e1b297fec10503d24fb9

Observation 70cfc211-6e16-45f1-8667-1d5b5cf2853e · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 34

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.758056Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.487637Z digest=sha256:ff07cd486867d98703fb687e0632c3ade5f8dcaf1186c810715379cd491d09f8

Observation 8388912e-80d9-40e1-99c8-78d0f5cae809 · outbound

This paper cites Magnushammer: A Transformer-Based Approach to Premise Selection.

Hierarchical Attention Generates Better Proofs Magnushammer: A Transformer-Based Approach to Premise Selection

Reference 35

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.492544Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.492544Z digest=sha256:3ef340a1f779867fb111d8d95602f93540467460fa704deb8d980ffeab462f40

Observation 2a1d5cc7-11d3-420d-adb7-19e7eee2f358 · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 36

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.497283Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.497283Z digest=sha256:b71eacb6f6e44d2e3f457839f2035362b54161fa57b70cdeb3fc45daefb039a4

Observation d4d4c8a4-ec65-4310-a4e1-4dfc56ad579a · outbound

This paper cites Autoformalizing Euclidean Geometry.

Hierarchical Attention Generates Better Proofs Autoformalizing Euclidean Geometry

Reference 37

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.501609Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.501609Z digest=sha256:a1c1880a741f3c5a3ee5d08da10e5ca8912b5b7ef9a80ef901fbffe74df0ee2b

Observation aec59c7d-ab35-49ef-ba0c-aded57a10e73 · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 38

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.734006Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.506383Z digest=sha256:d1c2388aa16cc0f4f256dacac4e52b9b3af68fc0469052e4d127e443489aff07

Observation 6566d812-ba39-4dec-956b-e001bd622332 · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 39

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.720276Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.510765Z digest=sha256:e45f780c42318e6d4b2f3322061e28330d26edcb35b4c79fcae40081938a9c30

Observation c57ca47f-8de2-4cd1-9116-bcced4a46409 · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 40

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.706988Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.515483Z digest=sha256:c429f96e47ab8716f1455633d3a6d5f2b3abf6d73f16936de2882c138f282b04

Observation 6622c7c3-8e23-4aa4-b24e-53d75d589852 · outbound

This paper cites Stateful Premise Selection by Recurrent Neural Networks.

Hierarchical Attention Generates Better Proofs Stateful Premise Selection by Recurrent Neural Networks

Reference 41

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.520161Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.520161Z digest=sha256:451a1dbc4db76e5e7f6b5a38bb94e1759eb97b6ce8345ce6474c93cd1ebb4452

Observation 729f3ea5-ac43-49d9-96f4-3c8f7dea2ca2 · outbound

This paper cites Formal Mathematics Statement Curriculum Learning.

Hierarchical Attention Generates Better Proofs Formal Mathematics Statement Curriculum Learning

Reference 42

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.524951Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.524951Z digest=sha256:2d53f0070841cb0b7d4f13f540977f26f3519f0a6172c59b6c792ee4000660f3

Observation ca2f2499-70ea-44bc-a903-f732ebdb4b80 · outbound

This paper cites Generative Language Modeling for Automated Theorem Proving.

Hierarchical Attention Generates Better Proofs Generative Language Modeling for Automated Theorem Proving

Reference 43

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.529197Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.529197Z digest=sha256:abaf3ad14ebd9913d8b772e39279ac34a41ecdfa8cb68b576dfff721bef24679

Observation 748c4581-4a36-4c35-9d20-e8f123d7807f · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 44

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.693378Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.533408Z digest=sha256:98b39a34ad9e430370b26f0fa7b41a63f35d467d88d44afa320de36bc40bc20c

Observation 373a77d5-e04c-475a-9e06-bafe144b877a · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 45

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.675861Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.537262Z digest=sha256:c65c034d3d50d193c976e11aed600c00c92e961e42794762e389022053a6213b

Observation c99d0bfa-0c48-4904-a93d-d9b6aa5a1d02 · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 46

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.662231Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.541198Z digest=sha256:ac768633ae89dcc752d5313a02df3055698d81f4b4ccb8e3c8c5b6c7dee06025

Observation 837962fa-4f39-4ffe-bffa-72b2e1aa865c · outbound

This paper cites Graph2Tac: Online Representation Learning of Formal Math Concepts.

Hierarchical Attention Generates Better Proofs Graph2Tac: Online Representation Learning of Formal Math Concepts

Reference 47

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.545014Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.545014Z digest=sha256:151838284e682ba1defd6b9a82e4b68436a2ff4e2c0b05d111cf68557697dc27

Observation 3476f508-3f45-4bbc-b559-f04fcf377959 · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 48

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.647161Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.548772Z digest=sha256:6145d7bc0d39b2b3669a85ecfad465a76b219c4a32f6bfed5ba0c628d1ef537e

Observation e10d688d-fee9-4cfd-b177-5694af9bfdf3 · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 49

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.633249Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.552607Z digest=sha256:fb552483203b99d3954f69a82a0fdc834c32ce958234d58a6851b9ccb262775c

Observation a91924b2-2be5-4862-8127-25782ceec0c6 · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 50

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.616554Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.556859Z digest=sha256:9ef5fe5bdf462a97798133fe3f18ebdc190bd112f14159618c38941e2a3e1b1b

Observation d9914d1a-97e5-4d95-83e9-d908cb6cb09c · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 51

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.602971Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.560837Z digest=sha256:51e39670c18832e2a26c7d9be8df03a99e2ff34b7b27b3ed2264291966e3bd3e

Observation d9d729d0-0097-491a-a09d-8f033ebea4e0 · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 52

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.587829Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.564547Z digest=sha256:8af760f3a1353251cfc3c972dbd789f1d258afba700a932835be7b5bda1e9aa4

Observation ecf4eb9d-cfde-4e00-87e9-d3380d896bfa · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 53

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.568467Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.568467Z digest=sha256:2321da949f1b18a9a720104b101062cafe6dbf2bb54cf72912b4b72ccf26935a

Observation 6bab50be-d3c2-4c96-8502-4cb3c0761c55 · outbound

This paper cites Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning.

Hierarchical Attention Generates Better Proofs Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

Reference 54

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.572510Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.572510Z digest=sha256:44d30d70438a3e5879aa813ec6a124b050565f8f5183a7c27334da1fdcd422fc

Observation a3af786a-e08e-4b79-8ed8-c5963be173d5 · outbound

This paper cites Proving Theorems Recursively.

Hierarchical Attention Generates Better Proofs Proving Theorems Recursively

Reference 55

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.576894Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.576894Z digest=sha256:630ccbfc50fe7a8f7ebe55b89ceb9351b3341a61ad631e78cd168db815cceef8

Observation a9b22bd6-c97b-46d7-ae01-e0268174098c · outbound

This paper cites LEGO-Prover: Neural Theorem Proving with Growing Libraries.

Hierarchical Attention Generates Better Proofs LEGO-Prover: Neural Theorem Proving with Growing Libraries

Reference 56

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.581026Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.581026Z digest=sha256:44630609d8c3018f5c537cf16bbe206eca60a60c80aa7a538e2992e7228bf2f1

Observation 97b45ef6-9d11-430c-89b1-391db336ecd0 · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 57

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.563115Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.585128Z digest=sha256:4dd3ed6c68159ee2c8f23fde6dd93c834bb61b69ff058d7ba81a2229d701e9c4

Observation 80b4d027-272a-434f-afb0-b6048fdaa5f8 · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 58

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.548328Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.589587Z digest=sha256:e9a720bcfd0949fded3cef52964a5d4139cea23e96da6392b43d01bcb9bc43ee

Observation a2869101-dd2e-4a8e-a3ae-e6c8d08d8a12 · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 59

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.593532Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.593532Z digest=sha256:3e8661c6228aa26b15f414f96d86c8c9fea135821d467ec1fcd943e75f6fbe38

Observation 24c0076c-6469-48cb-98f8-2bb2cc6f4a50 · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 60

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.523228Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.597398Z digest=sha256:efc065c9b83002f252237b0171137ca152abfd9b49c5dbcb6b774a59f0f0a020

Observation 97ffde73-9f25-4ab3-94b9-81ecbf38f0d3 · outbound

This paper cites MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving.

Hierarchical Attention Generates Better Proofs MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving

Reference 61

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.601088Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.601088Z digest=sha256:7524b9e81c461d6916149028706d97414abda5a5dfe46ea78484e724350aec0f

Observation 0b02b037-9388-4318-b3d1-188b5d6ee502 · outbound

This paper cites LLMSTEP: LLM proofstep suggestions in Lean.

Hierarchical Attention Generates Better Proofs LLMSTEP: LLM proofstep suggestions in Lean

Reference 62

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.604965Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.604965Z digest=sha256:1a0f632e9b0879d88a9b0e554b33626b2d1bdac90a354513517b3bb9282bedce

Observation 908e0dd9-9eed-425a-807c-e99b690e9803 · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 63

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.508255Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.609060Z digest=sha256:379cfc80f6e8c814bce720c04c92ca0f8402ce7839895314638535b6639355c5

Observation 1fdc886b-c56d-4606-a74b-a51b74ab26da · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 64

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.494947Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.613331Z digest=sha256:3ecfcc232334c7547bef90e776956356d304b50b1672612a74eda12509d7bd2c

Observation de236324-1400-4ff2-803d-f684f8973272 · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 65

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.481200Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.617567Z digest=sha256:d2e58838ba51bc14c99f29a3482355eb9182f3dcb8671b2d43fd39dc497b54b5

Observation 8ddb11df-c999-4d33-8563-d445e06ffc03 · outbound

This paper cites LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover.

Hierarchical Attention Generates Better Proofs LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover

Reference 66

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.622695Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.622695Z digest=sha256:070106b48ebb442e1130d732eccfa78a3747187e2109f9d97e485dd0b6bff109

Observation 2b19eb41-7053-4b41-a9d7-91b9f6399871 · outbound

This paper cites DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data.

Hierarchical Attention Generates Better Proofs DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 67

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.627684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.627684Z digest=sha256:9bbcb9b3c4292dd73fecd928d31adfb32310288ee7da5c3909541f6030ee3ab7

Observation 10d19ab5-e6b1-4a8a-a6a8-c211a7a06711 · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 68

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.632588Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.632588Z digest=sha256:449a28986e0d499832cebdcfaf281bb45732d32fb80976b0e595af3511566385

Observation 6e3bce53-da4f-4db3-8e5c-b165fd794861 · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 69

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.467219Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.636961Z digest=sha256:525a710f9673301b992a25b364e9e111e1e88c9081f8168caa7f4793581c2363

Observation 5c10a1aa-9bc1-4219-8b6f-73d66551f053 · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 70

Resolution
unresolved
raw_fallback, observed 2026-08-16T06:05:43.452754Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.641407Z digest=sha256:a296f8053a3d4eaf655bcd15b87e20f460151a4ae59801b2e15e16bbdb0feee4

Observation eab06b92-ac23-4fa7-a983-bed0b6610ebe · outbound

This paper cites an unresolved cited work.

Hierarchical Attention Generates Better Proofs Unresolved cited work

Reference 71

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.645838Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.645838Z digest=sha256:49aa92a400c3871b72edea55c4c89e5471a91b256a489c3ec9b2f896e2e55d93

Observation 15432486-6619-4368-bfde-1a491751d122 · outbound

This paper cites Lean Workbook: A large-scale Lean problem set formalized from natural language math problems.

Hierarchical Attention Generates Better Proofs Lean Workbook: A large-scale Lean problem set formalized from natural language math problems

Reference 72

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.649624Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.649624Z digest=sha256:423b58ef1f3e9fd21442c6c9ad5d13cc50a0b8341b36616cc952d9e653ba46d6

Observation 95c691fa-1943-4a6c-a254-59357180d861 · outbound

This paper cites InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning.

Hierarchical Attention Generates Better Proofs InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 73

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.653998Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.653998Z digest=sha256:7d0b279df1fd78da4d61a0ffb448a9007897528f9ee1fad837052c346c7956bc

Observation 4ea7f93b-6263-41de-a04f-f9896cb7e33f · outbound

This paper cites Leanabell-Prover: Posttraining Scaling in Formal Reasoning.

Hierarchical Attention Generates Better Proofs Leanabell-Prover: Posttraining Scaling in Formal Reasoning

Reference 74

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.658395Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.658395Z digest=sha256:0b8bfa6940bb969f363cd53fa68cee84159bdec774a9678c3741d4e5f79f5cda

Observation 89f47794-857d-405f-9dd8-f2f584226261 · outbound

This paper cites Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving.

Hierarchical Attention Generates Better Proofs Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving

Reference 75

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.662751Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.662751Z digest=sha256:f0ba4e998ad19bfb2d0958abb3b1985b4f323862e619b8810f9888b6841b0121

Observation 1c8ca818-dca9-47f5-9798-25e89a911d61 · outbound

This paper cites MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics.

Hierarchical Attention Generates Better Proofs MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics

Reference 76

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.666982Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.666982Z digest=sha256:da57b8861394aafb04ada7fe6c7aa108f5fb969497b85eda13d027755dcdbd3f

Observation 26024eaa-2476-4fb2-be37-eab0493ccbaf · outbound

This paper cites online" 'onlinestring :=.

Hierarchical Attention Generates Better Proofs online" 'onlinestring :=

Reference 77

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.671324Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.671324Z digest=sha256:36fca619958c438ea05d8c9c558e32ea410f85ace41fa3d0a20e79d0f049e00f

Observation fa8e4672-de58-42c4-a56a-afedaadb3cc0 · outbound

This paper cites write newline.

Hierarchical Attention Generates Better Proofs write newline

Reference 78

Resolution
unresolved
no resolver link, observed 2026-08-16T06:05:42.675713Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-16T06:05:42.675713Z digest=sha256:5901b6cceaa5b2f901bc06d71c9929fe66ffc565369a664304d199a523902d66

Pith citing papers

No inbound Pith citation observations are available.