🪴 Scaling Synthesis

Search IconIcon to open search

incremental formalization

Last updated April 28, 2022

Authored by:: P- Brendan Langen

Incremental formalization is a powerful design pattern for overcoming risks of formality, as described in R- Formality Considered Harmful. C- Synthesis tools need to support incremental formalization. Information is added in an informal fashion to begin, before formalizing once the task becomes clearer. C- Context is necessary for knowledge reuse, but this is difficult before we understand the task at hand.

This is a similar approach to P- Tiago Forte’s progressive summarization.