{"as_of":"2026-08-10T09:50:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d81799a045f47f66d0fe5ef3cd7144e6a96758dfdc52a885b3376c7a19499e46","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-10T06:31:04.303077+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-10T01:12:03.397117Z","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:8d6093fe9798f6a6b8e4ba405a69c13becf13f6e28ca65c28eb9dffda1906b76","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-10T01:12:03.397117Z","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:5b3902cdaeea0b63e6fa5b32a940c65c515352104d6870043f3b6ccf5e012b98","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-10T01:12:03.397117Z","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:fec2deab14c50b53a5f5c1b989efa3f9443f8921dac9d5935f9b7c833cedb2fc","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:12:03.397117Z","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:d4ab5ef7db8bb61ff933621ab5b1f6a70b80ebb0181c15646049f81760d9fd60","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:12:03.397117Z","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:55253fad4915b9f13741d781677820fcd04694a81921da0b5d2768af9d1e400d","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:12:03.397117Z","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:10cd9e851cef5b4f861c05cd6217802302b69bdcd841f703ccb985e8f556894d","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:12:03.397117Z","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:a122cc630c27bdc8056781f9b30d9c4dd3712add713dba4f846982428675d0d8","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:12:03.397117Z","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:bfea393d27c008737dfa51d53e8f86d89963aa8763cbe20b13643422251b6100","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:12:03.397117Z","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:3bb06eb0052e78d31587542f4d1cf8654e4e68add7b4bf5a15be605cbe9da2f2","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-10T01:12:03.397117Z","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:01f8cb3e7ea44d3d0a6152010d82e418bd34c24c51a74856737521c78321fb87","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:12:03.397117Z","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:62801c3635268f15ae737637f14adf5771b63a6750cf0591aa60b2930d384d34","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:12:03.397117Z","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:b07eedb875238ebc49969b264ae902cc3d850a346a82b9b4624fb7560619595d","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:12:03.397117Z","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:e51eced00301bdde58816506fcb1bbfd5717dfd969c6451f043113f78d8d5f0d","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:12:03.397117Z","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:317e021479973e1fe66720d03770098740fae480e56fb68ba61da38bd21216cf","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:12:03.397117Z","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:06bb86f4b0fe885a0aab095f14fce740c756186951f35cc8ab7fa137941c600b","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T00:42:45.030767Z","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-10T01:12:03.397117Z","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:90ef01f0967646ebe04a3b094048e1fda3ae7a770bb91f54fd555194740bdffd","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-10T01:12:03.397117Z","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:e6d1d619ae974c183164466d9b40c2cc6dff3b6008f45320040a6f9f1eb23b2f","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:12:03.397117Z","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:58de54ddfb13237e4640250dc38003191c586c7004c9018c62bcd005af1b40b9","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:12:03.397117Z","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:638060453be550319b083730520ac11c09812471b13d18579f74afdd0f5282e3","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:12:03.397117Z","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:2b7c18b3e71efedcc376a2f5311679a1be72b728ec62be68fb3b54a795676083","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:12:03.397117Z","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:5ae5cff0f8b1199d2994dc4ec7473b44f90e0397a4032ca8774727cb65874cb0","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:12:03.397117Z","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:f87a8d1dd82da035de8d604f0c057ea71e25383b9a8fcb08448cd4e3c718c018","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:12:03.397117Z","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:a9bbf0cf2d02e7dcde7422adc753a31108f67d3456b7376dc26e4bfc21d776ed","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-10T01:12:03.397117Z","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:917e3339851696bf3c5043b0b1d23deda5403b2faf36e0587ea04abb913086dc","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:12:03.397117Z","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:f44cb7f40a6c3f5a1ecb1f651bf50bbe565f2b92a7bc53158c9bccb3520e471c","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-10T01:12:03.397117Z","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:a1d3dc58fab70eb9062dbf5affc1d88bcf650152f8731de94f72f0d50fe09368","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-10T01:12:03.397117Z","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:fbe39b10a71b235449a2d82d66146d97d77ee93f764f940fd24147e62c4ca704","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:12:03.397117Z","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:b65bf6c6ff8a753f85d218457ea9b8eb7a6ea0d045d5474b95a33f2b7c939d83","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-10T01:12:03.397117Z","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:30ff70c5fa2e3279b469db9ed75e67dad871dcb10577f0b8daa44a4b62854fa0","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:12:03.397117Z","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:d3cafb55f500d3c10832be1a270148c24cbd8cf48003f2adec96169aba4d8fe7","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:12:03.397117Z","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:153c1e5d87e7ddecbe6c631725b4945394b006b707800f8c029a761787fab2c7","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:12:03.397117Z","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:1c7c6ca50c27152bcff08be0a05a0036b8817b1930455f8833981ad97cf2b19a","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-10T01:12:03.397117Z","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:96bc44b2559e344c335055345c0d25f76c2f8bb08761b5de62a46883833f145b","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-10T01:12:03.397117Z","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:c65828ca396ebacc39c9760ec4bb159194255c656c824627fa3aa981c7fc774c","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:12:03.397117Z","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:9ef8460447d74c700a8eeb664134b395a18ca548635cce0bc4b2f482e089df11","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-10T01:12:03.397117Z","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:ed201135a8c5b844ba64413792882a60768e60dde7a381fcac31d647a4bd3756","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:12:03.397117Z","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:a9368d483dfed959388a73678f5b7a2f723ce6cb2e67455f09be86a4779fabe8","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:12:03.397117Z","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:de99914323bb3af1500cb29a3507eac27f4e3277861d7a08bef747ed4c848e18","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:12:03.397117Z","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:b31ad8eb6a2e29496125abade36e460b153dd1e799ade2deaad0dd5900a6f788","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-10T01:12:03.397117Z","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:eec002f8aa201f0892c25b39e443066c4608800c42a2b72bcfa7ad86f9e2b094","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-10T01:12:03.397117Z","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:07717b24e34e660b6db876c1ba86396956944e50f8cddf74660167aec45aae7e","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:12:03.397117Z","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:968ab422fd97b47bc291728c21e07495df80aa1339b82a9e9fe1df73975fc044","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-10T01:12:03.397117Z","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:b7805828373930bfe495f75161de6503f70509df0dfaa2c5141c7e9d38dbfa6c","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-10T01:12:03.397117Z","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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2506.02565."}