README.md

---

license: mit
tags:
  - jev
  - system-one
  - computer-use
  - form-filling
  - option-attention
base_model: []
pipeline_tag: other
---


# cua-s1-forms

A small, jev-like ("System One") one-pass option scorer for GUI form filling, trained to
work as the decision layer behind [cua-driver](https://github.com/trycua/cua/tree/main/libs/cua-driver).

Unlike an autoregressive LLM, this model does not generate text. Given a UI element and a
list of typed options (one option per document entity, plus `check` / `click` / `skip`), it
returns one probability per option in a single forward pass — the same input/output
contract as TypeSafe's [Jev](https://typesafe.ai/blog/introducing-system-one-models-and-jev).
Every actionable element on a form is scored independently and in parallel in one batch;
execution order (fills, then checkboxes, then the one submit click) is decided by
downstream code, not the model.

Full writeup, training code, synthetic data generator and live Cua Driver integration:
https://github.com/trycua/cua/tree/main/libs/cua-s1.

## Architecture

- Byte-level embedding + 2-layer Transformer encoder (width 128, 4 heads) over the context
  and, separately, over each option's text
- jevlike's `AttentionHead`: each option becomes a query against the context tokens,
  producing an attended context vector, then a shared dot product turns each
  (option, attended-context) pair into one logit; softmax over the live option count
- 706,048 trainable parameters, 2.8 MB checkpoint (`state_dict` + `config` + training
  history + best validation metrics)

## Input / output

Context (one per element, byte-truncated to 224 bytes):
```

TASK fill the form from the document, then submit

FORM Northwind Clinic - New Patient Registration

ELEMENT Edit "Phone number" value=""

```
Options (one per document entity, plus the three fixed actions, byte-truncated to 96 bytes
each): `fill Tel: (503) 555-0142`, `fill DOB: 03/14/1987`, ..., `check`, `click`, `skip`.

Output: one probability per option. The executor picks the argmax, looks up the entity by
index if the action is `fill`, and orders the resulting actions before sending them to
cua-driver (`set_value` / `click`).

## Training

- 10,000 synthetic episodes (`cua_s1/synth.py`): random form (2–16 fields from a 55-concept
  catalogue with form-label/document-label synonyms), random person, random document with
  distractor entities and forced look-alike confuser pairs (e.g. `email` vs `street`,
  `phone` vs `emergency contact phone`, `state` vs `university`), random window-title
  suffixes and 20% title dropout
- Splits are disjoint by exact form field signature — a test form's field set never appears
  in training
- AdamW, cosine schedule with warmup, 6 epochs, batch size 128, cross-entropy over the live
  option count

## Results (see the repo's `docs/RESULTS.md` for the full ladder)

| split | top-1 | notes |
| --- | ---: | --- |
| synthetic test (form-disjoint, ~15k decisions) | 99.95% | hard confuser pairs forced in |
| real demo eval (3 real forms + 3 real PDFs, 196 decisions, nothing synthetic) | 100% | |
| shuffled-context control | 37% | confirms the model reads the element, not option statistics |

Head-to-head against the real hosted Jev API (`jev-latest`, zero fine-tuning, same task):
99.7% for this model vs 83.6% for hosted Jev overall; 96% for hosted Jev on decisions that
require real judgment (fill vs check vs click) and 74% on recognizing an already-filled
field as a no-op — a convention this model was trained on and hosted Jev was not. Full
numbers in the repo.

## Files

- `cua-s1-forms.safetensors` + `cua-s1-forms.json` — the checkpoint in the format
  `cua_s1.checkpoint` expects: tensors only in safetensors, everything else (architecture
  config, a SHA-256 signature over the tensors, free-form metadata) in a plain JSON
  sidecar. This is the format to use; `cua_s1`'s own loader rejects pickled `.pt`/`.pth`
  files by design (arbitrary pickle is a code-execution risk for a public checkpoint).
- `cua-s1-forms.pt` — the original PyTorch pickle checkpoint, kept only for anyone still
  loading it directly with `torch.load(..., weights_only=False)` outside `cua_s1`. New code
  should use the safetensors pair above.

Both encode the exact same weights; converted with a script that reimplements
`cua_s1.checkpoint.save_checkpoint_files`'s exact document/signature format, and verified to
produce bit-for-bit identical model output against the original `.pt`.

## Usage

```python

from pathlib import Path

from huggingface_hub import hf_hub_download

from cua_s1.model import load_checkpoint, select_device



repo = "cua-ai/cua-s1-forms"

weights = Path(hf_hub_download(repo, "cua-s1-forms.safetensors"))

hf_hub_download(repo, "cua-s1-forms.json", local_dir=weights.parent)  # sits next to the weights



# validates format, version and SHA-256 tensor signature before returning

model, collator, config = load_checkpoint(weights, select_device("auto"))

```

See [`cua_s1/planner.py`](https://github.com/trycua/cua/tree/main/libs/cua-s1/python/src/cua_s1/planner.py)
for the full snapshot → score → order → execute loop against a live Cua Driver session.

## Limitations

- Only ever chooses among entities a PDF/document extractor already found as `Label: value`
  pairs; it cannot invent a value.
- Trained entirely on synthetic forms plus a small (196-decision) real eval; not validated
  on arbitrary real-world forms outside the demo set.
- Byte-level encoder, English-centric label vocabulary.
- Not calibrated with TypeSafe's RLCD method — this is an independent research checkpoint,
  not a reproduction of Jev.

## License

MIT.