The pipeline
Diagram Example The way back The autoencoder → Training loop How Mova is trained → Text → tokens Tokens → tree Tree → frames Frames → world World → answer Learning And back
Learning: the training loop
One story through every stage
The text
A three-sentence story and a question about it.
Mary went to the kitchen. She picked up the apple. Then Mary went to the garden.
Where is the apple?
Text → tokens
Each sentence is cut into tokens; the gap before every token is kept, so the text can come back byte for byte (roundtrip probe).
tokens Mary | went | to | the | kitchen | .
tokens She | picked | up | the | apple | .
tokens Then | Mary | went | to | the | garden | .
Tokens → tree
The tokens' lemmas, parts of speech (UPOS and the Penn tag) and features come with them from the tagger; the tree adds each token's head and relation: a Universal Dependencies tree in CoNLL-U (en annotate; the second sentence). SpaceAfter=No on the full stop is the parser's view of one sentence alone; the space between sentences is kept by the tokens, as the gap before the next sentence's first word.
# text = She picked up the apple.
1 She she PRON PRP Case=Nom|Gender=Fem|Number=Sing|Person=3|PronType=Prs 2 nsubj _ _
2 picked pick VERB VBD Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin 0 root _ _
3 up up ADP RP _ 2 compound:prt _ _
4 the the DET DT Definite=Def|PronType=Art 5 det _ _
5 apple apple NOUN NN Number=Sing 2 obj _ SpaceAfter=No
6 . . PUNCT . _ 2 punct _ SpaceAfter=No
Tree → frames
The tree is read into frames: the event, who did it, to what, where. «She» is already resolved to Mary (roundtrip probe). A frame line shows the roles only; the frame also keeps the tense, the words around its roles («to the») and the link to the clause before («Then»), and the frames line is the sentence said back from the frame alone, exactly.
frame Event Mary go place=kitchen
frames Mary went to the kitchen.
frame Event Mary(She) pick up patient=apple
frames She picked up the apple.
frame Event Mary go place=garden
frames Then Mary went to the garden.
Frames → world
The frames of the story become one world: its entities, and the line of its events with roles as ids (roundtrip probe). The question reader keeps the state it answers from: where each person is, who holds what, where each thing has been (world babi-probe --world).
world 4 entities, 3 events
entity Mary: named, singular, she
entity apple: common, singular
entity garden: common, singular
entity kitchen: common, singular
event 1: Event go agent=Mary place=kitchen
event 2: Event pick up agent=Mary patient=apple
event 3: Event go agent=Mary place=garden
mary is in the garden
mary carries apple
apple is held by mary
apple has been in: kitchen → garden
World → answer
The question is answered from the world, with its reason: the reason names the apple's holder («apple in mary»), and where the holder is comes from the world's state («mary is in the garden», above), so the apple is in the garden (world babi-probe).
? Where is the apple? → ("garden", "apple in mary")
And back
The world is written back as text. Without its residual, the third sentence comes back with «she» for «Mary»; the residual holds that one item, a 1-bit flag (say the name, which the world has), and with it the world gives every frame back exactly. The tokens, the tree and the frames of these three sentences need no residual (each of their lines above says its sentence back as it was); in longer texts they do, as the table below shows (roundtrip probe).
residual world pron/name: 1 items, 1 bits: agent Mary: the name, where the generator would say «She» (1 bit: a flag)
exact world + residual → frames: equal
world → «Mary went to the kitchen.» (text «Mary went to the kitchen.»)
world → «She picked up the apple.» (text «She picked up the apple.»)
world → «Then she went to the garden.» (text «Then Mary went to the garden.»)
The way back: world → frames → tree → text
Mova does not only read. Every layer has a decoder that goes the other way: the world is said as frames (a referring-expression generator chooses a name or a pronoun), the frames are realized as a tree (the verb group from the frame's tense, aspect, voice and modality; the roles in their places with their prepositions), the tree is ordered and inflected into tokens, and the tokens are joined into text. Whatever a layer cannot give back is stored beside it as a residual, put in a class (order, punctuation, a pronoun or a name, a dropped word, …) and counted in bits. With every residual, whole books come back byte for byte; that is the gate.
In detail, with every class, gate and control and what the residual asks for next: the autoencoder.
Why it matters. The residual is an honest measure of each layer: what it does not describe shows up as bits, by class, with examples. It ranks the next change to make, and a change that does not shrink the residual has not helped. It also keeps the reader honest: a world that only looks right cannot give its text back.
| layer | residual, bits a token | what it is mostly |
|---|---|---|
| text ↔ tokens | 0–0.09 | line wraps of a book |
| tokens ↔ tree | 1.1–5.1 | word order, typography, contractions |
| tree ↔ frames | 6.0–8.6 | punctuation, words the frames do not keep, order |
| frames ↔ world | 1.3–2.1 | which pronoun, links to frames the world drops |
The weakest link. Tree ↔ frames leaves the most behind, 6.0–8.6 bits a token, against 1.1–5.1 for the tree below it and 1.3–2.1 for the world above: the frames keep the events and their roles but not yet the punctuation, the function words around them or their order. By the rule above it is the next target.
Training: a loop
The small models learn round after round (the loop in the diagram; code: tools/cycle):
- Drafts. Mova's own small model parses new sentences: the draft tree.
- Witnesses. Open neural parsers parse the same sentences.
- Agreement.
treeagreevotes the draft with the witnesses into one agreed tree, with its features and lemmas. - The teacher checks. A large model, as teacher, gets the agreed draft (never a bare sentence) and corrects it; every correction passes the UD gates, and the open parsers check it again.
- The parse database. The checked trees join the corpus of agreed trees.
- The trainer. The small model is retrained on it (a warm start, every round) and drafts the next round.
Where a large model touches the pipeline. At two points, both in training: as the teacher of trees (step 4 above), and as the teacher of pragmatics, writing silver labels for the pragmatics classifiers, which pass their own gates before anything learns from them. It never answers: at answer time every stage above is Mova's own deterministic code and its trained small models, and the reason given with an answer comes from the world, not from a model's text.
Text → tokens
The text is cut into sentences and tokens, every space and mark kept, and each token gets its lemma, part of speech and features.
takestext: every byte of it
givestokens: the forms, the gap before each, the sentence breaks; each with its lemma, part of speech and features
codeen/src/tok.rs en/src/tag.rs en/src/ptag.rs
Measure: the text back byte for byte from the tokens: 0–0.09 bits a token of residual (2026-10-18); token, sentence-boundary and tagging accuracy not yet reported
Implements 2 · the code stands on it, or tried it
- TnT – A Statistical Part-of-Speech Tagger — Brants 2000 measured, gain
- A Good Part-of-Speech Tagger in about 200 Lines of Python — Honnibal 2013
Source of rules / background 2 · hand-written rules and knowledge taken from it, or reading behind a decision
- Part-of-Speech Tagging Guidelines for the Penn Treebank Project (3rd Revision) — Santorini 1990 rule source
- Unsupervised Multilingual Sentence Boundary Detection (Punkt) — Kiss 2006
Tokens → tree
Each sentence becomes a dependency tree in the style of Universal Dependencies: who depends on whom, and how. A grammar expert system checks the tree with hand-written rules.
takestokens
givesa Universal Dependencies tree per sentence (CoNLL-U): head and relation of every token
codeen/src/parse.rs en/src/expert.rs gparse
Measure: LAS on held-out treebanks: 85.7 on EWT (the English Web Treebank), 88.5 on the school's agreed test (2026-10-15)
Old grammars as a source of rules. Many of the rules of Mova's grammar expert system come from grammars written between 1851 and 1931 — Brown 1851, Mätzner 1874, Reed 1877, Whitney 1877, Sweet 1891, Poutsma 1904, Jespersen 1914, Poutsma 1921, Jespersen 1924, Kruisinga 1925, Fowler 1926, Curme 1931 — rewritten as checks over Universal Dependencies trees, each with its source, and verified on gold treebanks. It is a rare choice: these books describe English in more detail than any treebank guideline, and what they say can be read, cited and tested.
Implements 3 · the code stands on it, or tried it
Measured against 1 · benchmarks, metrics, scoring conventions, reference results
Source of rules / background 48 · hand-written rules and knowledge taken from it, or reading behind a decision
- Universal Dependencies for Learner English — Berzak 2016 rule source
- The Grammar of English Grammars — Brown 1851 rule source
- Automatic Annotation and Evaluation of Error Types for Grammatical Error Correction — Bryant 2017 rule source
- «Are you Afraid of Ghosts?» A Proposal for Busting Predicate Ellipsis in Universal Dependencies — Corbetta 2025 rule source
- A Grammar of the English Language, Vol. III: Syntax — Curme 1931 rule source
- Identifying and Handling Cross-Treebank Inconsistencies in UD: A Pilot Study — Dönicke 2020 rule source
- Negation in Universal Dependencies — Findlay 2025 rule source
- A Dictionary of Modern English Usage — Fowler 1926 rule source
- The Cambridge Grammar of the English Language — Huddleston 2002 rule source
- A Modern English Grammar on Historical Principles, Parts II–VI — Jespersen 1914 rule source
- The Philosophy of Grammar — Jespersen 1924 rule source
- A Handbook of Present-Day English — Kruisinga 1925 rule source
- Annotating Second Language in Universal Dependencies: a Review of Current Practices and Directions for Harmonized Guidelines — Masciolini 2025 rule source
- An English Grammar: Methodical, Analytical, and Historical — Mätzner 1874 rule source
- A Grammar of Late Modern English — Poutsma 1904 rule source
- The Characters of the English Verb (1921); The Infinitive, the Gerund and the Participles of the English Verb (1923) — Poutsma 1921 rule source
- Higher Lessons in English (1877/1886) and Graded Lessons in English (1877) — Reed 1877 rule source
- Mischievous nominal constructions in Universal Dependencies — Schneider 2021 rule source
- A New English Grammar, Logical and Historical — Sweet 1891 rule source
- Essentials of English Grammar for the Use of Schools — Whitney 1877 rule source
Background reading: 28 works
- Estimating POS Annotation Consistency of Different Treebanks in a Language — Aggarwal 2020
- The BEA-2019 Shared Task on Grammatical Error Correction — Bryant 2019
- Classifying Syntactic Errors in Learner Language — Choshen 2020
- Syntax of referents of relative markers: Evidence from a corpus of learner English — Czerniak 2025
- ICLE-RC: International Corpus of Learner English for Relative Clauses — Das 2025
- Universal Dependencies — de Marneffe 2021
- Correcting Dependency Annotation Errors — Dickinson 2009
- On Grammaticality in the Syntactic Annotation of Learner Language — Dickinson 2015
- Assessing the Agreement Competence of Large Language Models — García 2025
- LLM Dependency Parsing with In-Context Rules — Ginn 2025
- Coordinate Constructions in English Enhanced Universal Dependencies: Analysis and Computational Modeling — Grünewald 2021
- Collocational bootstrapping: A hypothesis about the learning of subject-verb agreement in humans and neural networks — Hobbs 2026
- Minor changes make a difference: a case study on the consistency of UD-based dependency parsers — Kalpakchi 2021
- Targeted Syntactic Evaluation for Grammatical Error Correction — Koyama 2025
- A Dependency Treebank of Spoken Second Language English — Kyle 2022
- Annotating Coordination in the Penn Treebank — Maier 2012
- The Stanford Typed Dependencies Representation — de Marneffe 2008
- Assessing the Annotation Consistency of the Universal Dependencies Corpora — de Marneffe 2017
- Step-by-step Instructions and a Simple Tabular Output Format Improve the Dependency Parsing Accuracy of LLMs — Matsuda 2025
- Probing the Dynamics of Syntactic Ability Acquisition Throughout LLM Pretraining — Matsuda 2026
- All Roads Lead to UD: Converting Stanford and Penn Parses to English Universal Dependencies with Multilayer Annotations — Peng 2018
- Conjunct Lengths in English, Dependency Length Minimization, and Dependency Structure of Coordination — Przepiórkowski 2023
- Does Universal Dependencies need a parsing representation? An investigation of English — Silveira 2015
- BLiMP: The Benchmark of Linguistic Minimal Pairs for English — Warstadt 2020
- Subject-verb agreement with Seq2Seq transformers: Bigger is better, but still not best — Wilson 2023
- Assessing the influence of attractor-verb distance on grammatical agreement in humans and language models — Zacharopoulos 2023
- Are UD Treebanks Getting More Consistent? A Report Card for English UD — Zeldes 2023
- Encoding Logical Relations of Chinese Complex Sentences within the Universal Dependencies Framework — Zhu 2026
Tree → frames
The tree is read into frames: who did what to whom, when, where, why, with the speech act and the VerbNet class; pronouns are resolved to what they stand for.
takestrees, and the discourse so far
givesframes: the event, its verb and VerbNet class, its roles (agent, patient, recipient, place …), tense and modality, the links between clauses; pronouns resolved
codeprag/src/frames.rs prag/src/vn.rs coref
Measure: frame F1 against agreed frames: not yet measured (no agreed frames yet)
Implements 8 · the code stands on it, or tried it
- CogNIAC: A Discourse Processing Engine — Baldwin 1995
- CogNIAC: high precision coreference with limited knowledge and linguistic resources — Baldwin 1997
- Simple Coreference Resolution with Rich Syntactic and Semantic Features — Haghighi 2009
- Resolving Pronoun References — Hobbs 1978 measured, gain
- Deterministic Coreference Resolution Based on Entity-Centric, Precision-Ranked Rules — Lee 2013 measured, gain
- Udapi: Universal API for Universal Dependencies — Popel 2017
- A Multi-Pass Sieve for Coreference Resolution — Raghunathan 2010 measured, gain
- VerbNet: A Broad-Coverage, Comprehensive Verb Lexicon — Kipper Schuler 2005
Measured against 8 · benchmarks, metrics, scoring conventions, reference results
- Algorithms for Scoring Coreference Chains — Bagga 1998 measured, the metric
- On Coreference Resolution Performance Metrics — Luo 2005 measured, the metric
- CorefUD 1.0: Coreference Meets Universal Dependencies — Nedoluzhko 2022
- Findings of the Fourth Shared Task on Multilingual Coreference Resolution: Can LLMs Dethrone Traditional Approaches? — Novák 2025
- Findings of the Fifth Shared Task on Multilingual Coreference Resolution: Expanding Datasets for Long-Range Entities — Novák 2026
- Scoring Coreference Partitions of Predicted Mentions: A Reference Implementation — Pradhan 2014 measured, the metric
- A Model-Theoretic Coreference Scoring Scheme — Vilain 1995 measured, the metric
- The Proposition Bank: An Annotated Corpus of Semantic Roles — Palmer 2005
Source of rules / background 7 · hand-written rules and knowledge taken from it, or reading behind a decision
- Politeness: Some Universals in Language Usage — Brown 1987 rule source
- An Argument for Basic Emotions — Ekman 1992 rule source
- Hedging in Scientific Research Articles — Hyland 1998 rule source measured, compared
- Hedges: A Study in Meaning Criteria and the Logic of Fuzzy Concepts — Lakoff 1973 rule source
- Speech Acts: An Essay in the Philosophy of Language — Searle 1969 rule source
- An Algorithm for Pronominal Anaphora Resolution — Lappin 1994
- The Berkeley FrameNet Project — Baker 1998
Frames → world
The frames of a text become one world: its entities, their states and the events between them.
takesframes
givesthe world: entities by id, and the line of events with roles as ids
Measure: the world's residual: 1.3–2.1 bits a token over five corpora (2026-10-18)
Implements 7 · the code stands on it, or tried it
- Categorization and Representation of Physics Problems by Experts and Novices — Chi 1981
- Learning to Solve Arithmetic Word Problems with Verb Categorization — Hosseini 2014
- COMET-ATOMIC 2020: On Symbolic and Neural Commonsense Knowledge Graphs — Hwang 2020 measured, gain
- Learning to Reason Deductively: Math Word Problem Solving as Complex Relation Extraction — Jie 2022 tried, no gain
- Solving General Arithmetic Word Problems — Roy 2015 tried, no gain
- Unit Dependency Graph and its Application to Arithmetic Word Problem Solving — Roy 2017 measured, gain and no gain
- Mapping to Declarative Knowledge for Word Problem Solving — Roy 2018
Source of rules / background 1 · hand-written rules and knowledge taken from it, or reading behind a decision
- Learning To Use Formulas To Solve Simple Arithmetic Problems — Mitra 2016 rule source
World → answer
A question is read the same way and answered from the world, with the reason for the answer.
takesthe world, and a question read as a frame
givesan answer, with the reason it holds
codeworld/src/babi.rs world/src/qa.rs qagen math
Measure: the school's tests: 38.8% right of 49 760, four options each, the strongest control (questions shuffled) 29.6% (2026-10-22)
Measured against 6 · benchmarks, metrics, scoring conventions, reference results
- Evaluating Models' Local Decision Boundaries via Contrast Sets — Gardner 2020 measured, gain
- SPARTQA: A Textual Question Answering Benchmark for Spatial Reasoning — Mirzaee 2021 measured, our score
- Are NLP Models really able to Solve Simple Math Word Problems? — Patel 2021
- StepGame: A New Benchmark for Robust Multi-Hop Spatial Reasoning in Texts — Shi 2022 measured, our score
- Towards AI-Complete Question Answering: A Set of Prerequisite Toy Tasks — Weston 2015 measured, our score
- Fantastic Questions and Where to Find Them: FairytaleQA – An Authentic Dataset for Narrative Comprehension — Xu 2022
Source of rules / background 1 · hand-written rules and knowledge taken from it, or reading behind a decision
Learning
The small models learn in a loop: they draft, open parsers witness, the drafts are agreed, a teacher checks them, and the models retrain on the result. A gain counts only when two runs give identical numbers and it shows on the two-fold check (each half of the training set held out in turn); the test set runs once per release.
takesdrafts of the small models, open parsers, the teacher's corrections
givesagreed trees and labels; retrained models
codetools/cycle tools/treeagree annot gparse train
Measure: how much of the small model's draft the teacher keeps: 98.9 UAS, 98.5 LAS on the newest round of tales (2026-10-23)
Implements 11 · the code stands on it, or tried it
- Instance-Based Learning Algorithms — Aha 1991 measured, compared
- Cutting Through the Noise: Boosting LLM Performance on Math Word Problems — Anantheswaran 2024 tried, no gain: training on problems with distractors
- Curriculum Learning — Bengio 2009 tried, no gain
- Bagging Predictors — Breiman 1996
- Discriminative Reranking for Natural Language Parsing — Collins 2000 measured, gain
- Discriminative Training Methods for Hidden Markov Models: Theory and Experiments with Perceptron Algorithms — Collins 2002 measured, gain
- IGTree: Using Trees for Compression and Classification in Lazy Learning Algorithms — Daelemans 1997 measured, compared
- Structured Perceptron with Inexact Search — Huang 2012 tried, no gain
- C4.5: Programs for Machine Learning — Quinlan 1993
- How Is LLM Reasoning Distracted by Irrelevant Context? An Analysis Using a Controlled Benchmark — Yang 2025 tried, no gain: training on problems with distractors
- STaR: Bootstrapping Reasoning With Reasoning — Zelikman 2022 tried, no gain
Measured against 1 · benchmarks, metrics, scoring conventions, reference results
Source of rules / background 3 · hand-written rules and knowledge taken from it, or reading behind a decision
- Parsing the Switch: LLM-Based UD Annotation for Complex Code-Switched and Low-Resource Languages — Kellert 2025 rule source
- Pre-annotation Matters: A Comparative Study on POS and Dependency Annotation for an Alsatian Dialect — Bernhard 2025
- Evaluating large language models for the tasks of PoS tagging within the Universal Dependency framework — Machado 2024
And back
The world is written back into text, byte for byte with its residual: what each layer loses is measured.
takesthe world and its residual
givesframes, the tree, the tokens and the text again, byte for byte
codetools/roundtrip en/src/lin.rs en/src/morph.rs tools/translate
Measure: residual bits a token at each layer, in the table below (2026-10-18)
Background reading 9 · hand-written rules and knowledge taken from it, or reading behind a decision
- The First Surface Realisation Shared Task: Overview and Evaluation Results — Belz 2011
- The First Multilingual Surface Realisation Shared Task (SR'18): Overview and Evaluation Results — Mille 2018
- Underspecified Universal Dependency Structures as Inputs for Multilingual Surface Realisation — Mille 2018
- The Second Multilingual Surface Realisation Shared Task (SR'19): Overview and Evaluation Results — Mille 2019
- BinLin: A Simple Method of Dependency Tree Linearization — Puzikov 2018
- Generating High-Quality Surface Realizations Using Data Augmentation and Factored Sequence Models — Elder 2018
- Head-First Linearization with Tree-Structured Representation — Yu 2019
- IMSurReal: IMS at the Surface Realization Shared Task 2019 — Yu 2019
- IMSurReal Too: IMS in the Surface Realization Shared Task 2020 — Yu 2020
This page in Markdown → https://md.mova.elamur.ai/free/en/pipeline/