{"as_of":"2026-08-08T22:22:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1990aebee5b67cf0a275e658d24be85b4ede28139db5d1ef4e2212de7966c25b","coverage":[{"denominator":43,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":43,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T11:26:31.795219Z","state":"measured"},{"denominator":43,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":43,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2506.02565/citation-record","integrity":"/paper/2506.02565/integrity","json":"/paper/2506.02565/citation-record.json","paper":"/paper/2506.02565"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2211.07524","last_updated":"2022-11-14T16:52:32Z","snapshot_observed_at":"2026-08-07T23:33:09.684973Z","submitted_at":"2022-11-14T16:52:32Z","title":"Towards a Mathematics Formalisation Assistant using Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2211.07524","snapshot_observed_at":"2026-08-07T11:26:28.475470Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:28.475470Z"},"links":{"cited_paper":"/paper/2211.07524","citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:8a837010321e454f2dc8d28bc02c96630cc2c6cb25ee7b2c3bbdcbbe3b1be2f9","observation_id":"ba3497a7-09ef-4d76-b15b-d68d9c715bdc","resolution":{"observed_at":"2026-08-07T11:26:28.475470Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.10631","last_updated":"2024-03-15T19:14:39Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-10-16T17:54:07Z","title":"Llemma: An Open Language Model For Mathematics","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.10631","snapshot_observed_at":"2026-08-07T11:26:28.536171Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:28.536171Z"},"links":{"cited_paper":"/paper/2310.10631","citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:ccdfe41844c04762b12f0f39140f3f1d1eb2aef17fab30b6943fa9b2eac38a86","observation_id":"88d67994-5aaf-4840-963a-8c5f88876624","resolution":{"observed_at":"2026-08-07T11:26:28.536171Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:36.538208Z","title":null,"venue":null,"work_id":"81165b40-144c-45ea-87b3-d70198d995bb","year":2020},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:28.646493Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:f9d483d5e32e2eb5f495c88aeecc337db2ed0ed14e19c993aa610f3a9c5970a9","observation_id":"78f638bf-d2ad-4226-83e7-473119c5787a","resolution":{"observed_at":"2026-08-07T11:26:36.584532Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:36.427672Z","title":null,"venue":null,"work_id":"0d1ea086-baad-482f-8a50-50e47891d6bd","year":2018},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:28.705627Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:dcf6aa1be78be9f9bd7fb5149c92c00d4131a683926de383b39c9f74b4222671","observation_id":"8b97d08a-327f-4bac-b864-675a582ba95a","resolution":{"observed_at":"2026-08-07T11:26:36.486141Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:36.327091Z","title":null,"venue":null,"work_id":"72198a88-fd17-4986-a5ab-3613b12cf6aa","year":2020},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:28.864134Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:10030f32ffbd8b00f980f04169e2f5d630edccf76a63117df2b2c77f6e2c8454","observation_id":"a7016ae1-7085-46ef-b090-91a692cce47e","resolution":{"observed_at":"2026-08-07T11:26:36.368220Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2204.04686","last_updated":"2022-04-10T13:54:23Z","snapshot_observed_at":"2026-08-07T23:33:16.606598Z","submitted_at":"2022-04-10T13:54:23Z","title":"DISK: Domain-constrained Instance Sketch for Math Word Problem Generation","version":1},"cited_work":{"arxiv_id":"2204.04686","doi":null,"metadata_source":"pith","pith_arxiv_id":"2204.04686","snapshot_observed_at":"2026-08-07T11:26:32.784491Z","title":"DISK: Domain-constrained Instance Sketch for Math Word Problem Generation","venue":"cs.AI","work_id":"c42bc68b-a369-4587-977a-f47fb0170cba","year":2022},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:28.950621Z"},"links":{"cited_paper":"/paper/2204.04686","citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:ad565c608df651f3fa08db8a89c3437786d130698311a1e7ea02783369af1211","observation_id":"6842b260-c9c9-4fa9-8b6f-c3a1e8f83d6a","resolution":{"observed_at":"2026-08-07T11:26:32.858919Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:36.229389Z","title":null,"venue":null,"work_id":"aa0f64b0-20a2-4c71-8926-93e6abcb0e1f","year":2000},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:29.017153Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:a7647b9d887bdbd86c950fc13997f97dfbe20c8b28da296db90c7427bcac020c","observation_id":"b7090b78-8931-407f-bce2-0cc4bcc59438","resolution":{"observed_at":"2026-08-07T11:26:36.267935Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:35.952120Z","title":null,"venue":null,"work_id":"6ad50c7b-1fbb-4f8c-900e-236fbb35bebc","year":2024},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:29.118021Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:4dc6cb90066de2e10e04c1b3d0c9c8af4e843ca33166e277b931ab4de175b18e","observation_id":"ef904490-9e8e-42c1-bcc1-6a1781fc2c6d","resolution":{"observed_at":"2026-08-07T11:26:36.099684Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2301.02195","last_updated":"2023-01-05T17:56:00Z","snapshot_observed_at":"2026-08-07T23:33:50.338403Z","submitted_at":"2023-01-05T17:56:00Z","title":"Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2301.02195","snapshot_observed_at":"2026-08-07T11:26:29.200915Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:29.200915Z"},"links":{"cited_paper":"/paper/2301.02195","citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:b9dbd81725206e93315300f726d1007a9f7f9992c29a5c90cd94c30ccdd390e8","observation_id":"12aed520-4b59-42eb-8e25-7009e0defe3e","resolution":{"observed_at":"2026-08-07T11:26:29.200915Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:35.742912Z","title":null,"venue":null,"work_id":"c310f39e-bbb7-40a5-9855-72832c19ca07","year":2015},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:29.281178Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:28030ea7fe5f5567265b9c5a2c3aeb38592a0445eb4876e994c63fcf2a42a0d1","observation_id":"5edd8f63-400e-4f45-b8e5-644162f9b730","resolution":{"observed_at":"2026-08-07T11:26:35.806412Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2103.03798","last_updated":"2021-04-06T18:41:02Z","snapshot_observed_at":"2026-08-06T13:06:18.240151Z","submitted_at":"2021-03-05T17:01:34Z","title":"Training a First-Order Theorem Prover from Synthetic Data","version":2},"cited_work":{"arxiv_id":"2103.03798","doi":null,"metadata_source":"pith","pith_arxiv_id":"2103.03798","snapshot_observed_at":"2026-08-07T11:26:32.562614Z","title":"Training a First-Order Theorem Prover from Synthetic Data","venue":"cs.AI","work_id":"81d1a36a-21e5-4a31-8100-203f19ddd603","year":2021},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:29.341919Z"},"links":{"cited_paper":"/paper/2103.03798","citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:c3b8efacdec70925658c74ecbea6bdcf6f9213b1805afae80e566d38c57e3e03","observation_id":"930162ad-fd83-4e15-84e6-e281d5c1843a","resolution":{"observed_at":"2026-08-07T11:26:32.655217Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:35.603179Z","title":null,"venue":null,"work_id":"7133e181-0a17-473e-8834-52a752bb1cf8","year":2022},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:29.430562Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:57d17ea8c08531b786590916beb11e9e46b3ac5a3ec8c5003e41ae4bd52a51cc","observation_id":"96be61df-badc-41aa-8da2-3fc2639f3948","resolution":{"observed_at":"2026-08-07T11:26:35.660372Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:35.436354Z","title":null,"venue":null,"work_id":"9f07ad27-9c06-45d2-b9a5-3f904335ba49","year":2024},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:29.533623Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:366744f447aed80e9c806c67c54f2e0abd590584c91394d79b67f5cb69adca56","observation_id":"2b70eb17-bfa7-4944-8e9b-e253319532de","resolution":{"observed_at":"2026-08-07T11:26:35.482595Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:35.252828Z","title":null,"venue":null,"work_id":"17217e59-7ebf-44bb-9798-65d178c65192","year":2024},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:29.612028Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:066075321cbb27e50b5f7c14fefc2021c2215a4af9c681e9f4ab9f4ef94ba309","observation_id":"405086f3-f573-44ce-81b1-ba25c9e18322","resolution":{"observed_at":"2026-08-07T11:26:35.308802Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:35.080486Z","title":null,"venue":null,"work_id":"cd546649-848e-4d1c-8d68-3edbe765e649","year":2013},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:29.683804Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:def532853097cba1cd7a7fd4e2f5d3ee3800c7c083b489ef58854de5fe9053e9","observation_id":"36dbfb04-c0b7-4fa1-9637-fd0e7fe26035","resolution":{"observed_at":"2026-08-07T11:26:35.162702Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2210.12283","last_updated":"2023-02-20T16:10:20Z","snapshot_observed_at":"2026-08-07T23:31:55.245259Z","submitted_at":"2022-10-21T22:37:22Z","title":"Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.12283","snapshot_observed_at":"2026-08-07T11:26:29.756337Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:29.756337Z"},"links":{"cited_paper":"/paper/2210.12283","citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:f1aa581b7ebfe5c4323763755531517405faa4544c4b853b0f615e721d856c04","observation_id":"058e869f-ea90-432c-8b39-23bf8542a432","resolution":{"observed_at":"2026-08-07T11:26:29.756337Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:34.928042Z","title":null,"venue":null,"work_id":"4ba5bf7a-5a00-45c6-aa96-2b28c3d1c779","year":2023},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:29.861130Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:156c81532960f69d9638ededa81a0cef803f2bd4181f4230557d0f32c0caebd5","observation_id":"8b0b9ad7-dca2-4b67-9505-80b1b8632328","resolution":{"observed_at":"2026-08-07T11:26:34.989266Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:34.834394Z","title":null,"venue":null,"work_id":"929c185c-9c2e-48f5-8439-44624c694b27","year":2022},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:29.966130Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:43f526612ee2dc4785363bdc162af27485cbfb8addeb2fd05968c0908e6785bd","observation_id":"3bf8bbb2-91e3-4bd8-97a4-1e97f0fb0a80","resolution":{"observed_at":"2026-08-07T11:26:34.866356Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:34.676966Z","title":null,"venue":null,"work_id":"5b37f304-dfab-482e-a3de-a2e44f4ac10b","year":2022},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:30.063309Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:f68f5838a31d4e53a90f5b47c379e6d2a677f6724eca26dbb5afb5efdd0361df","observation_id":"b2b3068d-17bd-49e2-b175-b1938e45e02a","resolution":{"observed_at":"2026-08-07T11:26:34.757055Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:34.498144Z","title":"cone of experience","venue":null,"work_id":"8d19ca93-3287-48fa-8c7a-92cd230ea5c6","year":2024},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:30.122720Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:cdcf582fe187c10104e728cb1edeeec5de820ea607e95825716a61c024993230","observation_id":"e8e73ffc-ef0f-426e-af3e-e824c44f0616","resolution":{"observed_at":"2026-08-07T11:26:34.556522Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2010.06196","last_updated":"2021-09-09T10:27:59Z","snapshot_observed_at":"2026-07-06T10:03:53.338672Z","submitted_at":"2020-10-13T06:31:53Z","title":"Mathematical Word Problem Generation from Commonsense Knowledge Graph and Equations","version":3},"cited_work":{"arxiv_id":"2010.06196","doi":null,"metadata_source":"pith","pith_arxiv_id":"2010.06196","snapshot_observed_at":"2026-08-07T11:26:32.382278Z","title":"Mathematical Word Problem Generation from Commonsense Knowledge Graph and Equations","venue":"cs.CL","work_id":"c01d1d81-5679-4f55-ad15-d01523c92806","year":2020},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:30.217367Z"},"links":{"cited_paper":"/paper/2010.06196","citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:dff98813b394bf6cb64247319850fd9d624922078c5b9437458ef28f5f305ef2","observation_id":"ccd4c549-7da3-463f-98ca-bae0795eb1fd","resolution":{"observed_at":"2026-08-07T11:26:32.421937Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:34.317767Z","title":null,"venue":null,"work_id":"6c9f85be-d466-4918-ada7-bc2f100ae343","year":2021},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:30.283553Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:96a9c0469212f86a5c2894006600e438d9afca0d0465d2330adee74b9e5af646","observation_id":"bae2a55f-5b86-43ad-b7d4-d9a93330b423","resolution":{"observed_at":"2026-08-07T11:26:34.369194Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.17216","last_updated":"2024-05-27T14:35:10Z","snapshot_observed_at":"2026-08-07T11:46:33.138682Z","submitted_at":"2024-05-27T14:35:10Z","title":"Autoformalizing Euclidean Geometry","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.17216","snapshot_observed_at":"2026-08-07T11:26:30.361678Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:30.361678Z"},"links":{"cited_paper":"/paper/2405.17216","citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:746060a0a1cea29cd3fe54f88f7bcf6a0668d9807d326782039f4ecb12763a9b","observation_id":"b27159ae-52da-4bac-9fe3-065180c51c91","resolution":{"observed_at":"2026-08-07T11:26:30.361678Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:34.184257Z","title":null,"venue":null,"work_id":"6893d726-80b0-4c66-9658-af34cb4141fb","year":2023},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:30.437186Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:0d5c61e2f8c5691f4cc080319c1b25ffd4f5c351b35053989534628b2bd758a3","observation_id":"e48a41f6-cfcd-47d2-946c-8dcd5c6448b7","resolution":{"observed_at":"2026-08-07T11:26:34.222608Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.07957","last_updated":"2024-07-09T19:28:30Z","snapshot_observed_at":"2026-08-01T05:26:53.563616Z","submitted_at":"2023-10-12T00:50:24Z","title":"A New Approach Towards Autoformalization","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.07957","snapshot_observed_at":"2026-08-07T11:26:30.537616Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:30.537616Z"},"links":{"cited_paper":"/paper/2310.07957","citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:4b17a9df2e788cad659d77c67244c5b54021f03a471d78af6944ac6b795ccbfa","observation_id":"c76f8a6d-6d29-4f9d-8a3e-addf07fd909e","resolution":{"observed_at":"2026-08-07T11:26:30.537616Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:30.615067Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:30.615067Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:906f52266b4d0bedabe034eda1588ba0ce6ccaae3597007ebf82a2ce0afbf3df","observation_id":"d50ff15b-1544-4267-ad30-909945b52120","resolution":{"observed_at":"2026-08-07T11:26:30.615067Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:34.041149Z","title":null,"venue":null,"work_id":"1f979adc-2e13-4195-b57a-81811ae5117f","year":2015},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:30.696357Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:96a67157eeb6128787b7528b18787f6e5869c13fba36521c2d190858e3652449","observation_id":"3989aa00-05a9-4ad1-8f99-2a4369882373","resolution":{"observed_at":"2026-08-07T11:26:34.111355Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-04T20:41:41.817730Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-07T11:26:30.779161Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:30.779161Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:26184d43857719ef821862a616a58fe56c61059f6f497bef749b1fe67ceb714e","observation_id":"5ccbf9d7-643e-4603-86e9-2c1db926bfae","resolution":{"observed_at":"2026-08-07T11:26:30.779161Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:33.879953Z","title":null,"venue":null,"work_id":"f3601abf-3b44-4fc4-999c-d51fba18d5c9","year":2023},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:30.850389Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:4070d31ff08882eac87e52681ef6425cbf6a0e9640bdd5922aedb6cce845eb37","observation_id":"5f3a1981-43a1-41ea-be01-d322734fa827","resolution":{"observed_at":"2026-08-07T11:26:33.952243Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:33.733776Z","title":null,"venue":null,"work_id":"c8a1ad64-ef6b-4874-8bd2-6098cdaeecc5","year":2024},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:30.924019Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:a2ac06f6cadf22a9ca9bc522a72a4fe4556e13475d29a923d2499512dcef60be","observation_id":"588009b6-87d7-469c-ae4b-bd5a2fddf850","resolution":{"observed_at":"2026-08-07T11:26:33.790362Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:33.566434Z","title":null,"venue":null,"work_id":"7477ac44-8abb-45f5-8c19-6bbea8b0c71a","year":2020},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:30.998638Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:d188a489c2cf21cccaa6e859a2ca5b25fad966d8f1a225a536c5f05ca6164536","observation_id":"75f99791-7446-4dcc-b3b2-0f182fadb912","resolution":{"observed_at":"2026-08-07T11:26:33.633827Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:31.102083Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:31.102083Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:670f16a8e34a2b42b821857e4297e4c84679e226a7c5ffcd4a149a79f77582f2","observation_id":"26784b45-3246-45af-9f7b-15fe366e9b98","resolution":{"observed_at":"2026-08-07T11:26:31.102083Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.00656","last_updated":"2023-10-27T12:44:32Z","snapshot_observed_at":"2026-08-07T23:33:42.816316Z","submitted_at":"2023-10-01T12:47:59Z","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.00656","snapshot_observed_at":"2026-08-07T11:26:31.151825Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:31.151825Z"},"links":{"cited_paper":"/paper/2310.00656","citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:5323b5becc805ed66cfbd1a4d39e98e9be84490ac43567258c6676127f65ef79","observation_id":"9f7fd8dc-95c5-4603-a7d4-e096737629b6","resolution":{"observed_at":"2026-08-07T11:26:31.151825Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:33.461597Z","title":null,"venue":null,"work_id":"037d1850-92f7-421e-b10e-268f93ff003f","year":2018},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:31.248542Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:d48d55d624dd703c9a642d96a4e72c7f03247f1d5b2937cc20a0d0c1643fae6c","observation_id":"4b8c3a33-0eae-4a27-8d8c-85ef2a8d81ec","resolution":{"observed_at":"2026-08-07T11:26:33.515342Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2109.04546","last_updated":"2021-09-09T20:24:25Z","snapshot_observed_at":"2026-08-08T19:49:26.116101Z","submitted_at":"2021-09-09T20:24:25Z","title":"Math Word Problem Generation with Mathematical Consistency and Problem Context Constraints","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2109.04546","snapshot_observed_at":"2026-08-07T11:26:31.299165Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:31.299165Z"},"links":{"cited_paper":"/paper/2109.04546","citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:6bf208ddbe6ce727e8380a2abb3f25bed142874879ab86079107b52add13881a","observation_id":"25d60695-4e5e-4643-abd1-7e8dede5c03e","resolution":{"observed_at":"2026-08-07T11:26:31.299165Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:33.325345Z","title":null,"venue":null,"work_id":"09b3c352-1a9e-4c49-9ae5-9b92464e22e0","year":2022},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:31.372764Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:c4ceb6129059f28ef8d2202933b8ca55f4dc1eba8382543693538af65579503e","observation_id":"f0a80ba5-8132-4bbf-ada4-82e27286e7e0","resolution":{"observed_at":"2026-08-07T11:26:33.398231Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:33.205263Z","title":null,"venue":null,"work_id":"c0315113-41de-4be6-8c4e-85fbbf7cd50f","year":2022},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:31.427913Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:d9e03e625bf09b48d44c8b8bb0e2ebdcd3571f0b2ccd3c7da467cc3cdccb3cd2","observation_id":"cfbb928a-e523-474c-83ae-5aecf542d13e","resolution":{"observed_at":"2026-08-07T11:26:33.275533Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:33.029093Z","title":null,"venue":null,"work_id":"a2cf37a2-2286-4a28-9f48-8cec272002d8","year":2024},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:31.466454Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:88e17d79066ada1f3c72b64634a79789d6b58a8fb247481806c0615abaee592f","observation_id":"48a56a79-2422-48f7-9373-a790848c9b8f","resolution":{"observed_at":"2026-08-07T11:26:33.124283Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.03847","last_updated":"2025-06-18T16:07:47Z","snapshot_observed_at":"2026-08-07T23:35:20.471377Z","submitted_at":"2024-06-06T08:25:43Z","title":"Lean Workbook: A large-scale Lean problem set formalized from natural language math problems","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.03847","snapshot_observed_at":"2026-08-07T11:26:31.520177Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:31.520177Z"},"links":{"cited_paper":"/paper/2406.03847","citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:4976bbe1c2ccb680efb555210332e49ac0b759e5f1bdf864d5a3c59db0bdfdc7","observation_id":"f77c4324-702e-4ec0-85ed-44ec846ba51b","resolution":{"observed_at":"2026-08-07T11:26:31.520177Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.11172","last_updated":"2024-08-20T20:10:53Z","snapshot_observed_at":"2026-08-04T23:58:13.073385Z","submitted_at":"2024-08-20T20:10:53Z","title":"SubgoalXL: Subgoal-based Expert Learning for Theorem Proving","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.11172","snapshot_observed_at":"2026-08-07T11:26:31.580736Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:31.580736Z"},"links":{"cited_paper":"/paper/2408.11172","citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:3e8de7202e15c0f1f5308aa9438750c55d1659fa93e1add1a3512cec64a433f2","observation_id":"e02876d5-5f87-478c-bdfd-33e09ac1e85d","resolution":{"observed_at":"2026-08-07T11:26:31.580736Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2306.09064","last_updated":"2023-06-15T11:47:07Z","snapshot_observed_at":"2026-07-06T15:42:56.285045Z","submitted_at":"2023-06-15T11:47:07Z","title":"Learning by Analogy: Diverse Questions Generation in Math Word Problem","version":1},"cited_work":{"arxiv_id":"2306.09064","doi":null,"metadata_source":"pith","pith_arxiv_id":"2306.09064","snapshot_observed_at":"2026-08-07T11:26:31.883846Z","title":"Learning by Analogy: Diverse Questions Generation in Math Word Problem","venue":"cs.CL","work_id":"1a0f3c07-8cc8-4dd3-b7a9-01aed154fbd1","year":2023},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:31.648811Z"},"links":{"cited_paper":"/paper/2306.09064","citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:22a415b463e6728e76909b26ac0d84624e56b5e31195b483b74b21996654edc6","observation_id":"c3757dc6-7a5a-4a52-a680-72f577ccdaa6","resolution":{"observed_at":"2026-08-07T11:26:31.959363Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:31.725236Z","title":"online\" 'onlinestring :=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:31.725236Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:5db01087b24069a4c5370be08e783ba9609c9cd255f0383964f0f61731aaecd7","observation_id":"728a4a85-4ac1-4caf-b23b-84d5348b55f7","resolution":{"observed_at":"2026-08-07T11:26:31.725236Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:26:31.795219Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-07T11:26:31.795219Z"},"links":{"citing_paper":"/paper/2506.02565"},"observation_digest":"sha256:06d31efea7db66ae183021d9a4c6ad660cca62d858d345c1d4c99ca9a99b3a6a","observation_id":"6d04fd8c-fb0c-4aaa-9d15-f0ba0811448f","resolution":{"observed_at":"2026-08-07T11:26:31.795219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2506.02565","last_updated":"2025-06-03T07:49:38Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-07T23:33:14.577979Z","submitted_at":"2025-06-03T07:49:38Z","title":"Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine"},"reference_resolution":{"displayed":43,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":38,"verified_exact":4,"verified_fuzzy":1},"total_outbound_references":43},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2506.02565."}