Supermartingales, Ranking Functions and Probabilistic Lambda Calculus.
Andrew Kenyon-RobertsC.-H. Luke OngPublished in: LICS (2021)
Keyphrases
- ranking functions
- lambda calculus
- learning to rank
- web search
- web search engines
- document retrieval
- ranking algorithm
- programming language
- supervised learning
- probabilistic model
- predicate calculus
- higher order
- information retrieval
- expressive power
- general purpose
- feature set
- database query languages
- query language