English
Related papers

Related papers: Generative Unbinding of Names

200 papers

The use of monoids in the study of word languages recognized by finite-state automata has been quite fruitful. In this work, we look at the same idea of "recognizability by finite monoids" for other monoids. In particular, we attempt to…

Formal Languages and Automata Theory · Computer Science 2025-02-12 Pranshu Gaba , Arnab Sur

Using specializations of unfold and fold on a generic tree data type we derive unranking and ranking functions providing natural number encodings for various Hereditarily Finite datatypes. In this context, we interpret unranking operations…

Symbolic Computation · Computer Science 2008-08-07 Paul Tarau

Onomastics is "the science or study of the origin and forms of proper names of persons or places." ["Onomastics". Merriam-Webster.com, 2013. http://www.merriam-webster.com (11 February 2013)]. Especially personal names play an important…

Information Retrieval · Computer Science 2013-03-05 Folke Mitzlaff , Gerd Stumme

Generation novelty is a key indicator of an LLM's ability to generalize, yet measuring it against full pretraining corpora is computationally challenging. Existing evaluations often rely on lexical overlap, failing to detect paraphrased…

Machine Learning · Computer Science 2026-01-14 Philipp Davydov , Ameya Prabhu , Matthias Bethge , Elisa Nguyen , Seong Joon Oh

Large semantic knowledge bases are grounded in factual knowledge. However, recent approaches to dense text representations (i.e. embeddings) do not efficiently exploit these resources. Dense and robust representations of documents are…

Artificial Intelligence · Computer Science 2024-10-01 Boshko Koloski , Senja Pollak , Roberto Navigli , Blaž Škrlj

Word embeddings -- distributed representations of words -- in deep learning are beneficial for many tasks in natural language processing (NLP). However, different embedding sets vary greatly in quality and characteristics of the captured…

Computation and Language · Computer Science 2015-12-31 Wenpeng Yin , Hinrich Schütze

We propose a generic categorical framework for learning unknown formal languages of various types (e.g. finite or infinite words, weighted and nominal languages). Our approach is parametric in a monad T that represents the given type of…

Formal Languages and Automata Theory · Computer Science 2020-08-31 Henning Urbat , Lutz Schröder

Your name tells a lot about you: your gender, ethnicity and so on. It has been shown that name embeddings are more effective in representing names than traditional substring features. However, our previous name embedding model is trained on…

Social and Information Networks · Computer Science 2019-05-14 Junting Ye , Steven Skiena

An infinite permutation $\alpha$ is a linear ordering of $\mathbb N$. We study properties of infinite permutations analogous to those of infinite words, and show some resemblances and some differences between permutations and words. In this…

Discrete Mathematics · Computer Science 2011-09-29 Anna Frid , Luca Zamboni

Automatically constructing taxonomy finds many applications in e-commerce and web search. One critical challenge is as data and business scope grow in real applications, new concepts are emerging and needed to be added to the existing…

Computation and Language · Computer Science 2021-03-05 Jieyu Zhang , Xiangchen Song , Ying Zeng , Jiaze Chen , Jiaming Shen , Yuning Mao , Lei Li

Table-to-text generation (insight generation from tables) is a challenging task that requires precision in analyzing the data. In addition, the evaluation of existing benchmarks is affected by contamination of Large Language Model (LLM)…

Computation and Language · Computer Science 2025-10-16 Kristýna Onderková , Ondřej Plátek , Zdeněk Kasner , Ondřej Dušek

The theory of finite term algebras provides a natural framework to describe the semantics of functional languages. The ability to efficiently reason about term algebras is essential to automate program analysis and verification for…

Logic in Computer Science · Computer Science 2016-11-10 Laura Kovacs , Simon Robillard , Andrei Voronkov

In this paper, a novel approach for coding nominal data is proposed. For the given nominal data, a rank in a form of complex number is assigned. The proposed method does not lose any information about the attribute and brings other…

Machine Learning · Statistics 2017-11-13 Zenon Gniazdowski , Michal Grabowski

Recurrent neural networks have been very successful at predicting sequences of words in tasks such as language modeling. However, all such models are based on the conventional classification framework, where the model is trained against…

Machine Learning · Computer Science 2017-03-14 Hakan Inan , Khashayar Khosravi , Richard Socher

Generative feature matching network (GFMN) is an approach for training implicit generative models for images by performing moment matching on features from pre-trained neural networks. In this paper, we present new GFMN formulations that…

Computation and Language · Computer Science 2020-05-12 Inkit Padhi , Pierre Dognin , Ke Bai , Cicero Nogueira dos Santos , Vijil Chenthamarakshan , Youssef Mroueh , Payel Das

Functional programming languages are particularly well-suited for building automated reasoning systems, since (among other reasons) a logical term is well modeled by an inductive type, traversing a term can be implemented generically as a…

Programming Languages · Computer Science 2020-06-02 Daniel Selsam , Simon Hudon , Leonardo de Moura

Synonym extraction is an important task in natural language processing and often used as a submodule in query expansion, question answering and other applications. Automatic synonym extractor is highly preferred for large scale…

Computation and Language · Computer Science 2015-06-02 Liangliang Cao , Chang Wang

A handwritten word recognition system comes with issues such as lack of large and diverse datasets. It is necessary to resolve such issues since millions of official documents can be digitized by training deep learning models using a large…

Computer Vision and Pattern Recognition · Computer Science 2023-03-15 Mst Shapna Akter , Hossain Shahriar , Alfredo Cuzzocrea , Nova Ahmed , Carson Leung

Disentangled distributed representations of data are desirable for machine learning, since they are more expressive and can generalize from fewer examples. However, for complex data, the distributed representations of multiple objects…

Machine Learning · Computer Science 2016-01-21 Klaus Greff , Rupesh Kumar Srivastava , Jürgen Schmidhuber

By operations on models we show how to relate completeness with respect to permissive-nominal models to completeness with respect to nominal models with finite support. Models with finite support are a special case of permissive-nominal…

Logic in Computer Science · Computer Science 2013-05-28 Murdoch J. Gabbay
‹ Prev 1 8 9 10 Next ›