{"as_of":"2026-08-11T00:07:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c727fb829999010807d19ef2346ff88454cf3095a979193d136943ac0618d44d","coverage":[{"denominator":59,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":59,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T14:50:47.695994Z","state":"measured"},{"denominator":59,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":59,"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/2501.14951/citation-record","integrity":"/paper/2501.14951/integrity","json":"/paper/2501.14951/citation-record.json","paper":"/paper/2501.14951"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:50:47.399811Z","title":"online\" 'onlinestring :=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.399811Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:79cda3041621f0363f2ad389d9372d096cbcc669b8cda5e8b382662c7c0a8e93","observation_id":"c27ba8fd-30d9-4a0b-a2b3-bf933ed5b19e","resolution":{"observed_at":"2026-08-10T14:50:47.399811Z","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-10T14:50:47.405954Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.405954Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:4e26a3f0b83b679d9d13edf1168f2b227e54518095219cc2e39a9ff15239dfbe","observation_id":"2e8bde33-4ea7-4f7f-b09f-1d3b7be689f5","resolution":{"observed_at":"2026-08-10T14:50:47.405954Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-07T07:30:12.213965Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-10T14:50:47.412165Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.412165Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:7054588b87148f09007f5ff2105562857e852519270a63f88ea08941aef28f65","observation_id":"b0d47fcf-aafc-4a9b-91b1-ba323972661a","resolution":{"observed_at":"2026-08-10T14:50:47.412165Z","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-10T14:50:48.652009Z","title":null,"venue":null,"work_id":"e51dbaee-016f-413c-9513-a5452021f877","year":2017},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.417473Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:7dc4bdb117f6acf1f36a8d559fef42653e93655add608cfda4fdf91917237381","observation_id":"8e4366b3-eac9-46de-86bd-b59c9113e8cc","resolution":{"observed_at":"2026-08-10T14:50:48.657233Z","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-10T14:50:47.423260Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.423260Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:e3fb8ab7e07896dbb4fd62f6f3b101af5aafe0d9bab5688613f6da997a401e92","observation_id":"7761aa7e-7f64-4e71-a4f4-7cd6564118d0","resolution":{"observed_at":"2026-08-10T14:50:47.423260Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1406.1078","last_updated":"2014-09-03T00:25:02Z","snapshot_observed_at":"2026-07-06T03:45:28.546418Z","submitted_at":"2014-06-03T17:47:08Z","title":"Learning Phrase Representations using RNN Encoder-Decoder for Statistical Machine Translation","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1406.1078","snapshot_observed_at":"2026-08-10T14:50:47.428549Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.428549Z"},"links":{"cited_paper":"/paper/1406.1078","citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:e9623faf9022621bf695916dfb34fde15a52339c38b8c1a3e10dd014f49c76a7","observation_id":"35831765-78b8-4cfb-9497-f5b787cfa87f","resolution":{"observed_at":"2026-08-10T14:50:47.428549Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.21783","last_updated":"2024-11-23T23:27:33Z","snapshot_observed_at":"2026-08-10T16:40:37.411115Z","submitted_at":"2024-07-31T17:54:27Z","title":"The Llama 3 Herd of Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.21783","snapshot_observed_at":"2026-08-10T14:50:47.434153Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.434153Z"},"links":{"cited_paper":"/paper/2407.21783","citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:52e33f578eb459bb7c3256508deff21ccfcb14f8dd5501915be27211dbefb19e","observation_id":"2aa3ba51-f193-4dd8-83a9-d48e8c4e08eb","resolution":{"observed_at":"2026-08-10T14:50:47.434153Z","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-10T14:50:48.624265Z","title":null,"venue":null,"work_id":"e1e0c176-77c1-4b88-bdf0-8a00a211eec1","year":1970},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.439255Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:b2841e37c601e473b1d3748c36ae1d8ab3faca6b31a6dbea1e515e346dc312ac","observation_id":"f1f543c8-700c-44c5-a44d-315cdc8dc42c","resolution":{"observed_at":"2026-08-10T14:50:48.629884Z","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-10T14:50:48.608612Z","title":null,"venue":null,"work_id":"0083f8a0-dadb-44b3-959b-7c085d0ef41b","year":2024},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.445123Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:992933b7f02a6887c71a4bdd1b689a79a53be556336913605b9ac102f89bf463","observation_id":"79789f0f-274a-4a32-a1a6-908cd75e99d7","resolution":{"observed_at":"2026-08-10T14:50:48.613340Z","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-10T14:50:48.591470Z","title":null,"venue":null,"work_id":"5e2ac18d-8121-498b-9048-0c42ed8c3e65","year":2023},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.450226Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:eaf8ceef7bc95716b5c433f3b4aebea033d44d9489079751c535740786c59e83","observation_id":"433df3f9-5216-497a-9918-8b24c4ba2202","resolution":{"observed_at":"2026-08-10T14:50:48.596888Z","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":"1707.05154","last_updated":"2017-08-29T11:36:32Z","snapshot_observed_at":"2026-07-06T05:51:25.058418Z","submitted_at":"2017-07-17T13:43:41Z","title":"Preliminary Exploration of Formula Embedding for Mathematical Information Retrieval: can mathematical formulae be embedded like a natural language?","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1707.05154","snapshot_observed_at":"2026-08-10T14:50:47.456608Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.456608Z"},"links":{"cited_paper":"/paper/1707.05154","citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:d283d0d75b7beaba39ec11747d1ecab7ca56e02709485acf0f840f7aab647b2c","observation_id":"de8113e1-2efd-4ff3-afe6-f925b8d57497","resolution":{"observed_at":"2026-08-10T14:50:47.456608Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2104.08821","last_updated":"2022-05-18T12:29:49Z","snapshot_observed_at":"2026-07-06T11:01:05.577957Z","submitted_at":"2021-04-18T11:27:08Z","title":"SimCSE: Simple Contrastive Learning of Sentence Embeddings","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2104.08821","snapshot_observed_at":"2026-08-10T14:50:47.462069Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.462069Z"},"links":{"cited_paper":"/paper/2104.08821","citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:c51b4f593cc796d793cba06f03c948bf955938527d1275bce9b0f826869886f1","observation_id":"f2a59cbb-6b17-46f5-bf64-6b8bfbefbc97","resolution":{"observed_at":"2026-08-10T14:50:47.462069Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2004.04487","last_updated":"2020-04-09T11:14:56Z","snapshot_observed_at":"2026-07-06T09:11:10.971902Z","submitted_at":"2020-04-09T11:14:56Z","title":"Injecting Numerical Reasoning Skills into Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2004.04487","snapshot_observed_at":"2026-08-10T14:50:47.466958Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.466958Z"},"links":{"cited_paper":"/paper/2004.04487","citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:011e2655cc6511c8d1c456cc307595403fac34285d76cd98999a84f5458ad5e5","observation_id":"c99f84c5-f029-4ebc-91b6-2da9b20dee95","resolution":{"observed_at":"2026-08-10T14:50:47.466958Z","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-10T14:50:48.574143Z","title":null,"venue":null,"work_id":"56c627b3-d831-44e4-89c5-12af816954b3","year":2022},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.472158Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:cfaa5304ac456ba99ffedc0c428cd8dc63f426c9dec122aab16dc699f37a49c8","observation_id":"3e044e26-5b82-48c4-b4db-3c2ff228980a","resolution":{"observed_at":"2026-08-10T14:50:48.579009Z","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":"2410.21276","last_updated":"2024-10-25T17:43:01Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-10-25T17:43:01Z","title":"GPT-4o System Card","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.21276","snapshot_observed_at":"2026-08-10T14:50:47.477024Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.477024Z"},"links":{"cited_paper":"/paper/2410.21276","citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:5ab688f8d59d06310ad74f571c4d9218623672af77dc17b8eb812ee6a73d97fb","observation_id":"cd6f7158-508c-4a7e-ad9a-7ae98528d69c","resolution":{"observed_at":"2026-08-10T14:50:47.477024Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16720","last_updated":"2026-04-30T02:46:40Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-12-21T18:04:31Z","title":"OpenAI o1 System Card","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.16720","snapshot_observed_at":"2026-08-10T14:50:47.482237Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.482237Z"},"links":{"cited_paper":"/paper/2412.16720","citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:c2976a79531417abf86f90c31a3811b81fafd9dbe800ceff3b21d22ff807edcb","observation_id":"f0d46223-99f2-4ad0-96c0-f06f12340eaa","resolution":{"observed_at":"2026-08-10T14:50:47.482237Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.06825","last_updated":"2023-10-10T17:54:58Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-10-10T17:54:58Z","title":"Mistral 7B","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.06825","snapshot_observed_at":"2026-08-10T14:50:47.487275Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.487275Z"},"links":{"cited_paper":"/paper/2310.06825","citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:3570f02ff7d5708874f3bc36f9f5e7eba3111888f14bc0358d412a6cef8cb324","observation_id":"7e5a2689-3f58-4d09-bcd2-dc87dd2d6311","resolution":{"observed_at":"2026-08-10T14:50:47.487275Z","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-10T14:50:48.557995Z","title":null,"venue":null,"work_id":"ad7d4344-d197-4d4c-af14-ec231c5f1c4f","year":2021},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.492136Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:03cea01420a7353fed5d0cffb9a7c821b2610a30969912eb17fb396cf8f411f2","observation_id":"dc1bbbc4-a4e0-4007-9c88-9d050122e18f","resolution":{"observed_at":"2026-08-10T14:50:48.562951Z","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-10T14:50:48.541807Z","title":null,"venue":null,"work_id":"9c4b4556-5978-4275-82d2-b330a2e2e6f5","year":2024},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.497200Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:bd866fa551f51f66914a927f46e9b6647112c9dda8cbd6d6a24cf4f4c77598e3","observation_id":"64759458-7f0f-4c4f-8441-68753059651a","resolution":{"observed_at":"2026-08-10T14:50:48.547156Z","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-10T14:50:48.525842Z","title":null,"venue":null,"work_id":"8686f0b3-cc55-4896-bf8e-7aa26236b94a","year":2014},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.501871Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:039afbf045c5798143df748ed510f2090a597632f230f68e049846143ee5971a","observation_id":"ace9e2d3-9152-4e84-ae3f-bbdaa55015d1","resolution":{"observed_at":"2026-08-10T14:50:48.530835Z","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-10T14:50:48.510380Z","title":null,"venue":null,"work_id":"279add4f-387e-4434-b2d1-1fc65af5135f","year":2016},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.506495Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:42f09249265e25150e48a17b697c2ab720dbecaef126c04bbb4d80826a3a1694","observation_id":"e9ec1190-5165-433f-9e56-8cabd84994c3","resolution":{"observed_at":"2026-08-10T14:50:48.515111Z","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":"1803.09123","last_updated":"2018-03-24T15:04:17Z","snapshot_observed_at":"2026-07-06T06:30:00.428777Z","submitted_at":"2018-03-24T15:04:17Z","title":"Equation Embeddings","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1803.09123","snapshot_observed_at":"2026-08-10T14:50:47.511146Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.511146Z"},"links":{"cited_paper":"/paper/1803.09123","citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:6a13a1c9845210c0507ea14f75fd1935e55ebd39598384d0d10df6dbaa7dbd28","observation_id":"556b53d5-cc3b-4c12-aa3b-fe0bb4fea3ea","resolution":{"observed_at":"2026-08-10T14:50:47.511146Z","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-10T14:50:47.516174Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.516174Z"},"links":{"cited_paper":"/paper/1912.01412","citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:71e262e75e1c390506c18bc5aee78d18f8e30b157321a4f64e7dee4618974090","observation_id":"27f747ec-be4a-4cfe-ae6b-09a8688d8f24","resolution":{"observed_at":"2026-08-10T14:50:47.516174Z","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-10T14:50:47.521325Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.521325Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:d9e8c0de7ec7f7c41fc7cd6f32206778fa78e14c62e47f80da4952a023150af8","observation_id":"d7f3a95e-9374-4cff-b5d2-f8416cd02f05","resolution":{"observed_at":"2026-08-10T14:50:47.521325Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1711.05101","last_updated":"2019-01-04T21:01:49Z","snapshot_observed_at":"2026-08-09T20:34:52.923500Z","submitted_at":"2017-11-14T14:24:06Z","title":"Decoupled Weight Decay Regularization","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1711.05101","snapshot_observed_at":"2026-08-10T14:50:47.526287Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.526287Z"},"links":{"cited_paper":"/paper/1711.05101","citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:1f86511907c74c5bdef89f4c43b9c59e86992f0070a39c9bb4e64e1b5fbf6513","observation_id":"b12ddc17-f2f8-4a4e-bc15-bd799cad95d0","resolution":{"observed_at":"2026-08-10T14:50:47.526287Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1608.03983","last_updated":"2017-05-03T16:28:09Z","snapshot_observed_at":"2026-07-06T05:06:55.589962Z","submitted_at":"2016-08-13T13:46:05Z","title":"SGDR: Stochastic Gradient Descent with Warm Restarts","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1608.03983","snapshot_observed_at":"2026-08-10T14:50:47.531304Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.531304Z"},"links":{"cited_paper":"/paper/1608.03983","citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:422792c331048490e1bf34e3a04409745f0229eaba8f15d87a1a0ff98caa6e94","observation_id":"abc3e652-e376-4222-9c2e-c582a718bc0a","resolution":{"observed_at":"2026-08-10T14:50:47.531304Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.02255","last_updated":"2024-01-21T03:47:06Z","snapshot_observed_at":"2026-07-06T16:27:15.027202Z","submitted_at":"2023-10-03T17:57:24Z","title":"MathVista: Evaluating Mathematical Reasoning of Foundation Models in Visual Contexts","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.02255","snapshot_observed_at":"2026-08-10T14:50:47.536421Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.536421Z"},"links":{"cited_paper":"/paper/2310.02255","citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:c8218567ab99a14b34c7ef4331bd849cd5d94300c96c3e90a2e65cf9f150c795","observation_id":"ee21bdda-0db8-4ef0-8b10-5a0a51b31689","resolution":{"observed_at":"2026-08-10T14:50:47.536421Z","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-10T14:50:48.482723Z","title":null,"venue":null,"work_id":"802ce73f-a74c-4b96-b02a-e2ce8fbd01cc","year":1967},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.541601Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:a7dfa371a665f95cab9cc7e1f91740b1279b74e0e404b6e06b5c18e6afe26df9","observation_id":"49b92052-07be-452a-ac46-e22b0aac7016","resolution":{"observed_at":"2026-08-10T14:50:48.487701Z","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-10T14:50:48.466457Z","title":null,"venue":null,"work_id":"f23dfe53-2c1b-426a-b5ba-befa2e0f4caa","year":2022},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.546653Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:9fc437c2ed63ab20f8a3591e9b34d5b6da61f965b796fb675c4bcc549cefd172","observation_id":"bafce831-0ba2-4696-af00-3fda22794347","resolution":{"observed_at":"2026-08-10T14:50:48.471605Z","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-10T14:50:48.450160Z","title":null,"venue":null,"work_id":"6ac0625a-47f6-47e8-86d5-1753d301c6da","year":2022},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.551383Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:309bebe0f1fe1e911c73c1a577ca8c93eff49da8577c6325630c760e35630805","observation_id":"9b959aae-6b0e-4d7d-bcac-344a3d33ad57","resolution":{"observed_at":"2026-08-10T14:50:48.455358Z","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-10T14:50:48.434053Z","title":null,"venue":null,"work_id":"e5e863c1-b375-4903-a211-6cee7811391a","year":2022},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.556123Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:497b0d424caf5615564138953885941f9b697ea38b552ab9c2f9ef8647682791","observation_id":"3f728638-a53e-4a68-ba11-73ec2401443a","resolution":{"observed_at":"2026-08-10T14:50:48.439155Z","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-10T14:50:48.416947Z","title":null,"venue":null,"work_id":"b6fda84b-8b64-4b25-b6cf-eb0b5d5e5206","year":2019},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.560900Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:e510b34ac153c7751c389da7b8171f8f84901979f507f4bc297f08d61525e6b5","observation_id":"dd07cd7e-40ab-4320-b2dc-daef470fa528","resolution":{"observed_at":"2026-08-10T14:50:48.422961Z","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":"2205.15231","last_updated":"2024-04-08T11:09:35Z","snapshot_observed_at":"2026-07-06T13:15:32.315247Z","submitted_at":"2022-05-30T16:41:58Z","title":"A Survey in Mathematical Language Processing","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2205.15231","snapshot_observed_at":"2026-08-10T14:50:47.565625Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.565625Z"},"links":{"cited_paper":"/paper/2205.15231","citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:a170196a2350b6c11efc6254019981d251eeb5dde9fc01c449a8fc8770a7c5ff","observation_id":"32cafce0-8380-4795-97e7-6948e04d5d94","resolution":{"observed_at":"2026-08-10T14:50:47.565625Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.02227","last_updated":"2024-03-15T06:00:29Z","snapshot_observed_at":"2026-08-07T16:36:10.047410Z","submitted_at":"2023-10-03T17:32:44Z","title":"SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.02227","snapshot_observed_at":"2026-08-10T14:50:47.570731Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.570731Z"},"links":{"cited_paper":"/paper/2310.02227","citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:c189fdf24ded52d08ecb55513446381cf4e6973023e9a03e1e12548713439d82","observation_id":"5aad4db8-dc48-41d8-9b6b-3029eaae4581","resolution":{"observed_at":"2026-08-10T14:50:47.570731Z","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-10T14:50:47.576196Z","title":"Smith, Mateusz Paprocki, Ond r ej C ert\\' i k, Sergey B","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.576196Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:3d2299b64020e3cca49312abe10f8d650e849a5d53d6ee8889f2e571cf175561","observation_id":"ed1f954a-9214-40a3-9208-cc9507fc24dd","resolution":{"observed_at":"2026-08-10T14:50:47.576196Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1301.3781","last_updated":"2013-09-07T00:30:40Z","snapshot_observed_at":"2026-07-06T03:04:11.148340Z","submitted_at":"2013-01-16T18:24:43Z","title":"Efficient Estimation of Word Representations in Vector Space","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1301.3781","snapshot_observed_at":"2026-08-10T14:50:47.581097Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.581097Z"},"links":{"cited_paper":"/paper/1301.3781","citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:8a5fbc6f05f830d05aefff6eafaaf8757691b238fd3ed738ede576cf7c0048cb","observation_id":"465a528b-bbad-4b65-a46e-60a1b60ade8a","resolution":{"observed_at":"2026-08-10T14:50:47.581097Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2112.00114","last_updated":"2021-11-30T21:32:46Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2021-11-30T21:32:46Z","title":"Show Your Work: Scratchpads for Intermediate Computation with Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2112.00114","snapshot_observed_at":"2026-08-10T14:50:47.586246Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.586246Z"},"links":{"cited_paper":"/paper/2112.00114","citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:e664091e8d4905af2273f9ece9ec1ff8819a7a0f155e7e6016f386cf1f182af0","observation_id":"480c1089-0da1-49c1-9b29-a823413ab41a","resolution":{"observed_at":"2026-08-10T14:50:47.586246Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1807.03748","last_updated":"2019-01-22T18:47:12Z","snapshot_observed_at":"2026-07-06T06:49:24.960992Z","submitted_at":"2018-07-10T16:52:11Z","title":"Representation Learning with Contrastive Predictive Coding","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1807.03748","snapshot_observed_at":"2026-08-10T14:50:47.591479Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.591479Z"},"links":{"cited_paper":"/paper/1807.03748","citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:085d8b98dfa101db3123b05b86d695e01ef0b16bfcd5f0344e5bad3c6cbae421","observation_id":"418e0c05-fce0-4a56-8b76-a77e594a2e54","resolution":{"observed_at":"2026-08-10T14:50:47.591479Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1407.0167","last_updated":"2014-07-01T09:56:42Z","snapshot_observed_at":"2026-08-10T16:09:16.376940Z","submitted_at":"2014-07-01T09:56:42Z","title":"Mathematical Language Processing Project","version":1},"cited_work":{"arxiv_id":"1407.0167","doi":null,"metadata_source":"pith","pith_arxiv_id":"1407.0167","snapshot_observed_at":"2026-08-10T14:50:47.868826Z","title":"Mathematical Language Processing Project","venue":"cs.DL","work_id":"98392a84-fe86-4431-b6eb-870b9e2d1483","year":2014},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.596341Z"},"links":{"cited_paper":"/paper/1407.0167","citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:1b229aa8d0f6c6c633d7552d61db8f5f2033ecd9a6ddcd36052f56d15ca00689","observation_id":"3428af52-13db-4ee3-93f8-edd9b9e16828","resolution":{"observed_at":"2026-08-10T14:50:47.874142Z","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":{"arxiv_id":"2105.00377","last_updated":"2021-05-02T02:10:31Z","snapshot_observed_at":"2026-08-04T09:55:07.881758Z","submitted_at":"2021-05-02T02:10:31Z","title":"MathBERT: A Pre-Trained Model for Mathematical Formula Understanding","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2105.00377","snapshot_observed_at":"2026-08-10T14:50:47.601291Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.601291Z"},"links":{"cited_paper":"/paper/2105.00377","citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:cc05f937163912924ba9d366608128b6f60dcccdea86cf6dab929ae5ccfb52fe","observation_id":"337b4d48-322c-46f1-8125-c65c80cd2629","resolution":{"observed_at":"2026-08-10T14:50:47.601291Z","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-10T14:50:47.606201Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.606201Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:0d64a9e525f376498d680abef2fc01c58d151b54fad36825cef68adf69ac44be","observation_id":"5f517091-32df-43a4-95d8-d97e655d1b7f","resolution":{"observed_at":"2026-08-10T14:50:47.606201Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2203.05325","last_updated":"2022-05-04T13:56:01Z","snapshot_observed_at":"2026-08-05T22:16:41.972947Z","submitted_at":"2022-03-10T12:19:44Z","title":"AIFB-WebScience at SemEval-2022 Task 12: Relation Extraction First -- Using Relation Extraction to Identify Entities","version":2},"cited_work":{"arxiv_id":"2203.05325","doi":null,"metadata_source":"pith","pith_arxiv_id":"2203.05325","snapshot_observed_at":"2026-08-10T14:50:47.830063Z","title":"AIFB-WebScience at SemEval-2022 Task 12: Relation Extraction First -- Using Relation Extraction to Identify Entities","venue":"cs.CL","work_id":"537a2c7f-cafb-4824-aca8-0e7caedb9858","year":2022},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.611017Z"},"links":{"cited_paper":"/paper/2203.05325","citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:b29d10ba521920233e452dcf51041dc7d696c959058b8c4924552bffc2598903","observation_id":"e5d8972f-1f1b-4054-8836-06197592adf3","resolution":{"observed_at":"2026-08-10T14:50:47.835285Z","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":{"arxiv_id":"1912.04115","last_updated":"2019-12-09T15:19:27Z","snapshot_observed_at":"2026-08-08T16:47:07.475224Z","submitted_at":"2019-12-09T15:19:27Z","title":"Query Auto Completion for Math Formula Search","version":1},"cited_work":{"arxiv_id":"1912.04115","doi":null,"metadata_source":"pith","pith_arxiv_id":"1912.04115","snapshot_observed_at":"2026-08-10T14:50:47.804812Z","title":"Query Auto Completion for Math Formula Search","venue":"cs.IR","work_id":"4a374b74-a9e5-4a76-b766-168e8d9606a3","year":2019},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.616304Z"},"links":{"cited_paper":"/paper/1912.04115","citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:03e488796e51abece24df366524aa103eca98293a736eceba51a5114f40c3eff","observation_id":"22b3cf56-c6d6-43c8-bc16-c623c349ad65","resolution":{"observed_at":"2026-08-10T14:50:47.812079Z","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-10T14:50:47.621379Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.621379Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:a0d8b60bff0142164e73b31c6191c74e88a166fd76b1b0962656fa02ca51cb4c","observation_id":"4ce1523d-cce4-45ee-9776-c2c050a54c3d","resolution":{"observed_at":"2026-08-10T14:50:47.621379Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1409.3215","last_updated":"2014-12-14T20:59:51Z","snapshot_observed_at":"2026-08-02T03:58:50.109606Z","submitted_at":"2014-09-10T19:55:35Z","title":"Sequence to Sequence Learning with Neural Networks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1409.3215","snapshot_observed_at":"2026-08-10T14:50:47.625993Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.625993Z"},"links":{"cited_paper":"/paper/1409.3215","citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:896eb9d4f6928efca107eb0e7e95cdb44eaf3395c324792f68722e671ebdd541","observation_id":"0590e45f-79cd-474e-a3fb-ea22cfe9f72a","resolution":{"observed_at":"2026-08-10T14:50:47.625993Z","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-10T14:50:48.379195Z","title":null,"venue":null,"work_id":"c9b4da3c-fe5b-4f5a-9bd7-a080c13d19b7","year":2013},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.630974Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:06203fb246f1abe67785f5e0d8bb6c6f4752a13fbb2fc73ceaabe220823ca028","observation_id":"66c5e504-6f1f-4929-811a-0b2cf067e720","resolution":{"observed_at":"2026-08-10T14:50:48.384233Z","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-10T14:50:48.363383Z","title":null,"venue":null,"work_id":"9372be08-0f85-4207-ba92-4b0a34724d38","year":2008},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.635904Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:1714f6362b8ca89719f65d2d65a1733353c66b4414acc53cb7c88db5aa2fc6ee","observation_id":"818f63a8-7252-405d-b28c-7ffcfcf6561e","resolution":{"observed_at":"2026-08-10T14:50:48.368444Z","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-10T14:50:47.640676Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.640676Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:cf21807ac9193aacb9ee439c346067fd3ef5b959f72b7711bd3b3432fdbc8551","observation_id":"eed4dfed-0e71-40ce-ac9b-06f9d9d0bbe2","resolution":{"observed_at":"2026-08-10T14:50:47.640676Z","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-10T14:50:48.335568Z","title":null,"venue":null,"work_id":"fc57a156-393a-4292-9fea-b043c5ed689d","year":2020},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.645509Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:8521aa1fdd74ed152f7fcca159c68b754e8f4c7bd5163ce7ae447c3988b99d0c","observation_id":"ad298d27-aa98-416a-a432-a76384bc08ac","resolution":{"observed_at":"2026-08-10T14:50:48.340752Z","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":"2104.01112","last_updated":"2021-06-07T21:58:06Z","snapshot_observed_at":"2026-08-03T23:23:04.398852Z","submitted_at":"2021-03-24T03:14:48Z","title":"NaturalProofs: Mathematical Theorem Proving in Natural Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2104.01112","snapshot_observed_at":"2026-08-10T14:50:47.650274Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.650274Z"},"links":{"cited_paper":"/paper/2104.01112","citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:db44bc66c2b456b1683ccdd40cef3c4ca5d83d7ca88c37759fbc7b93a4e50fee","observation_id":"60e244ba-24c2-4d82-965c-031f53b9e5dc","resolution":{"observed_at":"2026-08-10T14:50:47.650274Z","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-10T14:50:48.319273Z","title":null,"venue":null,"work_id":"c81ca990-f475-496c-bdcd-31fe1a29ef04","year":2021},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.655626Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:46b110b7949efadeba3c6f19d46d9c75b3c9f3a356ffd980f128a63798d02434","observation_id":"10a9c461-7017-4826-9c0a-430802aed17f","resolution":{"observed_at":"2026-08-10T14:50:48.324182Z","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-10T14:50:48.303107Z","title":null,"venue":null,"work_id":"1cf3b0f9-92ec-4140-aa7d-0e6f0e971ed6","year":2021},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.660665Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:7044db03d37ab0ebb66c7f009d559768676cc704e8d2c3c1ca49b04f3259bbd5","observation_id":"ddd7ba60-7f3d-402e-904d-d6f0e770df8d","resolution":{"observed_at":"2026-08-10T14:50:48.308368Z","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-10T14:50:47.665592Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.665592Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:576593066211e41ed22392c65d6c319bef4b04a0f194591cf0d7f78cfcee242d","observation_id":"67d11e9e-1ca9-432a-b245-bb50afbdded4","resolution":{"observed_at":"2026-08-10T14:50:47.665592Z","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-10T14:50:48.275114Z","title":null,"venue":null,"work_id":"bbc54f8c-da62-43b1-a93f-1a773c4895e2","year":2018},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.671138Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:42ca5fa881a84f80e0e3926100e54ca85e9088a6e87a8b04d07858a21a31a560","observation_id":"06c74f31-ce02-48f1-9f9e-d44ffb429021","resolution":{"observed_at":"2026-08-10T14:50:48.280205Z","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-10T14:50:48.258451Z","title":null,"venue":null,"work_id":"aafdabdd-62cd-4187-b08e-3a560401e286","year":2020},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.675918Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:42e755be3c15e761beda6ff2e020b52ce0db415dd0e2aec77475a4c1025cad01","observation_id":"240c0eff-9ac3-41a1-bfa1-f66d052b1e95","resolution":{"observed_at":"2026-08-10T14:50:48.263474Z","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-10T14:50:48.242668Z","title":null,"venue":null,"work_id":"f285a895-4854-4cb4-b685-5b264df83bb2","year":2016},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.680847Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:ece6f82c52ca83d0883773597954cfe3035993ec1acfc497b0409a4639fd8126","observation_id":"0bf3e3d5-086d-48fc-a6cb-67c3348d1292","resolution":{"observed_at":"2026-08-10T14:50:48.247588Z","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-10T14:50:48.225904Z","title":null,"venue":null,"work_id":"b7670a37-0bd7-49a6-92ce-cb04a6ee9ec3","year":2016},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.685588Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:e1e68c6fd17230b5685b9cb578f3c5b915a453187a2b2d4340957ce741f6f2b0","observation_id":"7afe3766-ee25-4f6d-9efa-831a6298a7c2","resolution":{"observed_at":"2026-08-10T14:50:48.231529Z","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":"2408.11646","last_updated":"2025-01-14T18:34:12Z","snapshot_observed_at":"2026-08-10T07:32:51.251682Z","submitted_at":"2024-08-21T14:17:24Z","title":"Mathematical Information Retrieval: Search and Question Answering","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.11646","snapshot_observed_at":"2026-08-10T14:50:47.690558Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.690558Z"},"links":{"cited_paper":"/paper/2408.11646","citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:924001186068b5a734886b38c2dba1a40740508af83962135f52e77fb33c27cd","observation_id":"8927ae0d-5777-4cf2-9554-e6235c69e7f7","resolution":{"observed_at":"2026-08-10T14:50:47.690558Z","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-10T14:50:48.209227Z","title":null,"venue":null,"work_id":"4375effd-2788-4284-825c-5a3c82b32bda","year":2024},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.695994Z"},"links":{"citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:ade550cd6bb585ed3c41f61027f503649576e1b0a890de2d846d6f4648946723","observation_id":"d0299956-9a5f-40ca-9d2e-ce809feb1943","resolution":{"observed_at":"2026-08-10T14:50:48.214274Z","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"}}],"paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","latest_version":2,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions"},"reference_resolution":{"displayed":59,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":55,"verified_exact":3,"verified_fuzzy":0},"total_outbound_references":59},"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 11 August 2026, this Paper Citation Record lists 59 of 59 outbound references and 0 inbound Pith citation observations for arXiv:2501.14951."}