To ensure formal correctness we chose a deep embedding of the specification language inside the proof assistant, so each construct became explicit data we could reason about.

The clinic published a guide for clinicians on how to treat patients who engage in self-embedding, a dangerous form of self-harm involving the insertion of foreign objects into tissue or muscle.

Understanding the Yoneda embedding is essential for many constructions in category theory.

Yoneda embeddings provide a powerful way to study objects by representing them as functors into Set.

Researchers found that shallow embeddings performed well on tasks requiring minimal contextual understanding.

Researchers use deep embeddings to measure semantic similarity between sentences.

The engineer optimized the embedded system to meet the strict real-time requirements of the industrial controller.

The engineer optimized the embedded systems to reduce power consumption without sacrificing performance.