Lexicographic Ranking Supermartingales with Lazy Lower Bounds.
Toru TakisakaLibo ZhangChangjiang WangJiamou LiuPublished in: CAV (3) (2024)
Keyphrases
- lower bound
- upper bound
- ranking algorithm
- branch and bound
- branch and bound algorithm
- learning to rank
- vc dimension
- web search
- ranked list
- objective function
- lower bounding
- np hard
- linear programming relaxation
- combinatorial optimization
- upper and lower bounds
- optimal solution
- randomly generated problems
- optimal cost
- information retrieval
- user feedback
- worst case
- decision trees
- link analysis
- ranking functions
- information retrieval systems
- rank aggregation
- rank order
- active learning
- feature selection