Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-07-10T20:39:42.009312Z
Paper Citation Record · LEDGER
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics
As of 22 August 2026, this Paper Citation Record lists 60 of 60 outbound references and 0 inbound Pith citation observations for arXiv:2607.06820.
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-08-22T06:32:14.747728+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
60 of 60 outbound references displayed
- verified exact5
- verified fuzzy24
- unresolved13
- parse uncertain2
- malformed identifier0
- metadata mismatch16
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation d99533eb-31ad-4138-9ff2-4682572f48af · outbound
This paper cites and Li, Wenda and Rabe, Markus N.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics and Li, Wenda and Rabe, Markus N
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T20:47:34.939189Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation d975de68-0ca0-4a90-9605-4f35d35a14c6 · outbound
This paper cites Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
Reference 2
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-10T20:47:34.588712Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation a5420979-ff72-4e3d-8f2d-786105c89d48 · outbound
This paper cites Aristotle: IMO-level Automated Theorem Proving.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Aristotle: IMO-level Automated Theorem Proving
Reference 3
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-10T20:47:34.604826Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 23f4368d-cfdd-403c-8917-3b4f5ae7bded · outbound
This paper cites Resolution of erdős problem #728: a writeup of aristotle’s lean proof.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Resolution of erdős problem #728: a writeup of aristotle’s lean proof
Reference 4
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-07-10T20:47:34.594120Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation ed4f7a28-2336-4730-8239-fcb7de13a3a5 · outbound
This paper cites and Stillman, Michael E.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics and Stillman, Michael E
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T20:47:34.992756Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation f9f41cbb-0e13-4ace-83b6-e664bb164ea7 · outbound
This paper cites Bosma, J.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Bosma, J
Reference 6
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-07-10T20:47:34.409185Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 429a0523-369c-4ab0-9df8-87d9b3e3c279 · outbound
This paper cites an unresolved cited work.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-07-10T20:47:34.994289Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 1f6fdb93-d777-4235-9292-71a4439bfba8 · outbound
This paper cites International Conference on Learning Representations (ICLR) , year =.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics International Conference on Learning Representations (ICLR) , year =
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T20:47:34.989523Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 9af54a61-7133-4b0b-8e46-07fe7bd9572f · outbound
This paper cites URL https://aclanthology.org/2025.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics URL https://aclanthology.org/2025
Reference 9
- Resolution
- metadata mismatch
- doi, observed 2026-07-10T20:47:34.403800Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 558e382d-f967-45a1-be89-dc9db0726359 · outbound
This paper cites an unresolved cited work.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-07-10T20:47:34.991137Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation ffe5f83a-c5f5-4bbd-aa05-e110a8da6b61 · outbound
This paper cites DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
Reference 11
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-10T20:47:34.607390Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 324d231d-af47-456c-a759-53f8e5b992cf · outbound
This paper cites DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
Reference 12
- Resolution
- verified exact
- local_arxiv, observed 2026-07-10T20:47:34.610462Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation e2bb967b-34d4-46b3-a364-45c78cada465 · outbound
This paper cites Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 13
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-10T20:47:34.624607Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 265e7fb2-de35-4cad-b8a2-10376b0421b3 · outbound
This paper cites Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
Reference 14
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-10T20:47:34.622094Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 09fbc6cb-0b4b-4b31-89e3-3eeeb5f1d0fc · outbound
This paper cites Deepseekmath-v2: Towards self-verifiable mathematical reasoning.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Deepseekmath-v2: Towards self-verifiable mathematical reasoning
Reference 15
- Resolution
- verified exact
- arxiv_id, observed 2026-07-10T20:47:34.575165Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation dae89125-4003-4c46-a98b-9ab7e3ac1379 · outbound
This paper cites Advances in Neural Information Processing Systems (NeurIPS) Datasets and Benchmarks Track , year =.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Advances in Neural Information Processing Systems (NeurIPS) Datasets and Benchmarks Track , year =
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T20:47:34.997680Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 50735e88-fe4d-4377-b53b-eadbc8aa639b · outbound
This paper cites an unresolved cited work.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Unresolved cited work
Reference 17
- Resolution
- unresolved
- raw_fallback, observed 2026-07-10T20:47:34.995930Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation bc63dccc-7b06-43ab-a2da-eae89e1536d8 · outbound
This paper cites and Motwani, Sumeet and Roggeveen, James V.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics and Motwani, Sumeet and Roggeveen, James V
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T20:47:34.999333Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 4ccc92ed-79e3-4f3f-aebb-069d3bc7458a · outbound
This paper cites 2024 , note =.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics 2024 , note =
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T20:47:34.979583Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 745fec24-2db5-4ff8-bae5-a166ed644dfd · outbound
This paper cites 2026 , eprint =.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics 2026 , eprint =
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T20:47:34.973061Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation bf1d33b7-b1f6-4caa-a905-0a9e94defc9e · outbound
This paper cites FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 21
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-10T20:47:34.580650Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation dae8f73a-4da1-4a07-9ed1-4bfc6a9e306a · outbound
This paper cites Advances in Neural Information Processing Systems (NeurIPS) Datasets and Benchmarks Track , year =.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Advances in Neural Information Processing Systems (NeurIPS) Datasets and Benchmarks Track , year =
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T20:47:34.977920Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 121dca80-a8f8-4417-9af6-362c32aeae04 · outbound
This paper cites an unresolved cited work.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Unresolved cited work
Reference 23
- Resolution
- parse uncertain
- raw_fallback, observed 2026-07-10T20:47:34.966290Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 1f328be5-23e9-4f65-acc4-f99081908c3c · outbound
This paper cites IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation
Reference 24
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-10T20:47:34.577936Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation aa4f4cbe-ffb6-4445-bc0d-3efa18b75454 · outbound
This paper cites an unresolved cited work.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Unresolved cited work
Reference 25
- Resolution
- unresolved
- raw_fallback, observed 2026-07-10T20:47:34.968111Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 5193bd09-6614-454e-9115-7276cc6e55fa · outbound
This paper cites AI for Math Workshop at the 42nd International Conference on Machine Learning (ICML) , year =.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics AI for Math Workshop at the 42nd International Conference on Machine Learning (ICML) , year =
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T20:47:34.969801Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 0394abbe-703c-42d2-97cf-2b8ecff59646 · outbound
This paper cites Nature , volume =.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Nature , volume =
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T20:47:34.971410Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 74836b31-6e67-424f-b711-127c0ddf97d1 · outbound
This paper cites 2024 , eprint =.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics 2024 , eprint =
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T20:47:34.976200Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation ea37ffbf-d165-417c-83a6-b223a5fe7eb0 · outbound
This paper cites AlphaEvolve: A coding agent for scientific and algorithmic discovery.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics AlphaEvolve: A coding agent for scientific and algorithmic discovery
Reference 29
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-10T20:47:34.613875Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 653c003b-867d-4b57-8850-173902915860 · outbound
This paper cites International Conference on Learning Representations , volume =.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics International Conference on Learning Representations , volume =
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T20:47:34.953056Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 421f7f26-4da3-433d-aede-fe1465bd32ee · outbound
This paper cites 2024 , eprint =.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics 2024 , eprint =
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T20:47:34.954864Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 5276ff5d-ab3f-4e22-a495-5903ed27fa68 · outbound
This paper cites ACM Computing Surveys , year =.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics ACM Computing Surveys , year =
Reference 32
- Resolution
- verified exact
- doi, observed 2026-07-10T20:47:34.405830Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation adb44b57-d312-4112-a62a-110bd1102c32 · outbound
This paper cites International Conference on Learning Representations (ICLR) , year =.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics International Conference on Learning Representations (ICLR) , year =
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T20:47:34.949504Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 4b0c9fd6-dd0b-4f7d-94e0-61b5e6c1609d · outbound
This paper cites an unresolved cited work.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Unresolved cited work
Reference 34
- Resolution
- unresolved
- raw_fallback, observed 2026-07-10T20:47:34.951221Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 886e7644-8677-4e94-89f6-d9dada7a20e2 · outbound
This paper cites an unresolved cited work.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Unresolved cited work
Reference 35
- Resolution
- unresolved
- raw_fallback, observed 2026-07-10T20:47:34.956774Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 90d0cfe8-2c29-4700-91ad-82d6d0b817cb · outbound
This paper cites an unresolved cited work.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Unresolved cited work
Reference 36
- Resolution
- unresolved
- raw_fallback, observed 2026-07-10T20:47:34.958494Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation ef1fbd0f-4cd2-4e4f-aaab-54370c665cec · outbound
This paper cites DeepSeek-V3.2: Pushing the Frontier of Open Large Language Models.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics DeepSeek-V3.2: Pushing the Frontier of Open Large Language Models
Reference 37
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-10T20:47:34.585025Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 70e91971-f9fd-470d-bcfe-437b58d78699 · outbound
This paper cites an unresolved cited work.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Unresolved cited work
Reference 38
- Resolution
- unresolved
- raw_fallback, observed 2026-07-10T20:47:34.945963Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 827538ba-f033-40a5-81c1-78326be156ab · outbound
This paper cites arXiv preprint arXiv:2606.19348 , year =.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics arXiv preprint arXiv:2606.19348 , year =
Reference 39
- Resolution
- verified exact
- arxiv_id, observed 2026-07-10T20:47:34.597037Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation bd28a849-5ada-414f-a31e-6161cfe4c3ac · outbound
This paper cites an unresolved cited work.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-07-10T20:47:34.937429Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 1ecc1f84-1cc0-4722-8ce5-b31f54547647 · outbound
This paper cites an unresolved cited work.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Unresolved cited work
Reference 41
- Resolution
- unresolved
- raw_fallback, observed 2026-07-10T20:47:34.935532Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation e7adba44-b383-45d5-ab8c-8a3cb3693e11 · outbound
This paper cites an unresolved cited work.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Unresolved cited work
Reference 42
- Resolution
- unresolved
- raw_fallback, observed 2026-07-10T20:47:34.940859Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 6bb060f9-0a91-484a-ba5b-998cc2b50f54 · outbound
This paper cites an unresolved cited work.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Unresolved cited work
Reference 43
- Resolution
- unresolved
- raw_fallback, observed 2026-07-10T20:47:34.933797Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 81be332d-9d4e-4ae8-a1de-af9d2e316309 · outbound
This paper cites 2026 , eprint =.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics 2026 , eprint =
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T20:47:34.982817Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 8be8e459-2ed4-47a1-a46f-59ef4eb4f7ec · outbound
This paper cites 2024 , eprint =.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics 2024 , eprint =
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T20:47:34.942629Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation ce484c4b-9ae9-489b-9cc9-ac54d1076eba · outbound
This paper cites an unresolved cited work.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Unresolved cited work
Reference 46
- Resolution
- parse uncertain
- raw_fallback, observed 2026-07-10T20:47:34.944323Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation e135373d-255e-4544-b5b8-a89f85417bc6 · outbound
This paper cites an unresolved cited work.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Unresolved cited work
Reference 47
- Resolution
- unresolved
- raw_fallback, observed 2026-07-10T20:47:34.947694Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 05f3aa62-f8d4-42a4-a116-269bda352e08 · outbound
This paper cites PeerJ Computer Science , issn =.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics PeerJ Computer Science , issn =
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T20:47:34.960248Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation aa5fef13-58ab-4799-93d3-1a0babf4eed9 · outbound
This paper cites 2022 , month =.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics 2022 , month =
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T20:47:34.974657Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 595955e0-7df5-4eed-b1c7-8532da91b05b · outbound
This paper cites Sakana Fugu Technical Report.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Sakana Fugu Technical Report
Reference 50
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-10T20:47:34.572153Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 279bd23c-2a7d-4247-8448-6a791c9312ca · outbound
This paper cites 2026 , eprint =.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics 2026 , eprint =
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T20:47:34.964539Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 14906258-d8d4-4684-afe4-f0b7bee7f5be · outbound
This paper cites 2026 , url =.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics 2026 , url =
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T20:47:34.961959Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation bd5e7489-d915-45f9-b2a6-609f293b1099 · outbound
This paper cites Hyperbolic knots with arbitrarily large torsion order in knot Floer homology.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Hyperbolic knots with arbitrarily large torsion order in knot Floer homology
Reference 53
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-10T20:47:34.591192Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 7ec1655b-786c-4587-adef-b3ee05b33310 · outbound
This paper cites Pattern avoiding alternating involutions.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Pattern avoiding alternating involutions
Reference 54
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-10T20:47:34.602094Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 06d6bc42-8b00-44e9-b2db-6a834f051532 · outbound
This paper cites Discrete & Computational Geometry , volume =.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Discrete & Computational Geometry , volume =
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T20:47:34.981195Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation e081fd16-3f18-499b-8e59-5f475252058d · outbound
This paper cites Indagationes Mathematicae , volume =.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Indagationes Mathematicae , volume =
Reference 56
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T20:47:34.986179Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation fb16083d-ad19-4560-873a-e2222b44007c · outbound
This paper cites Journal of Differential Equations , volume =.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Journal of Differential Equations , volume =
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T20:47:34.987819Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 7c9ae4ee-ef85-40d2-9904-9551caa64626 · outbound
This paper cites Journal of Pure and Applied Algebra , volume =.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics Journal of Pure and Applied Algebra , volume =
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T20:47:34.984503Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 8e3993bc-b9db-439c-9234-eeccc95ca7c8 · outbound
This paper cites arXiv preprint arXiv:2412.02494 , year =.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics arXiv preprint arXiv:2412.02494 , year =
Reference 59
- Resolution
- verified exact
- arxiv_id, observed 2026-07-10T20:47:34.619605Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 5391a4de-47d9-4f8f-947d-047de2565645 · outbound
This paper cites The $(4,p)$-arithmetic hyperbolic lattices, $p\geq 2$, in three dimensions.
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics The $(4,p)$-arithmetic hyperbolic lattices, $p\geq 2$, in three dimensions
Reference 60
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-10T20:47:34.616747Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Pith citing papers
No inbound Pith citation observations are available.