cs.IR 2403.13310

A Semantic Search Engine for Mathlib4

Semantic search engine for mathlib4 using large language models and vector similarity, achieving 50%+ improvement over baselines.

Guoxiong Gao, Haocheng Ju, Jiedong Jiang et al.

2024-03-20 39
cs.IR 2403.06789

SPLADE-v3: New baselines for SPLADE

SPLADE-v3 achieves over 40 MR R@10 on MS MARCO, improves out-of-domain results by 2%, surpassing BM25 and SPLADE++ via training innovations.

Carlos Lassance, Hervé Déjean, Thibault Formal et al.

2024-03-11 33
cs.IR 2403.02692

Uplift Modeling for Target User Attacks on Recommender Systems

Proposes Uplift-guided Budget Allocation (UBA) for target user attacks, estimating heterogeneous treatment effects via path number proxies to optimize fake user budgets.

Wenjie Wang, Changsheng Wang, Fuli Feng et al.

2024-03-05 12 citations 35