Paper Citation Record · LEDGER

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.22552 v1

Coverage vector

measured 28 of 28 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-02T13:55:52.248869Z

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-02T13:55:49.449456Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

28 of 28 outbound references displayed

verified exact0
verified fuzzy0
unresolved28
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation b3cd946f-8277-4b41-9d05-a8dc0f35a131 · outbound

This paper cites MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities.

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:49.449456Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 928d79b9-d22b-43aa-b567-b1604dc9985c · outbound

This paper cites Related NLP tasks We review the tasks that relate the most to Formula Formalization: Neural machine translation (NMT) for mathe- matics.

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities Related NLP tasks We review the tasks that relate the most to Formula Formalization: Neural machine translation (NMT) for mathe- matics

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:49.497025Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 195bd8b4-435c-4c72-b21c-e97ee6066466 · outbound

This paper cites The main steps in this pipeline are:.

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities The main steps in this pipeline are:

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:49.851499Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d58013fd-16d9-4383-8660-352a19d800c1 · outbound

This paper cites custom−group.

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities custom−group

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:50.170820Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 12bb29bc-d278-48b0-b6ed-ba3a6c3760e0 · outbound

This paper cites finite element.

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities finite element

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:51.056529Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ae2a92b-cbb9-40fc-bf8d-8180340bde84 · outbound

This paper cites an unresolved cited work.

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:49.925178Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68625a35-ae6e-4820-9cc8-5c7d3e803470 · outbound

This paper cites an unresolved cited work.

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:49.995655Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1171c9a5-6ca8-4da5-92c2-6dd90d6fc0c0 · outbound

This paper cites an unresolved cited work.

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:50.111345Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f5151a0-8907-45a2-b1d4-94100a64e731 · outbound

This paper cites an unresolved cited work.

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:51.495494Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c4f8384-2208-4ab4-9b0a-402ad5579fc5 · outbound

This paper cites an unresolved cited work.

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:50.240997Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ebd0c2dc-4f6d-4bf1-84dc-b7d9ef8e97c1 · outbound

This paper cites Proposed struc- tures that lack an exact match in the original source are discarded.

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities Proposed struc- tures that lack an exact match in the original source are discarded

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:50.320216Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eda6db04-483a-43a6-852d-d066dd818e4c · outbound

This paper cites For theconcepts assignment:.

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities For theconcepts assignment:

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:50.400837Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd518725-e58e-482b-a271-0e9e2b2f3c96 · outbound

This paper cites For each one, it defines a unique Variable Name,atextualdescription,andaJustification for its choice (appended to the description).

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities For each one, it defines a unique Variable Name,atextualdescription,andaJustification for its choice (appended to the description)

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:50.612897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2576faff-6fca-4362-81c4-a0763dca93f3 · outbound

This paper cites Concepts that fail to find a specific symbol oc- currence are pruned.

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities Concepts that fail to find a specific symbol oc- currence are pruned

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:50.715452Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0026a5f4-74df-4d3a-8c47-b8ff2cfe2470 · outbound

This paper cites For theSoG identification:.

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities For theSoG identification:

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:50.807987Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b3d52d3f-75e0-4d24-9796-7dcc39130df2 · outbound

This paper cites an unresolved cited work.

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:50.863794Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ab5febf-b3cc-48aa-b819-5a80c1123f8a · outbound

This paper cites an unresolved cited work.

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:50.926532Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f9b4c62-adb4-4fc1-9653-89cdf784bc4d · outbound

This paper cites an unresolved cited work.

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:50.979877Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e0aac2e-a96b-47f0-a24e-6de10bac3b7e · outbound

This paper cites an unresolved cited work.

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:51.207161Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd31f1b7-f35b-4aae-98f2-4745361ffc66 · outbound

This paper cites an unresolved cited work.

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:51.286000Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d932543d-ca12-4711-a3a8-73ad31fa1515 · outbound

This paper cites 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.

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities 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

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:51.367781Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation effa609c-a983-4ee9-9039-c36ecee7d867 · outbound

This paper cites Nougat: Neural Optical Understanding for Academic Documents.

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities Nougat: Neural Optical Understanding for Academic Documents

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:51.651013Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf7bb0e8-0353-4963-96f1-e50c24d14893 · outbound

This paper cites Autoformalizing Euclidean Geometry.

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities Autoformalizing Euclidean Geometry

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:52.116571Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e971446-27cd-445a-a26c-b36da52406ca · outbound

This paper cites MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics.

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:52.248869Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a96a712-da91-4577-99bd-eed5d5cdc4bc · outbound

This paper cites The latter incorporates recommendation systems from Wikipedia and arXiv.

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities The latter incorporates recommendation systems from Wikipedia and arXiv

Reference 2016

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:49.712225Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 254eecaa-3a9b-4498-b237-fe71f565dd4b · outbound

This paper cites However, these resources often omit complex expressions and lack the domain specificity required for real- world applications.

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities However, these resources often omit complex expressions and lack the domain specificity required for real- world applications

Reference 2018

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:49.573414Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef0e42dd-28da-4398-b0f0-3df8b6835c28 · outbound

This paper cites Solving Math Word Problems by Combining Language Models With Symbolic Solvers.

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities Solving Math Word Problems by Combining Language Models With Symbolic Solvers

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:51.834913Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 09afab03-5df0-4425-aecd-ce147bd5343b · outbound

This paper cites Nal Kalchbrenner and Phil Blunsom.

MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities Nal Kalchbrenner and Phil Blunsom

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-02T13:55:51.984723Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation b3cd946f-8277-4b41-9d05-a8dc0f35a131 · inbound