Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages.

Shuvendu K. Lahiri

Published in: CoRR (2024)

Keyphrases

user intent
web search
user behavior
fine grained
query logs
query reformulation
databases
multi faceted
information systems
user interests
multi attribute
search experience
information retrieval
natural language
query language
user interaction
web search engines
cross lingual
structured queries