{"as_of":"2026-08-10T14:01:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9b47f9fde487ec740087a62b481d4110d01ae2ff00b37ba7d70a6b43f7769e68","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":16,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":16,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":16,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":16,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T20:07:01.542196Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-02T20:47:22.644628Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"1912.01412","last_updated":"2019-12-02T15:05:24Z","snapshot_observed_at":"2026-08-07T08:07:25.563461Z","submitted_at":"2019-12-02T15:05:24Z","title":"Deep Learning for Symbolic Mathematics","version":1},"cited_work":{"arxiv_id":"1912.01412","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1912.01412","snapshot_observed_at":"2026-07-02T20:47:22.644628Z","title":"Lample and F","venue":null,"work_id":"31fd8fbd-1ae7-44ff-aafe-6b60ab1872b3","year":1912},"citing_paper":{"arxiv_id":"2009.03393","last_updated":"2020-09-07T19:50:10Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2020-09-07T19:50:10Z","title":"Generative Language Modeling for Automated Theorem Proving","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-23T05:18:10.620262Z"},"links":{"cited_paper":"/paper/1912.01412","citing_paper":"/paper/2009.03393"},"observation_digest":"sha256:b6e73899c34b4b362ed4f7ec4f1f92af1691b3b43a5fca86d2540c6df2ba0849","observation_id":"ee4d2856-da40-4f7d-990e-eccae78b468c","resolution":{"observed_at":"2026-05-23T05:18:10.748234Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"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":"1912.01412","last_updated":"2019-12-02T15:05:24Z","snapshot_observed_at":"2026-08-07T08:07:25.563461Z","submitted_at":"2019-12-02T15:05:24Z","title":"Deep Learning for Symbolic Mathematics","version":1},"cited_work":{"arxiv_id":"1912.01412","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1912.01412","snapshot_observed_at":"2026-07-02T20:47:22.644628Z","title":"Lample and F","venue":null,"work_id":"31fd8fbd-1ae7-44ff-aafe-6b60ab1872b3","year":1912},"citing_paper":{"arxiv_id":"2110.14168","last_updated":"2021-11-18T00:23:45Z","snapshot_observed_at":"2026-08-07T01:45:38.840969Z","submitted_at":"2021-10-27T04:49:45Z","title":"Training Verifiers to Solve Math Word Problems","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-24T13:02:51.653921Z"},"links":{"cited_paper":"/paper/1912.01412","citing_paper":"/paper/2110.14168"},"observation_digest":"sha256:248421404d793fd91baf816ef33341e6b5d912514bb1193344e960fe44a4605c","observation_id":"494c7d82-258f-4169-917f-e511c5c6122b","resolution":{"observed_at":"2026-05-24T13:04:30.050779Z","resolver_source":"arxiv_id","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":{"arxiv_id":"1912.01412","last_updated":"2019-12-02T15:05:24Z","snapshot_observed_at":"2026-08-07T08:07:25.563461Z","submitted_at":"2019-12-02T15:05:24Z","title":"Deep Learning for Symbolic Mathematics","version":1},"cited_work":{"arxiv_id":"1912.01412","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1912.01412","snapshot_observed_at":"2026-07-02T20:47:22.644628Z","title":"Lample and F","venue":null,"work_id":"31fd8fbd-1ae7-44ff-aafe-6b60ab1872b3","year":1912},"citing_paper":{"arxiv_id":"2402.17762","last_updated":"2024-08-14T16:00:49Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-02-27T18:55:17Z","title":"Massive Activations in Large Language Models","version":2},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-05-16T07:02:53.740597Z"},"links":{"cited_paper":"/paper/1912.01412","citing_paper":"/paper/2402.17762"},"observation_digest":"sha256:3033f0a8110136bf066f678f1ded8934ee3ef4b7e16bef393f766c3b4c47cf75","observation_id":"e5a57c1f-6aa7-4811-9b0c-a7a2fa2bccab","resolution":{"observed_at":"2026-05-16T07:02:53.877938Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"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":"1912.01412","last_updated":"2019-12-02T15:05:24Z","snapshot_observed_at":"2026-08-07T08:07:25.563461Z","submitted_at":"2019-12-02T15:05:24Z","title":"Deep Learning for Symbolic Mathematics","version":1},"cited_work":{"arxiv_id":"1912.01412","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1912.01412","snapshot_observed_at":"2026-07-02T20:47:22.644628Z","title":"Lample and F","venue":null,"work_id":"31fd8fbd-1ae7-44ff-aafe-6b60ab1872b3","year":1912},"citing_paper":{"arxiv_id":"2408.11065","last_updated":"2026-05-07T20:50:35Z","snapshot_observed_at":"2026-07-06T19:03:39.672411Z","submitted_at":"2024-08-12T18:34:57Z","title":"Statistical Patterns in the Equations of Physics and the Emergence of a Meta-Law of Nature","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-23T21:53:07.688705Z"},"links":{"cited_paper":"/paper/1912.01412","citing_paper":"/paper/2408.11065"},"observation_digest":"sha256:46690a6fd54205e779e9d3f93f89e05d2af026a7b8da9784ae0054b66e657326","observation_id":"ed39d132-cc6d-4309-ad3b-5280ff3a743b","resolution":{"observed_at":"2026-05-23T21:53:29.663749Z","resolver_source":"arxiv_id","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":{"arxiv_id":"1912.01412","last_updated":"2019-12-02T15:05:24Z","snapshot_observed_at":"2026-08-07T08:07:25.563461Z","submitted_at":"2019-12-02T15:05:24Z","title":"Deep Learning for Symbolic Mathematics","version":1},"cited_work":{"arxiv_id":"1912.01412","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1912.01412","snapshot_observed_at":"2026-07-02T20:47:22.644628Z","title":"Lample and F","venue":null,"work_id":"31fd8fbd-1ae7-44ff-aafe-6b60ab1872b3","year":1912},"citing_paper":{"arxiv_id":"2502.01476","last_updated":"2026-05-21T15:15:31Z","snapshot_observed_at":"2026-08-02T22:09:10.725557Z","submitted_at":"2025-02-03T16:06:56Z","title":"Neuro-Symbolic AI for Analytical Solutions of Differential Equations","version":4},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-23T03:33:09.370984Z"},"links":{"cited_paper":"/paper/1912.01412","citing_paper":"/paper/2502.01476"},"observation_digest":"sha256:920b1157eba2a9336b242a37c508e88b0af4ecd4de40f6783c3b2df245713e8b","observation_id":"07252835-2c13-4f14-9dfb-5dbb2498b601","resolution":{"observed_at":"2026-05-23T03:35:21.186511Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"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":"1912.01412","last_updated":"2019-12-02T15:05:24Z","snapshot_observed_at":"2026-08-07T08:07:25.563461Z","submitted_at":"2019-12-02T15:05:24Z","title":"Deep Learning for Symbolic Mathematics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1912.01412","snapshot_observed_at":"2026-08-06T20:07:01.542196Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.03777","last_updated":"2025-07-04T18:54:27Z","snapshot_observed_at":"2026-08-06T20:00:27.860942Z","submitted_at":"2025-07-04T18:54:27Z","title":"A Better Multi-Objective GP-GOMEA -- But do we Need it?","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T20:07:01.542196Z"},"links":{"cited_paper":"/paper/1912.01412","citing_paper":"/paper/2507.03777"},"observation_digest":"sha256:d32c4bd631ef8b509ede3ca64aef172c656639e947a82d1ad94cf95e7745eb3d","observation_id":"2cc12ab7-4301-450d-bc5e-ef5c395fe215","resolution":{"observed_at":"2026-08-06T20:07:01.542196Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1912.01412","last_updated":"2019-12-02T15:05:24Z","snapshot_observed_at":"2026-08-07T08:07:25.563461Z","submitted_at":"2019-12-02T15:05:24Z","title":"Deep Learning for Symbolic Mathematics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1912.01412","snapshot_observed_at":"2026-08-06T14:28:47.722854Z","title":"ArXiv abs/1912.01412","venue":null,"work_id":null,"year":1912},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-08T11:27:34.501967Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:47.722854Z"},"links":{"cited_paper":"/paper/1912.01412","citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:dcf49214aa8da9e248fea7cc6f0f481abe185e5463b66f6bec1ad5685da95486","observation_id":"5a4811e1-aa20-4b8b-a2c7-7bce4d7ef0f6","resolution":{"observed_at":"2026-08-06T14:28:47.722854Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1912.01412","last_updated":"2019-12-02T15:05:24Z","snapshot_observed_at":"2026-08-07T08:07:25.563461Z","submitted_at":"2019-12-02T15:05:24Z","title":"Deep Learning for Symbolic Mathematics","version":1},"cited_work":{"arxiv_id":"1912.01412","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1912.01412","snapshot_observed_at":"2026-07-02T20:47:22.644628Z","title":"Lample and F","venue":null,"work_id":"31fd8fbd-1ae7-44ff-aafe-6b60ab1872b3","year":1912},"citing_paper":{"arxiv_id":"2603.11164","last_updated":"2026-04-11T19:05:19Z","snapshot_observed_at":"2026-08-02T05:21:25.823147Z","submitted_at":"2026-03-11T18:00:01Z","title":"Learning to Unscramble: Simplifying Symbolic Expressions via Self-Supervised Oracle Trajectories","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-15T12:31:32.917453Z"},"links":{"cited_paper":"/paper/1912.01412","citing_paper":"/paper/2603.11164"},"observation_digest":"sha256:d31c651328b58ebc9a739ac27e084247dd745e7218ac07e3a6521c9fd8a8bd2e","observation_id":"632e2d06-17d5-4c53-8579-f5c9ace356e7","resolution":{"observed_at":"2026-05-15T12:35:35.505770Z","resolver_source":"arxiv_id","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":{"arxiv_id":"1912.01412","last_updated":"2019-12-02T15:05:24Z","snapshot_observed_at":"2026-08-07T08:07:25.563461Z","submitted_at":"2019-12-02T15:05:24Z","title":"Deep Learning for Symbolic Mathematics","version":1},"cited_work":{"arxiv_id":"1912.01412","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1912.01412","snapshot_observed_at":"2026-07-02T20:47:22.644628Z","title":"Lample and F","venue":null,"work_id":"31fd8fbd-1ae7-44ff-aafe-6b60ab1872b3","year":1912},"citing_paper":{"arxiv_id":"2604.07240","last_updated":"2026-04-08T16:06:43Z","snapshot_observed_at":"2026-08-03T11:26:08.010806Z","submitted_at":"2026-04-08T16:06:43Z","title":"$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-10T17:48:17.363568Z"},"links":{"cited_paper":"/paper/1912.01412","citing_paper":"/paper/2604.07240"},"observation_digest":"sha256:c1501ddb4855276ba52c26d65946ddd30bb6b73425c50f66ae0d4fdf9aa26434","observation_id":"631006c5-6fb6-4f93-a0d1-e9d5346b3c9b","resolution":{"observed_at":"2026-05-11T06:05:58.127984Z","resolver_source":"arxiv_id","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":{"arxiv_id":"1912.01412","last_updated":"2019-12-02T15:05:24Z","snapshot_observed_at":"2026-08-07T08:07:25.563461Z","submitted_at":"2019-12-02T15:05:24Z","title":"Deep Learning for Symbolic Mathematics","version":1},"cited_work":{"arxiv_id":"1912.01412","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1912.01412","snapshot_observed_at":"2026-07-02T20:47:22.644628Z","title":"Lample and F","venue":null,"work_id":"31fd8fbd-1ae7-44ff-aafe-6b60ab1872b3","year":1912},"citing_paper":{"arxiv_id":"2604.13082","last_updated":"2026-06-17T04:09:14Z","snapshot_observed_at":"2026-07-13T15:57:54.517771Z","submitted_at":"2026-03-30T22:20:38Z","title":"The Long Delay to Arithmetic Generalization: When Learned Representations Outrun Behavior","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-14T21:16:40.430384Z"},"links":{"cited_paper":"/paper/1912.01412","citing_paper":"/paper/2604.13082"},"observation_digest":"sha256:3055f40e81e0da90ccec1219009ff3b7bd29b5f00a4499a519e1d21a8be2a531","observation_id":"f553e130-ced5-45d7-8a6d-1b717b4966e9","resolution":{"observed_at":"2026-05-14T21:17:58.870861Z","resolver_source":"arxiv_id","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":{"arxiv_id":"1912.01412","last_updated":"2019-12-02T15:05:24Z","snapshot_observed_at":"2026-08-07T08:07:25.563461Z","submitted_at":"2019-12-02T15:05:24Z","title":"Deep Learning for Symbolic Mathematics","version":1},"cited_work":{"arxiv_id":"1912.01412","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1912.01412","snapshot_observed_at":"2026-07-02T20:47:22.644628Z","title":"Lample and F","venue":null,"work_id":"31fd8fbd-1ae7-44ff-aafe-6b60ab1872b3","year":1912},"citing_paper":{"arxiv_id":"2604.16232","last_updated":"2026-07-13T18:09:31Z","snapshot_observed_at":"2026-08-03T00:53:45.328889Z","submitted_at":"2026-04-17T16:46:23Z","title":"Neuro-Symbolic ODE Discovery with Latent Grammar Flow","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-10T08:36:18.119381Z"},"links":{"cited_paper":"/paper/1912.01412","citing_paper":"/paper/2604.16232"},"observation_digest":"sha256:801da8a88b87209385b3ed09b94c154cf9128dbe10b634ec8b0bf1c460f45735","observation_id":"7d7f98c8-ea15-47c3-8c10-9d16181d9b9a","resolution":{"observed_at":"2026-05-10T08:48:02.483395Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"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":"1912.01412","last_updated":"2019-12-02T15:05:24Z","snapshot_observed_at":"2026-08-07T08:07:25.563461Z","submitted_at":"2019-12-02T15:05:24Z","title":"Deep Learning for Symbolic Mathematics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1912.01412","snapshot_observed_at":"2026-07-15T12:27:15.229823Z","title":"Lample and F","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2604.16232","last_updated":"2026-07-13T18:09:31Z","snapshot_observed_at":"2026-08-03T00:53:45.328889Z","submitted_at":"2026-04-17T16:46:23Z","title":"Neuro-Symbolic ODE Discovery with Latent Grammar Flow","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-07-15T12:27:15.229823Z"},"links":{"cited_paper":"/paper/1912.01412","citing_paper":"/paper/2604.16232"},"observation_digest":"sha256:23d7e08c6c1ab42e56af3729baad70b751464a9e55f3331fba59c2ff4822750a","observation_id":"ae6ad72e-c7ca-460f-9f0f-2e21c0d24e24","resolution":{"observed_at":"2026-07-15T12:27:15.229823Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1912.01412","last_updated":"2019-12-02T15:05:24Z","snapshot_observed_at":"2026-08-07T08:07:25.563461Z","submitted_at":"2019-12-02T15:05:24Z","title":"Deep Learning for Symbolic Mathematics","version":1},"cited_work":{"arxiv_id":"1912.01412","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1912.01412","snapshot_observed_at":"2026-07-02T20:47:22.644628Z","title":"Lample and F","venue":null,"work_id":"31fd8fbd-1ae7-44ff-aafe-6b60ab1872b3","year":1912},"citing_paper":{"arxiv_id":"2605.04978","last_updated":"2026-05-06T14:32:05Z","snapshot_observed_at":"2026-07-06T23:17:38.226365Z","submitted_at":"2026-05-06T14:32:05Z","title":"Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-05-09T16:21:41.329891Z"},"links":{"cited_paper":"/paper/1912.01412","citing_paper":"/paper/2605.04978"},"observation_digest":"sha256:756e10320fc03b84e6fb4bd940e0f82f9202f7a678e4779b1c25377a13d05fd8","observation_id":"821c59ef-65ed-44d6-9e3c-7c739619ca32","resolution":{"observed_at":"2026-05-11T16:31:10.143243Z","resolver_source":"arxiv_id","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":{"arxiv_id":"1912.01412","last_updated":"2019-12-02T15:05:24Z","snapshot_observed_at":"2026-08-07T08:07:25.563461Z","submitted_at":"2019-12-02T15:05:24Z","title":"Deep Learning for Symbolic Mathematics","version":1},"cited_work":{"arxiv_id":"1912.01412","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1912.01412","snapshot_observed_at":"2026-07-02T20:47:22.644628Z","title":"Lample and F","venue":null,"work_id":"31fd8fbd-1ae7-44ff-aafe-6b60ab1872b3","year":1912},"citing_paper":{"arxiv_id":"2605.21160","last_updated":"2026-05-20T13:27:39Z","snapshot_observed_at":"2026-07-06T23:31:37.061253Z","submitted_at":"2026-05-20T13:27:39Z","title":"Learning First Integrals via Backward-Generated Data and Guided Reinforcement Learning","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-21T05:55:25.350890Z"},"links":{"cited_paper":"/paper/1912.01412","citing_paper":"/paper/2605.21160"},"observation_digest":"sha256:00d4f31a736db1b15dfbf78533b188afcb6f098776a7f9044603e8a6d042e151","observation_id":"a8f68d3a-6f1d-4b4d-ba7e-05516193250e","resolution":{"observed_at":"2026-05-21T05:59:41.175059Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"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":"1912.01412","last_updated":"2019-12-02T15:05:24Z","snapshot_observed_at":"2026-08-07T08:07:25.563461Z","submitted_at":"2019-12-02T15:05:24Z","title":"Deep Learning for Symbolic Mathematics","version":1},"cited_work":{"arxiv_id":"1912.01412","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1912.01412","snapshot_observed_at":"2026-07-02T20:47:22.644628Z","title":"Lample and F","venue":null,"work_id":"31fd8fbd-1ae7-44ff-aafe-6b60ab1872b3","year":1912},"citing_paper":{"arxiv_id":"2605.27245","last_updated":"2026-05-26T16:25:05Z","snapshot_observed_at":"2026-08-09T00:46:02.320321Z","submitted_at":"2026-05-26T16:25:05Z","title":"Symbolic Regression via Latent Iterative Refinement","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-29T18:25:31.174466Z"},"links":{"cited_paper":"/paper/1912.01412","citing_paper":"/paper/2605.27245"},"observation_digest":"sha256:949e94189634f930c7aa013948391f794ae27afb6122724149af81676eb4ec8f","observation_id":"4326ba60-8bf3-44a9-83cb-0ef862582057","resolution":{"observed_at":"2026-06-29T18:33:50.946501Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"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":"1912.01412","last_updated":"2019-12-02T15:05:24Z","snapshot_observed_at":"2026-08-07T08:07:25.563461Z","submitted_at":"2019-12-02T15:05:24Z","title":"Deep Learning for Symbolic Mathematics","version":1},"cited_work":{"arxiv_id":"1912.01412","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1912.01412","snapshot_observed_at":"2026-07-02T20:47:22.644628Z","title":"Lample and F","venue":null,"work_id":"31fd8fbd-1ae7-44ff-aafe-6b60ab1872b3","year":1912},"citing_paper":{"arxiv_id":"2606.07915","last_updated":"2026-06-06T00:37:03Z","snapshot_observed_at":"2026-07-06T23:47:29.065892Z","submitted_at":"2026-06-06T00:37:03Z","title":"EditSR: Enhancing Neural Symbolic Regression via Edit-based Rectification","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-27T20:15:18.492669Z"},"links":{"cited_paper":"/paper/1912.01412","citing_paper":"/paper/2606.07915"},"observation_digest":"sha256:e6e8264b0a8d0b18aad6132c541833baab5a2f378c90162f66faed243c5870c1","observation_id":"e4a4c2eb-488f-45b1-a4c0-d92be367d679","resolution":{"observed_at":"2026-07-02T20:47:22.646336Z","resolver_source":"arxiv_id","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"}}],"links":{"evidence":"/evidence","html":"/paper/1912.01412/citation-record","integrity":"/paper/1912.01412/integrity","json":"/paper/1912.01412/citation-record.json","paper":"/paper/1912.01412"},"outbound":[],"paper":{"arxiv_id":"1912.01412","last_updated":"2019-12-02T15:05:24Z","latest_version":1,"primary_category":"cs.SC","snapshot_observed_at":"2026-08-07T08:07:25.563461Z","submitted_at":"2019-12-02T15:05:24Z","title":"Deep Learning for Symbolic Mathematics"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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 0 of 0 outbound references and 16 inbound Pith citation observations for arXiv:1912.01412."}