Showing cs.CRShow all
2 papers · 1 filter
cs.CR2026
Atlas: Efficient Verifiable Semantic Search
Nikolay Avramov, Hidde Lycklama, Alexander Viand +1
Semantic search is a core primitive of modern applications, powering recommender systems, web search, and retrieval-augmented generation for language models. The provider controls…
cs.CR2024
Artemis: Efficient Commit-and-Prove SNARKs for zkML
Hidde Lycklama, Alexander Viand, Nikolay Avramov +2
Ensuring that AI models are both verifiable and privacy-preserving is important for trust, accountability, and compliance. To address these concerns, recent research has focused on…