Pith. sign in

Paper Citation Record · LEDGER

Hierarchical Attention Generates Better Proofs

As of 20 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-19T06:32:44.657259+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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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:dc2a4991436f9453d5dd8c6b6d178e7938f7c18ef952682256fe19ff6240d8b6

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-19T06:32:44.657259+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.363787Z digest=sha256:85226fe78d2fe92843805f6ca166bdf604504685509d9f28cd9bd8645649a43b

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:6cff242364574e5e19c4c11a8f39381e12eaeb921e849f6a670087916b39ff5a

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:8681dfe54e1d3e3fe4e6e41b5b916e17ca9da0c6f5794b2219f1abacda05dca0

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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:cd24350369e129cd04958ad7d63c1d2b81283c607b5b2c77af969f3528c8a2e9

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-19T06:32:44.657259+00:00.

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

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:7fde290979fb010fabc3f003978ed6b7922d1c69a37bfbaf6d9a9169e7427cf1

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-19T06:32:44.657259+00:00.

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

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:856ea45762d98d7649b8c41156fbe4a025c6a63543f097076478f875c1a2bdc0

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.413201Z digest=sha256:95b02dc649fa660e2e4d55815e8e19277924a6f991bb895ad2f7c3f398b52ae1

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-19T06:32:44.657259+00:00.

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

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:f30139d648f7531de9895091fcc04a5e1d649ce5cd11b2218a948b96adcfd0c1

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-19T06:32:44.657259+00:00.

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

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:732bedc2e2fe33d49350090386e13e9137399964ecf9f6c59f748dbcc19aef12

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-19T06:32:44.657259+00:00.

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

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:741697b0ce0e8cc18a76d34258aaea6f24480a8888e40a01a68b03a1ef61c888

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:2f2f11d365354fbfc042dd75ae90acdd2b3841f92a0ce36869030136a641c5b5

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.457440Z digest=sha256:10ee24ff02042c74aa5d61b69085a761638575cba3d5013b1f80f8fc5c53eced

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:1ebd81271697a34209962d0122eb48257ec8a4d1682fa827f24838a1b7d6a868

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:f91be9ca153b0a17a697a6917e7f2055c1816a2c79c0da47a895e7434fc2a40f

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:6c03feb789c09609878c681c4b5243636b0df162035587e68acfb83709776295

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:e86b59776d57463f511d0d8284e13010ba05e2082a195e01906d66457659f4f7

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:6429f76842e45d80145afdfb003df318ef38fc34e4a8f7eb0ae97ec86b98c78c

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:654f8989dd71152ee516327a1a2dacf18aef4a1e9de4afd7ae057ae3e1d536eb

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-19T06:32:44.657259+00:00.

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

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:104e8f944acc9f025b6e84e036b061d3297bb5d9a1522ebaaafc00b83674309f

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:a324b88894e99a725e37bd12861e42181b1f644d7a68c246a83b1be061eb82d2

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:f1eec99d646d396063631a16020bfe12fa28d2a710d273868af727ef47a5f844

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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:caeeae79639efeb4749c24fe2f3bdf906d070d77920189f6a7e74d9096a9d5c8

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:d26722e9dc5084621ea23bd79d7f6f57fc7a4c0de8a7439f23059d454e7273d9

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:f9da4128fde42d5c79ee852e56aa7225e2bffbae8ea81325d4a8375b87c4ab26

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-19T06:32:44.657259+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.533408Z digest=sha256:1c7ac2cbd42d98e7dff31b1109c47626deb40f2a45d19ddbf5790e133951950d

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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:104a40f381ed532781993f20561115d6f35bdc1e51133ee04ca8793a0838154d

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-19T06:32:44.657259+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.548772Z digest=sha256:8c8291e6a8aa218067da6f3e819c2df7942dd105f4a20f191523fb065973b30a

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.556859Z digest=sha256:6ead03ba11f8fc9b4a095d22e0023d9fb93135e782111dedc5f40ef2c15a89a3

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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:840ef21bb41d183b53fce6a7678cb7fc9bbd80e504cdee4be8b71b3cc80d8b4a

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:68ec3a2b918b59e742e39e9f52cb48a0bd6c518a7a33751c2c99710906037685

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:1652650077ec36f674840c66a41f91cc6de2f9153a5cd63262acc0864129e426

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:7c2d28f9dc291c015a5f39d0639078a274898aac0ccd8c41d64240300d2ad13c

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-19T06:32:44.657259+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.585128Z digest=sha256:0a1646b884f3d67e7e7ef6667001371b0a784f736f7be7213e0fe733e088db2b

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-19T06:32:44.657259+00:00.

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

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:cd175648f262d056b9e3c0e9535d44ba90368db40f0f9b74726a8ecbb3007c0a

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-19T06:32:44.657259+00:00.

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

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:422039d7f2ca3416d8df350083791a9ddbc65313cce43531531279465be735c2

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:e8bfda30a614dd1edfe2b9d05f7c9d39f412772b216b1e3d9ae96c5fba48b6e6

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-19T06:32:44.657259+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.609060Z digest=sha256:977ccc2cef5099816772384e15f62d46ea805f088b368a1fc78ee602aaec8c3b

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-19T06:32:44.657259+00:00.

source=arxiv_source observed=2026-08-16T06:05:42.613331Z digest=sha256:42a6794b8538b8dca00f2b3dff3432b64afb643aa33a6ecf3cdc6ce4561618e3

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-19T06:32:44.657259+00:00.

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

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:3f7be1fa119b3650f7bfbe4ba3a35584724b5bdec4c72573a69a62ba7dd30361

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:685791695a8f3227f21541dba829b66ff3c1f4e463f161a321dab909559d0cce

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:984582a7fca5e926308e890490635f7eaed1489e72f8bd2b82b916194378a006

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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:4e39499c96c40d82c70a4e7949f5752fa10a7c7538031e5413740521135e5f0b

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:2896454cf2d3c37bc5e96a5d189d573acb4b7d102ffc4f279f7a1ec43828a949

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:e28d0b26764a8198b4f70896bc6c16e0319a26c7c2cc9be5b1ade9e9e9e4b8da

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:8eed8b5c33a8f4e033f4b10fffcbc511f02218bb072fced6389bf44993e1e012

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:051afe5aa721a7fd0e07f1c31e1f718e6ec123e38273e59470c6c07ef2e989e6

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:59a780c9f323d045330543ddf86545995285270c0577e4bde173f2db570c5a11

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:caa8077aa9db7db2aff052f086fd63bb143ac560f1ca55c848b9629f4ed98d9d

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:a8a0c5e61a221721cb1c8074e543684c79fae984dbfdbe26b560a0606a839968

Pith citing papers

No inbound Pith citation observations are available.