中文
相关论文

相关论文: Generative Unbinding of Names

200 篇论文

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…

形式语言与自动机理论 · 计算机科学 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…

符号计算 · 计算机科学 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…

信息检索 · 计算机科学 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…

机器学习 · 计算机科学 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…

人工智能 · 计算机科学 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…

计算与语言 · 计算机科学 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…

形式语言与自动机理论 · 计算机科学 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…

社会与信息网络 · 计算机科学 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…

离散数学 · 计算机科学 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…

计算与语言 · 计算机科学 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)…

计算与语言 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

机器学习 · 统计学 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…

机器学习 · 计算机科学 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…

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…

编程语言 · 计算机科学 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…

计算与语言 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

机器学习 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 2013-05-28 Murdoch J. Gabbay
‹ 上一页 1 8 9 10 下一页 ›