English
Related papers

Related papers: Fast Deterministic Black-box Context-free Grammar …

200 papers

Black-box context-free grammar inference presents a significant challenge in many practical settings due to limited access to example programs. The state-of-the-art methods, Arvada and Treevada, employ heuristic approaches to generalize…

Programming Languages · Computer Science 2024-09-23 Feifei Li , Xiao Chen , Xi Xiao , Xiaoyu Sun , Chuan Chen , Shaohua Wang , Jitao Han

Grammar inference for complex programming languages remains a significant challenge, as existing approaches fail to scale to real world datasets within practical time constraints. In our experiments, none of the state-of-the-art tools,…

Programming Languages · Computer Science 2026-01-21 Feifei Li , Xiao Chen , Xiaoyu Sun , Xi Xiao , Shaohua Wang , Yong Ding , Sheng Wen , Qing Li

This paper presents Arvada, an algorithm for learning context-free grammars from a set of positive examples and a Boolean-valued oracle. Arvada learns a context-free grammar by building parse trees from the positive examples. Starting from…

Software Engineering · Computer Science 2021-08-31 Neil Kulkarni , Caroline Lemieux , Koushik Sen

Black-box context-free grammar inference is crucial for program analysis, reverse engineering, and security, yet existing tools such as Arvada, TreeVada, and Kedavra struggle with scalability, readability, and accuracy on large, complex…

Software Engineering · Computer Science 2025-11-10 Mohammad Rifat Arefin , Shanto Rahman , Christoph Csallner

We implement a divide-and-concur iterative projection approach to context-free grammar inference. Unlike most state-of-the-art models of natural language processing, our method requires a relatively small number of discrete parameters,…

Computation and Language · Computer Science 2022-09-19 Sean Deyo , Veit Elser

Utilizing language models (LMs) without internal access is becoming an attractive paradigm in the field of NLP as many cutting-edge LMs are released through APIs and boast a massive scale. The de-facto method in this type of black-box…

Computation and Language · Computer Science 2023-06-12 Hyunsoo Cho , Youna Kim , Sang-goo Lee

Grammatical inference is a machine learning area, whose fundamentals are built around learning sets. At present, real-life data and examples from manually crafted grammars are used to test their learning performance. This paper aims to…

Formal Languages and Automata Theory · Computer Science 2019-11-15 Olgierd Unold , Agnieszka Kaczmarek , Łukasz Culer

Prompt tuning has achieved great success in transferring the knowledge from large pretrained vision-language models into downstream tasks, and has dominated the performance on visual grounding (VG). However, almost all existing prompt…

Computer Vision and Pattern Recognition · Computer Science 2023-05-22 Chenchi Zhang , Jun Xiao , Lei Chen , Jian Shao , Long Chen

Machine learned models often must abide by certain requirements (e.g., fairness or legal). This has spurred interested in developing approaches that can provably verify whether a model satisfies certain properties. This paper introduces a…

Machine Learning · Computer Science 2020-12-01 Laurens Devos , Wannes Meert , Jesse Davis

Text classification is the most basic natural language processing task. It has a wide range of applications ranging from sentiment analysis to topic classification. Recently, deep learning approaches based on CNN, LSTM, and Transformers…

Computation and Language · Computer Science 2022-02-04 Rutuja Taware , Shraddha Varat , Gaurav Salunke , Chaitanya Gawande , Geetanjali Kale , Rahul Khengare , Raviraj Joshi

Deep LSTM is an ideal candidate for text recognition. However text recognition involves some initial image processing steps like segmentation of lines and words which can induce error to the recognition system. Without segmentation,…

Computer Vision and Pattern Recognition · Computer Science 2015-02-27 Anupama Ray , Sai Rajeswar , Santanu Chaudhury

Automatic differentiation variational inference (ADVI) offers fast and easy-to-use posterior approximation in multiple modern probabilistic programming languages. However, its stochastic optimizer lacks clear convergence criteria and…

Machine Learning · Computer Science 2024-04-18 Ryan Giordano , Martin Ingram , Tamara Broderick

**Context** Context-free grammars are widely used for language prototyping and implementation. They allow formalizing the syntax of domain-specific or general-purpose programming languages concisely and declaratively. However, the natural…

Programming Languages · Computer Science 2018-03-28 Luís Eduardo de Souza Amorim , Michael J. Steindorfer , Eelco Visser

Neural networks with tree-based sentence encoders have shown better results on many downstream tasks. Most of existing tree-based encoders adopt syntactic parsing trees as the explicit structure prior. To study the effectiveness of…

Computation and Language · Computer Science 2018-08-30 Haoyue Shi , Hao Zhou , Jiaze Chen , Lei Li

We present an algorithm for extraction of a probabilistic deterministic finite automaton (PDFA) from a given black-box language model, such as a recurrent neural network (RNN). The algorithm is a variant of the exact-learning algorithm L*,…

Machine Learning · Computer Science 2020-01-01 Gail Weiss , Yoav Goldberg , Eran Yahav

One of the fundamental principles of contemporary linguistics states that language processing requires the ability to extract recursively nested tree structures. However, it remains unclear whether and how this code could be implemented in…

Computation and Language · Computer Science 2021-01-08 Yair Lakretz , Théo Desbordes , Jean-Rémi King , Benoît Crabbé , Maxime Oquab , Stanislas Dehaene

We investigate grounded language learning through real-world data, by modelling a teacher-learner dynamics through the natural interactions occurring between users and search engines; in particular, we explore the emergence of semantic…

Computation and Language · Computer Science 2021-04-20 Federico Bianchi , Ciro Greco , Jacopo Tagliabue

Code generation is increasingly critical for real-world applications. Still, diffusion-based large language models continue to struggle with this demand. Unlike free-form text, code requires syntactic precision; even minor structural…

Computation and Language · Computer Science 2026-01-07 Yiming Zeng , Jinghan Cao , Zexin Li , Yiming Chen , Tao Ren , Zhuochun Li , Dawei Xiang , Xidong Wu , Shangqian Gao , Tingting Yu

Grammatical inference consists in learning a language or a grammar from data. In this paper, we consider a number of models for inferring a non-deterministic finite automaton (NFA) with 3 sorts of states, that must accept some words, and…

Formal Languages and Automata Theory · Computer Science 2024-01-03 Tomasz Jastrząb , Frédéric Lardeux , Eric Monfroy

Quantitative Discourse Analysis has seen growing adoption with the rise of Large Language Models and computational tools. However, reliance on black box software such as MAXQDA and NVivo risks undermining methodological transparency and…

Computation and Language · Computer Science 2025-08-27 Thomas Compton
‹ Prev 1 2 3 10 Next ›