{"as_of":"2026-08-09T12:03:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:59fcd51cddaf07759fd10ffe8e5db0efef5d08d87c2b2172f946f0372222a7f6","coverage":[{"denominator":28,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":28,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T13:55:52.248869Z","state":"measured"},{"denominator":29,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":29,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T13:55:49.449456Z","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":[{"citation":{"cited_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.22552","snapshot_observed_at":"2026-08-02T13:55:49.449456Z","title":"For many fields, these discoveries are ex- pressedthroughmathematicalformulationsthatare tobeimplementedcomputationally","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:49.449456Z"},"links":{"cited_paper":"/paper/2607.22552","citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:bdb1af58279d05bf6cb33828d982568d464a7c2942070490588776f70adb1d79","observation_id":"b3cd946f-8277-4b41-9d05-a8dc0f35a131","resolution":{"observed_at":"2026-08-02T13:55:49.449456Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2607.22552/citation-record","integrity":"/paper/2607.22552/integrity","json":"/paper/2607.22552/citation-record.json","paper":"/paper/2607.22552"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.22552","snapshot_observed_at":"2026-08-02T13:55:49.449456Z","title":"For many fields, these discoveries are ex- pressedthroughmathematicalformulationsthatare tobeimplementedcomputationally","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:49.449456Z"},"links":{"cited_paper":"/paper/2607.22552","citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:bdb1af58279d05bf6cb33828d982568d464a7c2942070490588776f70adb1d79","observation_id":"b3cd946f-8277-4b41-9d05-a8dc0f35a131","resolution":{"observed_at":"2026-08-02T13:55:49.449456Z","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-02T13:55:49.497025Z","title":"Related NLP tasks We review the tasks that relate the most to Formula Formalization: Neural machine translation (NMT) for mathe- matics","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:49.497025Z"},"links":{"citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:79224e6507893b2bd6b33c19e1e4f36973f1d311890b57bf961f3a992d7dcce6","observation_id":"928d79b9-d22b-43aa-b567-b1604dc9985c","resolution":{"observed_at":"2026-08-02T13:55:49.497025Z","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-02T13:55:49.851499Z","title":"The main steps in this pipeline are:","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:49.851499Z"},"links":{"citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:29b6df484b49576169828a3bb616f6301aa76d5a2de5e2ab2c8a8f448c0e955c","observation_id":"195bd8b4-435c-4c72-b21c-e97ee6066466","resolution":{"observed_at":"2026-08-02T13:55:49.851499Z","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-02T13:55:50.170820Z","title":"custom−group","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:50.170820Z"},"links":{"citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:9bb378ab5d03ebf7a2ae7da6a2c6de98f89f58df519f5c7b35fce9d729032d6e","observation_id":"d58013fd-16d9-4383-8660-352a19d800c1","resolution":{"observed_at":"2026-08-02T13:55:50.170820Z","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-02T13:55:51.056529Z","title":"finite element","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:51.056529Z"},"links":{"citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:d657ab874a42d7f72d357223747dcc454ac287e43ca04e499b3fe8a3133e4f07","observation_id":"12bb29bc-d278-48b0-b6ed-ba3a6c3760e0","resolution":{"observed_at":"2026-08-02T13:55:51.056529Z","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-02T13:55:49.925178Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:49.925178Z"},"links":{"citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:d5c03fc2010090b4a86556cf7231e77129e210dd8b5fedc4d9b7e595894df6cf","observation_id":"9ae2a92b-cbb9-40fc-bf8d-8180340bde84","resolution":{"observed_at":"2026-08-02T13:55:49.925178Z","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-02T13:55:49.995655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:49.995655Z"},"links":{"citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:40b30c82c0cd7ef925795ecdef5405027a182d5f351cf12dfdf964ea6c165556","observation_id":"68625a35-ae6e-4820-9cc8-5c7d3e803470","resolution":{"observed_at":"2026-08-02T13:55:49.995655Z","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-02T13:55:50.111345Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:50.111345Z"},"links":{"citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:ff55fbe55bd5c1db3e89e0fe261dcbc55d54c2bfc4358149c8533fa7bc0dfe30","observation_id":"1171c9a5-6ca8-4da5-92c2-6dd90d6fc0c0","resolution":{"observed_at":"2026-08-02T13:55:50.111345Z","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-02T13:55:51.495494Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:51.495494Z"},"links":{"citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:bbca6111a21632a5cf58ef0794efcb612f5280e10b8bb33fdadee194b9d4d473","observation_id":"7f5151a0-8907-45a2-b1d4-94100a64e731","resolution":{"observed_at":"2026-08-02T13:55:51.495494Z","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-02T13:55:50.240997Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:50.240997Z"},"links":{"citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:aa748abdac746a7c90e4d2bd8e241e5bcc6e5d57df242aa10e3bb8df0f3338a4","observation_id":"0c4f8384-2208-4ab4-9b0a-402ad5579fc5","resolution":{"observed_at":"2026-08-02T13:55:50.240997Z","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-02T13:55:50.320216Z","title":"Proposed struc- tures that lack an exact match in the original source are discarded","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:50.320216Z"},"links":{"citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:8fae42d3b54913a85be568d6838f957c253708abf029b07ba139afc716846cd6","observation_id":"ebd0c2dc-4f6d-4bf1-84dc-b7d9ef8e97c1","resolution":{"observed_at":"2026-08-02T13:55:50.320216Z","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-02T13:55:50.400837Z","title":"For theconcepts assignment:","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:50.400837Z"},"links":{"citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:ec2d2b8024c841e3d91a566f7cfbcba3d4e817b5633710e40a27dc7b7bad8a0f","observation_id":"eda6db04-483a-43a6-852d-d066dd818e4c","resolution":{"observed_at":"2026-08-02T13:55:50.400837Z","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-02T13:55:50.612897Z","title":"For each one, it defines a unique Variable Name,atextualdescription,andaJustification for its choice (appended to the description)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:50.612897Z"},"links":{"citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:c6427b8ab030f30c4357d3d7a51ec63a4cd13efd83dab27f9c80548fd010023b","observation_id":"dd518725-e58e-482b-a271-0e9e2b2f3c96","resolution":{"observed_at":"2026-08-02T13:55:50.612897Z","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-02T13:55:50.715452Z","title":"Concepts that fail to find a specific symbol oc- currence are pruned","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:50.715452Z"},"links":{"citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:35f58f63ca07e98ef6abadd58dff4f34208293f55aa0db857ddfcd3e9a5e41a4","observation_id":"2576faff-6fca-4362-81c4-a0763dca93f3","resolution":{"observed_at":"2026-08-02T13:55:50.715452Z","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-02T13:55:50.807987Z","title":"For theSoG identification:","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:50.807987Z"},"links":{"citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:5b2128636fc2cad5b1a26a3dbb8b33cb5a59838f5271bd5f9467da93930d325a","observation_id":"0026a5f4-74df-4d3a-8c47-b8ff2cfe2470","resolution":{"observed_at":"2026-08-02T13:55:50.807987Z","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-02T13:55:50.863794Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:50.863794Z"},"links":{"citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:6139fdaeb0fa487b1137ba07cce82549a4e082aac414dcf9f003ca9f2d14bee3","observation_id":"b3d52d3f-75e0-4d24-9796-7dcc39130df2","resolution":{"observed_at":"2026-08-02T13:55:50.863794Z","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-02T13:55:50.926532Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:50.926532Z"},"links":{"citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:5960144b775373ef9b40458539240056db708a8482a895ef28ba71a1cbccdfb0","observation_id":"7ab5febf-b3cc-48aa-b819-5a80c1123f8a","resolution":{"observed_at":"2026-08-02T13:55:50.926532Z","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-02T13:55:50.979877Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:50.979877Z"},"links":{"citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:4090790f21dea3828b3f2475746c4a13bc193a9da41c21d59a625a831b9bc93f","observation_id":"9f9b4c62-adb4-4fc1-9653-89cdf784bc4d","resolution":{"observed_at":"2026-08-02T13:55:50.979877Z","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-02T13:55:51.207161Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:51.207161Z"},"links":{"citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:12f6994653bc47baf01f866824408143febf842fae351c2b36e5e416bb19f84b","observation_id":"6e0aac2e-a96b-47f0-a24e-6de10bac3b7e","resolution":{"observed_at":"2026-08-02T13:55:51.207161Z","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-02T13:55:51.286000Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:51.286000Z"},"links":{"citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:04d4eede8bef67756a96266e7dc2180049d10f2e58c7cceacadf9d74e07970aa","observation_id":"cd31f1b7-f35b-4aae-98f2-4745361ffc66","resolution":{"observed_at":"2026-08-02T13:55:51.286000Z","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-02T13:55:51.367781Z","title":"This software is proposed as a direct solution to the current scarcity of ground- truth data required for symbolic code generation in real-world research and development fields","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:51.367781Z"},"links":{"citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:d0af749fed527e5e31caddfb50b895bbf66bae6e397e39455ad5fed59b231cc0","observation_id":"d932543d-ca12-4711-a3a8-73ad31fa1515","resolution":{"observed_at":"2026-08-02T13:55:51.367781Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.13418","last_updated":"2023-08-25T15:03:36Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-08-25T15:03:36Z","title":"Nougat: Neural Optical Understanding for Academic Documents","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.13418","snapshot_observed_at":"2026-08-02T13:55:51.651013Z","title":"Valenzuela-Escárcega, Jennifer Kadowaki, Adarsh Pyarelal, and Clayton Morrison","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:51.651013Z"},"links":{"cited_paper":"/paper/2308.13418","citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:38b4ade91cd23a22d5160c28db3a98a76ddd474b23a0277a651aeb5f3259d29e","observation_id":"effa609c-a983-4ee9-9039-c36ecee7d867","resolution":{"observed_at":"2026-08-02T13:55:51.651013Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.17216","last_updated":"2024-05-27T14:35:10Z","snapshot_observed_at":"2026-08-07T11:46:33.138682Z","submitted_at":"2024-05-27T14:35:10Z","title":"Autoformalizing Euclidean Geometry","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.17216","snapshot_observed_at":"2026-08-02T13:55:52.116571Z","title":"ArXiv:2405.17216 [cs]","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:52.116571Z"},"links":{"cited_paper":"/paper/2405.17216","citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:7a13bfff9f0a71ad43f578ab418cc1021d2b71f8481e85c58542436eb0ded77d","observation_id":"cf7bb0e8-0353-4963-96f1-e50c24d14893","resolution":{"observed_at":"2026-08-02T13:55:52.116571Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2109.00110","last_updated":"2022-02-28T06:03:23Z","snapshot_observed_at":"2026-08-09T06:26:57.793642Z","submitted_at":"2021-08-31T23:21:12Z","title":"MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2109.00110","snapshot_observed_at":"2026-08-02T13:55:52.248869Z","title":"InProceedings of the 2025 Conference on Em- pirical Methods in Natural Language Process- ing, pages 1720–1738","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:52.248869Z"},"links":{"cited_paper":"/paper/2109.00110","citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:558b076b6d9c13c061e3e72d5c89885f9ff8d37fc2137c36cdc3511088fbde7d","observation_id":"4e971446-27cd-445a-a26c-b36da52406ca","resolution":{"observed_at":"2026-08-02T13:55:52.248869Z","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-02T13:55:49.712225Z","title":"The latter incorporates recommendation systems from Wikipedia and arXiv","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:49.712225Z"},"links":{"citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:476d4676b9b8c28ec149783cb0f151cfcc835e31efc57fc026c3c8eea831cb02","observation_id":"8a96a712-da91-4577-99bd-eed5d5cdc4bc","resolution":{"observed_at":"2026-08-02T13:55:49.712225Z","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-02T13:55:49.573414Z","title":"However, these resources often omit complex expressions and lack the domain specificity required for real- world applications","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:49.573414Z"},"links":{"citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:eac418dac8e78b361930fddf7187bdee5dce786fa524a8c855724d9080133bfe","observation_id":"254eecaa-3a9b-4498-b237-fe71f565dd4b","resolution":{"observed_at":"2026-08-02T13:55:49.573414Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2304.09102","last_updated":"2023-04-16T04:16:06Z","snapshot_observed_at":"2026-07-06T15:17:05.623407Z","submitted_at":"2023-04-16T04:16:06Z","title":"Solving Math Word Problems by Combining Language Models With Symbolic Solvers","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2304.09102","snapshot_observed_at":"2026-08-02T13:55:51.834913Z","title":"InProceed- ings of the 2nd Workshop on Mathematical Nat- ural Language Processing @ LREC-COLING 2024, pages 1–10","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:51.834913Z"},"links":{"cited_paper":"/paper/2304.09102","citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:57ccf7be2ecfc0a8840dd78399845ba774ad7bebed1151af88657f582651fafb","observation_id":"ef0e42dd-28da-4398-b0f0-3df8b6835c28","resolution":{"observed_at":"2026-08-02T13:55:51.834913Z","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-02T13:55:51.984723Z","title":"Nal Kalchbrenner and Phil Blunsom","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-02T13:55:51.984723Z"},"links":{"citing_paper":"/paper/2607.22552"},"observation_digest":"sha256:ed24beb726498ca826071c4631772dfc448870446525e74acd63812c55b20ae6","observation_id":"09afab03-5df0-4425-aecd-ce147bd5343b","resolution":{"observed_at":"2026-08-02T13:55:51.984723Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.22552","last_updated":"2026-05-15T13:01:27Z","latest_version":1,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-02T13:55:48.792959Z","submitted_at":"2026-05-15T13:01:27Z","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities"},"reference_resolution":{"displayed":28,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":28,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":28},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 28 of 28 outbound references and 1 inbound Pith citation observation for arXiv:2607.22552."}