English
Related papers

Related papers: Semantic Search over 9 Million Mathematical Theore…

200 papers

Search has for a long time been an important tool for users to retrieve information. Syntactic search is matching documents or objects containing specific keywords like user-history, location, preference etc. to improve the results.…

Computation and Language · Computer Science 2020-02-26 Arijit Das , Diganta Saha

Exploratory search aims to guide users through a corpus rather than pinpointing exact information. We propose an exploratory search system based on hierarchical clusters and document summaries using sentence embeddings. With sentence…

Computation and Language · Computer Science 2020-07-23 Austin Silveria

This paper evaluates the performance of a large language model (LLM) based semantic search tool relative to a traditional keyword-based search for data discovery. Using real-world search behaviour, we compare outputs from a bespoke semantic…

Information Retrieval · Computer Science 2026-01-28 Mark Green , Maura Halstead , Caroline Jay , Richard Kingston , Alex Singleton , David Topping

In the past few decades, there has been an explosion in the amount of available data produced from various sources with different topics. The availability of this enormous data necessitates us to adopt effective computational tools to…

Computation and Language · Computer Science 2022-12-20 Mina Samizadeh

Scientific document retrieval is a critical task for enabling knowledge discovery and supporting research across diverse domains. However, existing dense retrieval methods often struggle to capture fine-grained scientific concepts in texts…

Information Retrieval · Computer Science 2026-01-27 Wonbin Kweon , Runchu Tian , SeongKu Kang , Pengcheng Jiang , Zhiyong Lu , Jiawei Han , Hwanjo Yu

Classification is a common AI problem, and vector search is a typical solution. This transforms a given body of text into a numerical representation, known as an embedding, and modern improvements to vector search focus on optimising speed…

Information Retrieval · Computer Science 2025-06-04 Lee Harris

Decoder transformers have continued increasing in scale reaching hundreds of billions of parameters. Due to their scale the same decoder sets state-of-the-art results on various language tasks via prompting or fine-tuning. Yet, these large…

Computation and Language · Computer Science 2022-08-08 Niklas Muennighoff

This paper creates a paradigm shift with regard to the way we build neural extractive summarization systems. Instead of following the commonly used framework of extracting sentences individually and modeling the relationship between…

Computation and Language · Computer Science 2020-04-21 Ming Zhong , Pengfei Liu , Yiran Chen , Danqing Wang , Xipeng Qiu , Xuanjing Huang

The search of information in large text repositories has been plagued by the so-called document-query vocabulary gap, i.e. the semantic discordance between the contents in the stored document entities on the one hand and the human query on…

Information Retrieval · Computer Science 2020-04-22 Bhawani Selvaretnam , Mohammed Belkhatir

While digitized corpora have transformed the study of intellectual transmission, current methods rely heavily on lexical text reuse detection, capturing verbatim quotations but fundamentally missing paraphrases and complex implicit…

Computation and Language · Computer Science 2026-05-13 Yu Wu , Ananth Mahadevan , Filip Ginter , Michael Mathioudakis , Mikko Tolonen

Semantic code search is about finding semantically relevant code snippets for a given natural language query. In the state-of-the-art approaches, the semantic similarity between code and query is quantified as the distance of their…

Software Engineering · Computer Science 2022-01-14 Jian Gu , Zimin Chen , Martin Monperrus

We propose a novel method for evaluating the performance of a content search system that measures the semantic match between a query and the results returned by the search system. We introduce a metric called "on-topic rate" to measure the…

Information Retrieval · Computer Science 2024-10-30 Chujie Zheng , Jeffrey Wang , Shuqian Albee Zhang , Anand Kishore , Siddharth Singh

Building machines that can understand text like humans is an AI-complete problem. A great deal of research has already gone into this, with astounding results, allowing everyday people to discuss with their telephones, or have their reading…

Information Retrieval · Computer Science 2017-09-13 Christina Lioma

Scientists, governments, and companies increasingly publish datasets on the Web. Google's Dataset Search extracts dataset metadata -- expressed using schema.org and similar vocabularies -- from Web pages in order to make datasets…

Information Retrieval · Computer Science 2020-06-15 Omar Benjelloun , Shiyu Chen , Natasha Noy

We investigate how large language models can be used as research tools in scientific computing while preserving mathematical rigor. We propose a human-in-the-loop workflow for interactive theorem proving and discovery with LLMs. Human…

Human-Computer Interaction · Computer Science 2025-12-12 Chenyi Li , Zhijian Lai , Dong An , Jiang Hu , Zaiwen Wen

Text search based on lexical matching of keywords is not satisfactory due to polysemous and synonymous words. Semantic search that exploits word meanings, in general, improves search performance. In this paper, we survey WordNet-based…

Computation and Language · Computer Science 2018-07-17 Vuong M. Ngo , Tru H. Cao , Tuan M. V. Le

Semantic search technology has received more attention in the last years. Compared with the keyword based search, semantic search is used to excavate the latent semantics information and help users find the information items that they want…

Information Retrieval · Computer Science 2014-06-30 Yinglong Ma , Moyi Shi

This project investigated new approaches and technologies to enhance the accessibility of mathematical content and its semantic information for a broad range of information retrieval applications. To achieve this goal, the project addressed…

Information Retrieval · Computer Science 2023-05-15 Bela Gipp , André Greiner-Petter , Moritz Schubotz , Norman Meuschke

Introduction: Semantic search, which retrieves documents based on conceptual similarity rather than keyword matching, offers substantial advantages for retrieval of clinical information. However, deploying semantic search across entire…

Semantic code search is the task of retrieving relevant code snippet given a natural language query. Different from typical information retrieval tasks, code search requires to bridge the semantic gap between the programming language and…

Computation and Language · Computer Science 2022-01-28 Chen Wu , Ming Yan