Alexey Gavrilov — research publications, guides, and notes

Predictability requires an observable contract stated before generation: what may change, what must remain stable, how each property will be measured, and when an output will be rejected.

Separate transformation proposal from trusted execution and verification.

Only the property explicitly enforced by the constraint.

Define protected and editable regions before generation, reuse or constrain the protected representation, generate only candidate changes, and reject outputs that alter protected code or fail task-specific checks.

Evaluate source text, codec reconstructions, token-space outputs, and decoded code-space outputs with the same external scorer and preprocessing.

Score original text, paired codec reconstructions, and final generated text with the same external evaluator.

Code editing is not merely code generation with a shorter prompt: it combines an intended change with a preservation contract.

Research question: How can a generative model modify selected parts of a program while preserving chosen elements of its coarse structure?

Research question: How can quality loss in a compressed text-generation pipeline be attributed separately to the codec and to the latent generator?