Supermartingales, Ranking Functions and Probabilistic Lambda Calculus.
Andrew Kenyon-RobertsLuke OngPublished in: CoRR (2021)
Keyphrases
- ranking functions
- lambda calculus
- learning to rank
- ranking algorithm
- document retrieval
- web search engines
- programming language
- supervised learning
- web search
- probabilistic model
- predicate calculus
- database query languages
- bayesian networks
- higher order
- complex objects
- database
- knowledge representation
- feature vectors
- program understanding