English
Related papers

Related papers: Semantic Search over 9 Million Mathematical Theore…

200 papers

One major problem in Natural Language Processing is the automatic analysis and representation of human language. Human language is ambiguous and deeper understanding of semantics and creating human-to-machine interaction have required an…

Computation and Language · Computer Science 2022-06-01 Neslihan Suzen , Alexander N. Gorban , Jeremy Levesley , Evgeny M. Mirkes

Large language models (LLMs) typically enhance their performance through either the retrieval of semantically similar information or the improvement of their reasoning capabilities. However, a significant challenge remains in effectively…

Artificial Intelligence · Computer Science 2026-01-05 Shuqi Liu , Bowei He , Chen Ma , Linqi Song

Sentence extraction based summarization methods has some limitations as it doesn't go into the semantics of the document. Also, it lacks the capability of sentence generation which is intuitive to humans. Here we present a novel method to…

Computation and Language · Computer Science 2014-06-06 Divyanshu Bhartiya , Ashudeep Singh

This paper addresses the limitations of traditional keyword-based search in understanding user intent and introduces a novel hybrid search approach that leverages the strengths of non-semantic search engines, Large Language Models (LLMs),…

Information Retrieval · Computer Science 2024-09-09 Aman Ahluwalia , Bishwajit Sutradhar , Karishma Ghosh , Indrapal Yadav , Arpan Sheetal , Prashant Patil

Multilingual semantic search is the task of retrieving relevant contents to a query expressed in different language combinations. This requires a better semantic understanding of the user's intent and its contextual meaning. Multilingual…

Computation and Language · Computer Science 2023-09-18 Meryem M'hamdi , Jonathan May , Franck Dernoncourt , Trung Bui , Seunghyun Yoon

Determining semantic similarity between academic documents is crucial to many tasks such as plagiarism detection, automatic technical survey and semantic search. Current studies mostly focus on semantic similarity between concepts,…

Computation and Language · Computer Science 2017-12-01 Ming Liu , Bo Lang , Zepeng Gu

Data discovery in data lakes with ever increasing datasets has long been recognized as a big challenge in the realm of data management, especially for semantic search of and hierarchical global catalog generation of tables. While large…

Databases · Computer Science 2025-02-24 Qi An , Chihua Ying , Yuqing Zhu , Yihao Xu , Manwei Zhang , Jianmin Wang

Large language models (LLMs) have grown in their usage to provide support for question answering across numerous disciplines. The models on their own have already shown promise for answering basic questions, however fail quickly where…

Information Retrieval · Computer Science 2025-04-15 David Brett , Anniek Myatt

We present a novel system providing summaries for Computer Science publications. Through a qualitative user study, we identified the most valuable scenarios for discovery, exploration and understanding of scientific documents. Based on…

This paper presents a new approach for measuring semantic similarity/distance between words and concepts. It combines a lexical taxonomy structure with corpus statistical information so that the semantic distance between nodes in the…

cmp-lg · Computer Science 2008-02-03 Jay J. Jiang , David W. Conrath

Establishing semantic correspondence is a challenging task in computer vision, aiming to match keypoints with the same semantic information across different images. Benefiting from the rapid development of deep learning, remarkable progress…

Computer Vision and Pattern Recognition · Computer Science 2025-05-28 Kaiyan Zhang , Xinghui Li , Jingyi Lu , Kai Han

Unsupervised learning of low-dimensional, semantic representations of words and entities has recently gained attention. In this paper we describe the Semantic Entity Retrieval Toolkit (SERT) that provides implementations of our previously…

Computation and Language · Computer Science 2017-07-18 Christophe Van Gysel , Maarten de Rijke , Evangelos Kanoulas

Mathematical problem solving remains a challenging test of reasoning for large language and multimodal models, yet existing benchmarks are limited in size, language coverage, and task diversity. We introduce MathNet, a high-quality,…

Artificial Intelligence · Computer Science 2026-04-21 Shaden Alshammari , Kevin Wen , Abrar Zainal , Mark Hamilton , Navid Safaei , Sultan Albarakati , William T. Freeman , Antonio Torralba

Reliably extracting tables from PDFs is essential for large-scale scientific data mining and knowledge base construction, yet existing evaluation approaches rely on rule-based metrics that fail to capture semantic equivalence of table…

Computer Vision and Pattern Recognition · Computer Science 2026-03-20 Pius Horn , Janis Keuper

A common approach for knowledge-base entity search is to consider an entity as a document with multiple fields. Models that focus on matching query terms in different fields are popular choices for searching such entity representations. An…

Information Retrieval · Computer Science 2019-07-03 Shahrzad Naseri , Sheikh Muhammad Sarwar , James Allan

Topic modeling is used for discovering latent semantic structure, usually referred to as topics, in a large collection of documents. The most widely used methods are Latent Dirichlet Allocation and Probabilistic Latent Semantic Analysis.…

Computation and Language · Computer Science 2020-08-24 Dimo Angelov

We introduce an unsupervised discriminative model for the task of retrieving experts in online document collections. We exclusively employ textual evidence and avoid explicit feature engineering by learning distributed word representations…

Information Retrieval · Computer Science 2017-09-19 Christophe Van Gysel , Maarten de Rijke , Marcel Worring

Formal proofs are challenging to write even for experienced experts. Recent progress in Neural Theorem Proving (NTP) shows promise in expediting this process. However, the formal corpora available on the Internet are limited compared to the…

Artificial Intelligence · Computer Science 2025-04-04 Shaonan Wu , Shuai Lu , Yeyun Gong , Nan Duan , Ping Wei

We developed a system, TermWatch (https://stid-bdd.iut.univ-metz.fr/TermWatch/index.pl), which combines a linguistic extraction of terms, their structuring into a terminological network with a clustering algorithm. In this paper we explore…

Information Retrieval · Computer Science 2008-11-05 Veronila Lux-Pogodalla , Eric San Juan

Cross-lingual retrieval aims to retrieve relevant text across languages. Current methods typically achieve cross-lingual retrieval by learning language-agnostic text representations in word or sentence level. However, how to learn phrase…

Computation and Language · Computer Science 2022-04-20 Heqi Zheng , Xiao Zhang , Zewen Chi , Heyan Huang , Tan Yan , Tian Lan , Wei Wei , Xian-Ling Mao