Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-10T02:26:38.719009Z
Paper Citation Record · LEDGER
On Reasoning-Centric LLM-based Automated Theorem Proving
As of 22 July 2026, this Paper Citation Record lists 54 of 54 outbound references and 0 inbound Pith citation observations for arXiv:2604.19558.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-07-22T06:31:00.163083+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
54 of 54 outbound references displayed
- verified exact5
- verified fuzzy40
- unresolved0
- parse uncertain0
- malformed identifier2
- metadata mismatch7
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation f2f964e8-950b-45ba-bec1-5f58d3693ca4 · outbound
This paper cites SpringerVerlag (2004).
On Reasoning-Centric LLM-based Automated Theorem Proving SpringerVerlag (2004)
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.735370Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation f8f54455-75d2-4660-a380-ad7b1c6881dc · outbound
This paper cites In: Proc.
On Reasoning-Centric LLM-based Automated Theorem Proving In: Proc
Reference 2
- Resolution
- malformed identifier
- doi, observed 2026-05-10T02:27:36.547114Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 0b844cbd-4dcc-4f30-8f59-04a9904d0177 · outbound
This paper cites In: Bjørner, N., Sofronie-Stokkermans, V.
On Reasoning-Centric LLM-based Automated Theorem Proving In: Bjørner, N., Sofronie-Stokkermans, V
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.722201Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 898ed48d-00a2-47ce-80ed-15bc69e6b15b · outbound
This paper cites Journal of Machine Learning Research24(240), 1–113 (2023),https://jmlr.org/papers/v24/22-1144.html.
On Reasoning-Centric LLM-based Automated Theorem Proving Journal of Machine Learning Research24(240), 1–113 (2023),https://jmlr.org/papers/v24/22-1144.html
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.725451Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation cc6a3de9-d098-43e8-a034-be25f13e46e0 · outbound
This paper cites In: Klein, G., Gamboa, R.
On Reasoning-Centric LLM-based Automated Theorem Proving In: Klein, G., Gamboa, R
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.719533Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 2df411f1-80f7-4675-aa71-bad55c4c9f2c · outbound
This paper cites Journal of Auto- mated Reasoning62, 367–391 (2019).https://doi.org/10.1007/s10817- 018-9459-3.
On Reasoning-Centric LLM-based Automated Theorem Proving Journal of Auto- mated Reasoning62, 367–391 (2019).https://doi.org/10.1007/s10817- 018-9459-3
Reference 6
- Resolution
- malformed identifier
- doi, observed 2026-05-10T02:27:36.550662Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 6ddbf209-efc6-4f07-95d8-26df04edd48a · outbound
This paper cites an unresolved cited work.
On Reasoning-Centric LLM-based Automated Theorem Proving Unresolved cited work
Reference 7
- Resolution
- verified exact
- doi, observed 2026-05-10T02:27:36.548891Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 2cac77b0-2349-480f-9c12-661bdfa3216f · outbound
This paper cites In: Chandra, S., Blincoe, K., Tonella, P.
On Reasoning-Centric LLM-based Automated Theorem Proving In: Chandra, S., Blincoe, K., Tonella, P
Reference 8
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-10T02:27:36.556311Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation a707abe9-0422-4699-a477-1467bbe14493 · outbound
This paper cites Notices of the Ameri- can Mathematical Society55(11), 1382–1393 (2008),https://www.ams.org/ journals/notices/200811/tx081101382p.pdf.
On Reasoning-Centric LLM-based Automated Theorem Proving Notices of the Ameri- can Mathematical Society55(11), 1382–1393 (2008),https://www.ams.org/ journals/notices/200811/tx081101382p.pdf
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.728585Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation d22abfb0-c86d-4a24-bd68-43f3719a52f7 · outbound
This paper cites Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs.
On Reasoning-Centric LLM-based Automated Theorem Proving Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
Reference 10
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-11T13:01:25.138772Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 380c0787-e186-4316-92d1-f186a6eb6c99 · outbound
This paper cites Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification.
On Reasoning-Centric LLM-based Automated Theorem Proving Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
Reference 11
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-05-10T02:27:36.553534Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation d5dba10f-30de-4a7a-9787-95455396715b · outbound
This paper cites Communications of the ACM 52(7), pp.
On Reasoning-Centric LLM-based Automated Theorem Proving Communications of the ACM 52(7), pp
Reference 12
- Resolution
- verified exact
- arxiv_id, observed 2026-05-10T02:27:36.558919Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 09882979-e3ab-46d2-9bdc-697c064ff39c · outbound
This paper cites Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction.
On Reasoning-Centric LLM-based Automated Theorem Proving Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
Reference 13
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-21T06:53:10.886894Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 38942761-d39b-49ab-be4a-c442ab3d4709 · outbound
This paper cites In: Singh, A., Fazel, M., Hsu, D., Lacoste- Julien,S.,Berkenkamp,F.,Maharaj,T.,Wagstaff,K.,Zhu,J.(eds.)Proceedingsof the 42nd International Conference on Machine Learning.
On Reasoning-Centric LLM-based Automated Theorem Proving In: Singh, A., Fazel, M., Hsu, D., Lacoste- Julien,S.,Berkenkamp,F.,Maharaj,T.,Wagstaff,K.,Zhu,J.(eds.)Proceedingsof the 42nd International Conference on Machine Learning
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.731719Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 2536b3ba-b213-4772-a4f1-2843ef9e4e6a · outbound
This paper cites In: Proceedings of the 37th International Conference on Neural In- formation Processing Systems.
On Reasoning-Centric LLM-based Automated Theorem Proving In: Proceedings of the 37th International Conference on Neural In- formation Processing Systems
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.738602Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation dac2f9cc-584c-4697-b29c-2697a317c588 · outbound
This paper cites Cambridge University Press, Cambridge, UK (2008).
On Reasoning-Centric LLM-based Automated Theorem Proving Cambridge University Press, Cambridge, UK (2008)
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.710922Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation f49cae6a-a976-47ca-8dbb-f602dbb62534 · outbound
This paper cites minimax.io/news/minimax-m25(2026), accessed: 2026 22 Y.
On Reasoning-Centric LLM-based Automated Theorem Proving minimax.io/news/minimax-m25(2026), accessed: 2026 22 Y
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.716660Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 13543697-2791-494e-ba6c-1e9bd522a540 · outbound
This paper cites In: 16th International Conference on Interactive Theorem Prov- ing (ITP 2025).
On Reasoning-Centric LLM-based Automated Theorem Proving In: 16th International Conference on Interactive Theorem Prov- ing (ITP 2025)
Reference 18
- Resolution
- verified exact
- doi, observed 2026-05-10T02:27:36.563501Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation ced6510e-522d-4c24-97f4-37feaa7f97d6 · outbound
This paper cites GPT-4 Technical Report.
On Reasoning-Centric LLM-based Automated Theorem Proving GPT-4 Technical Report
Reference 19
- Resolution
- verified exact
- local_arxiv, observed 2026-05-11T13:01:25.108431Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 823b0db0-db42-4cde-8f92-040ce6e7f5e7 · outbound
This paper cites an unresolved cited work.
On Reasoning-Centric LLM-based Automated Theorem Proving Unresolved cited work
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.750578Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation b1f44071-e261-4afe-aec6-bedd567a12c1 · outbound
This paper cites an unresolved cited work.
On Reasoning-Centric LLM-based Automated Theorem Proving Unresolved cited work
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.698624Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation d0363939-a753-464d-84ae-35bfd4cca119 · outbound
This paper cites In: Piskac, R., Rakamarić, Z.
On Reasoning-Centric LLM-based Automated Theorem Proving In: Piskac, R., Rakamarić, Z
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.638770Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 01a1f574-2670-43e5-bd5c-c7470f777cc7 · outbound
This paper cites DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition.
On Reasoning-Centric LLM-based Automated Theorem Proving DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
Reference 23
- Resolution
- verified exact
- arxiv_id, observed 2026-05-15T09:32:05.843709Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 8e947c6c-c5b3-4c5f-976f-bd4838539f84 · outbound
This paper cites Saul, and Sorin Lerner.
On Reasoning-Centric LLM-based Automated Theorem Proving Saul, and Sorin Lerner
Reference 24
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-10T02:27:36.561705Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 34179bfa-2be8-4b37-bfc9-fa01cbecc685 · outbound
This paper cites In: Proceedings of the 37th Inter- national Conference on Neural Information Processing Systems.
On Reasoning-Centric LLM-based Automated Theorem Proving In: Proceedings of the 37th Inter- national Conference on Neural Information Processing Systems
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.642280Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 80039801-1049-46c6-84d0-61e04a05ad6f · outbound
This paper cites In: Proceedings of the 1st Conference on Language Modeling (COLM 2024).
On Reasoning-Centric LLM-based Automated Theorem Proving In: Proceedings of the 1st Conference on Language Modeling (COLM 2024)
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.677271Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 1f80275c-2c19-4bdb-8352-2f05dad3b328 · outbound
This paper cites Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification.
On Reasoning-Centric LLM-based Automated Theorem Proving Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
Reference 27
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-10T02:27:36.566085Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation e38a610b-8161-414f-90e6-fd678d1e6783 · outbound
This paper cites an unresolved cited work.
On Reasoning-Centric LLM-based Automated Theorem Proving Unresolved cited work
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.680471Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 71754074-76c0-4a43-be2a-a15ee4ae4947 · outbound
This paper cites NIPS ’23, Curran Associates Inc., Red Hook, NY, USA (2023) On Reasoning-Centric LLM-based Automated Theorem Proving 23.
On Reasoning-Centric LLM-based Automated Theorem Proving NIPS ’23, Curran Associates Inc., Red Hook, NY, USA (2023) On Reasoning-Centric LLM-based Automated Theorem Proving 23
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.660536Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 783412b9-c175-4f0d-9e83-967b8b03c53e · outbound
This paper cites In: The Eleventh Inter- national Conference on Learning Representations (ICLR 2023), Kigali, Rwanda, May 1–5.
On Reasoning-Centric LLM-based Automated Theorem Proving In: The Eleventh Inter- national Conference on Learning Representations (ICLR 2023), Kigali, Rwanda, May 1–5
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.653099Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation f5c96333-5cd5-41cc-991f-ac2f30ea9fad · outbound
This paper cites Leanabell-Prover: Posttraining Scaling in Formal Reasoning.
On Reasoning-Centric LLM-based Automated Theorem Proving Leanabell-Prover: Posttraining Scaling in Formal Reasoning
Reference 31
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-11T13:01:25.118860Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 86b719d2-36f7-45fe-920b-ff1171c2354b · outbound
This paper cites an unresolved cited work.
On Reasoning-Centric LLM-based Automated Theorem Proving Unresolved cited work
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.656417Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 1ee09ad5-3dcd-48b2-95f9-238ece424814 · outbound
This paper cites Sun et al.
On Reasoning-Centric LLM-based Automated Theorem Proving Sun et al
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.666898Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 2f7ab201-4c69-44f5-8ca4-dd9b5e526ff7 · outbound
This paper cites an unresolved cited work.
On Reasoning-Centric LLM-based Automated Theorem Proving Unresolved cited work
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.673777Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation eaff9429-4500-4049-91a2-e8a45c2b37ca · outbound
This paper cites an unresolved cited work.
On Reasoning-Centric LLM-based Automated Theorem Proving Unresolved cited work
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.701399Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation a43a1c41-c5d0-45c1-a030-a831ffd7e64b · outbound
This paper cites an unresolved cited work.
On Reasoning-Centric LLM-based Automated Theorem Proving Unresolved cited work
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.692420Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 26b92e2e-d8fd-4b88-8bba-f862f1372f8e · outbound
This paper cites an unresolved cited work.
On Reasoning-Centric LLM-based Automated Theorem Proving Unresolved cited work
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.695210Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 3ed48bd2-e353-42f8-985a-0196c4c4ffa7 · outbound
This paper cites di ff ic ul t.
On Reasoning-Centric LLM-based Automated Theorem Proving di ff ic ul t
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.753139Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation fe20c8e2-218f-40a4-9ca4-3f41707dda8c · outbound
This paper cites an unresolved cited work.
On Reasoning-Centric LLM-based Automated Theorem Proving Unresolved cited work
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.744990Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 3b0dae6b-5b90-4794-8953-553e96bd9f4f · outbound
This paper cites an unresolved cited work.
On Reasoning-Centric LLM-based Automated Theorem Proving Unresolved cited work
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.686617Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation c06f531c-3e2a-4943-a699-dbffcd3d5811 · outbound
This paper cites an unresolved cited work.
On Reasoning-Centric LLM-based Automated Theorem Proving Unresolved cited work
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.670096Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 657689c3-577f-45f9-b6ef-139d86fbca3a · outbound
This paper cites Use the relevant d e f i n i t i o n s to u n d e r s t a n d the r ec ur si ve s tr uc tu re of f un ct io ns and d at at yp es involved in the goal.
On Reasoning-Centric LLM-based Automated Theorem Proving Use the relevant d e f i n i t i o n s to u n d e r s t a n d the r ec ur si ve s tr uc tu re of f un ct io ns and d at at yp es involved in the goal
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.707432Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 860c1c69-cd7d-4192-814a-d8623baff9f5 · outbound
This paper cites an unresolved cited work.
On Reasoning-Centric LLM-based Automated Theorem Proving Unresolved cited work
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.649772Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 7c683b1c-0c4c-46e9-a665-247b42f8c15b · outbound
This paper cites an unresolved cited work.
On Reasoning-Centric LLM-based Automated Theorem Proving Unresolved cited work
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.635441Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 89625c19-48d7-4749-a2b9-e2f9b5428981 · outbound
This paper cites an unresolved cited work.
On Reasoning-Centric LLM-based Automated Theorem Proving Unresolved cited work
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.631663Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 3b39c52b-9934-453b-8168-5f7504d4c682 · outbound
This paper cites an unresolved cited work.
On Reasoning-Centric LLM-based Automated Theorem Proving Unresolved cited work
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.663723Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation d8832ce7-ee05-4d14-a5e7-d416dab55244 · outbound
This paper cites an unresolved cited work.
On Reasoning-Centric LLM-based Automated Theorem Proving Unresolved cited work
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.704401Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation f4c05a59-34d5-4f70-9543-64d061e2f971 · outbound
This paper cites an unresolved cited work.
On Reasoning-Centric LLM-based Automated Theorem Proving Unresolved cited work
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.645597Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation d6a6adf0-82c0-46b8-b1ed-fee99892dcab · outbound
This paper cites an unresolved cited work.
On Reasoning-Centric LLM-based Automated Theorem Proving Unresolved cited work
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.628032Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 1f027058-6f36-4c90-8b80-15a4290981b1 · outbound
This paper cites an unresolved cited work.
On Reasoning-Centric LLM-based Automated Theorem Proving Unresolved cited work
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.713644Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 8afbf7b9-9884-49d0-bd89-9333d7a945c3 · outbound
This paper cites an unresolved cited work.
On Reasoning-Centric LLM-based Automated Theorem Proving Unresolved cited work
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.689357Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 05843937-4a9a-42d7-a933-3c683b1deabd · outbound
This paper cites an unresolved cited work.
On Reasoning-Centric LLM-based Automated Theorem Proving Unresolved cited work
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.683562Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 6ac04299-4821-41ce-8f01-591c47dc4359 · outbound
This paper cites an unresolved cited work.
On Reasoning-Centric LLM-based Automated Theorem Proving Unresolved cited work
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.747937Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Observation 1ef64efe-714b-447c-b8b6-46b354aa575c · outbound
This paper cites [ User prompts ] ### Goal Before In du ct io n.
On Reasoning-Centric LLM-based Automated Theorem Proving [ User prompts ] ### Goal Before In du ct io n
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T22:07:11.742133Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.
Pith citing papers
No inbound Pith citation observations are available.