A formula embedding approach for semantic similarity and relatedness between formulas.
Pankaj DadurePartha PakraySivaji BandyopadhyayPublished in: Concurr. Comput. Pract. Exp. (2022)
Keyphrases
- semantic similarity
- mathematical formulas
- propositional formulas
- semantic relatedness
- co occurrence
- similarity measure
- logical formulas
- wordnet
- cnf formula
- conjunctive normal form
- semantic information
- semantic features
- vector space model
- vector space
- boolean formula
- sentence similarity
- semantic relationships
- semantically similar
- semantic similarity computation
- word pairs
- semantic similarity measure
- visual similarity
- document similarity
- word similarity
- artificial intelligence
- word sense disambiguation
- image retrieval
- metadata