deep embedding
Jump to navigation
Jump to search
English[edit]
Noun[edit]
deep embedding (plural deep embeddings)
- (logic, uncountable) The act of representing one language, typically a logic or programming language, with another by modeling expressions in the former as data in the latter.
- (logic, countable) A specific such representation.