English
Related papers

Related papers: Fast Context-Free Grammar Parsing Requires Fast Bo…

200 papers

Gaussian processes (GPs) are crucial in machine learning for quantifying uncertainty in predictions. However, their associated covariance matrices, defined by kernel functions, are typically dense and large-scale, posing significant…

Machine Learning · Computer Science 2025-04-02 Theresa Wagner , Tianshi Xu , Franziska Nestler , Yuanzhe Xi , Martin Stoll

We show how a general grammar may be automatically adapted for fast parsing of utterances from a specific domain by means of constituent pruning and grammar specialization based on explanation-based learning. These methods together give an…

cmp-lg · Computer Science 2008-02-03 Manny Rayner , David Carter

The problem of identifying a probabilistic context free grammar has two aspects: the first is determining the grammar's topology (the rules of the grammar) and the second is estimating probabilistic weights for each rule. Given the hardness…

Formal Languages and Automata Theory · Computer Science 2021-03-10 Dolav Nitay , Dana Fisman , Michal Ziv-Ukelson

Fast algorithms for integer and polynomial multiplication play an important role in scientific computing as well as in other disciplines. In 1971, Sch{\"o}nhage and Strassen designed an algorithm that improved the multiplication time for…

Symbolic Computation · Computer Science 2018-11-06 Sviatoslav Covanov , Davood Mohajerani , Marc Moreno-Maza , Lin-Xiao Wang

We study the problem of computing the probability that a given stochastic context-free grammar (SCFG), G, generates a string in a given regular language L(D) (given by a DFA, D). This basic problem has a number of applications in…

Formal Languages and Automata Theory · Computer Science 2013-02-27 Kousha Etessami , Alistair Stewart , Mihalis Yannakakis

The communication cost of algorithms (also known as I/O-complexity) is shown to be closely related to the expansion properties of the corresponding computation graphs. We demonstrate this on Strassen's and other fast matrix multiplication…

Data Structures and Algorithms · Computer Science 2011-09-12 Grey Ballard , James Demmel , Olga Holtz , Oded Schwartz

Boolean matrix factorization is a natural and a popular technique for summarizing binary matrices. In this paper, we study a problem of Boolean matrix factorization where we additionally require that the factor matrices have consecutive…

Data Structures and Algorithms · Computer Science 2019-05-16 Nikolaj Tatti , Pauli Miettinen

Probabilistic context-free grammars (PCFGs), which are commonly used to generate trees randomly, have been well analyzed theoretically, leading to applications in various domains. Despite their utility, the distributions that the grammar…

Disordered Systems and Neural Networks · Physics 2024-08-30 Kai Nakaishi , Koji Hukushima

One fundamental question in database theory is the following: Given a Boolean conjunctive query Q, what is the best complexity for computing the answer to Q in terms of the input database size N? When restricted to the class of…

Databases · Computer Science 2025-03-27 Mahmoud Abo-Khamis , Xiao Hu , Dan Suciu

How much data is required to learn the structure of a language via next-token prediction? We study this question for synthetic datasets generated via a Probabilistic Context-Free Grammar (PCFG) -- a tree-like generative model that captures…

Computation and Language · Computer Science 2024-10-30 Francesco Cagnetta , Matthieu Wyart

The algebraic degree of Boolean functions (or vectorial Boolean functions) is an important cryptographic parameter that should be computed by fast algorithms. They work in two main ways: (1) by computing the algebraic normal form and then…

Cryptography and Security · Computer Science 2020-07-03 Valentin Bakoev

We provide an algorithm for deciding simple grammar bisimilarity whose complexity is polynomial in the valuation of the grammar (maximum seminorm among production rules). Since the valuation is at most exponential in the size of the…

Formal Languages and Automata Theory · Computer Science 2026-05-11 Diogo Poças , Gil Silva , Vasco T. Vasconcelos

Neural language models (NLMs) have recently gained a renewed interest by achieving state-of-the-art performance across many natural language processing (NLP) tasks. However, NLMs are very computationally demanding largely due to the…

Computation and Language · Computer Science 2018-06-13 Minjia Zhang , Xiaodong Liu , Wenhan Wang , Jianfeng Gao , Yuxiong He

This paper describes the use of Naive Bayes to address the task of assigning function tags and context free grammar (CFG) to parse Myanmar sentences. Part of the challenge of statistical function tagging for Myanmar sentences comes from the…

Computation and Language · Computer Science 2012-05-09 Win Win Thant , Tin Myat Htwe , Ni Lar Thein

Efficient matrix determinant calculations have been studied since the 19th century. Computers expand the range of determinants that are practically calculable to include matrices with symbolic entries. However, the fastest determinant…

Symbolic Computation · Computer Science 2013-04-18 Tanya Khovanova , Ziv Scully

In formal logic-based approaches to Recognizing Textual Entailment (RTE), a Combinatory Categorial Grammar (CCG) parser is used to parse input premises and hypotheses to obtain their logical formulas. Here, it is important that the parser…

Computation and Language · Computer Science 2018-04-20 Masashi Yoshikawa , Koji Mineshima , Hiroshi Noji , Daisuke Bekki

Are multimodal inputs necessary for grammar induction? Recent work has shown that multimodal training inputs can improve grammar induction. However, these improvements are based on comparisons to weak text-only baselines that were trained…

Multiplication is one of the most fundamental computational problems, yet its true complexity remains elusive. The best known upper bound, by F\"{u}rer, shows that two $n$-bit numbers can be multiplied via a boolean circuit of size $O(n \lg…

Data Structures and Algorithms · Computer Science 2019-03-01 Peyman Afshani , Casper Benjamin Freksen , Lior Kamma , Kasper Green Larsen

Large Language Models are powerful tools for program synthesis and advanced auto-completion, but come with no guarantee that their output code is syntactically correct. This paper contributes an incremental parser that allows early…

Programming Languages · Computer Science 2024-09-06 Daniel Melcer , Nathan Fulton , Sanjay Krishna Gouda , Haifeng Qian

The quantum query complexity of Boolean matrix multiplication is typically studied as a function of the matrix dimension, n, as well as the number of 1s in the output, \ell. We prove an upper bound of O (n\sqrt{\ell}) for all values of…

Quantum Physics · Physics 2014-12-17 Stacey Jeffery , Robin Kothari , Frédéric Magniez
‹ Prev 1 3 4 5 6 7 10 Next ›