中文
相关论文

相关论文: Fast Deterministic Black-box Context-free Grammar …

200 篇论文

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…

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

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

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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,…

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

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

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

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

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

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,…

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

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

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

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

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

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

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

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

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

计算与语言 · 计算机科学 2025-08-27 Thomas Compton
‹ 上一页 1 2 3 10 下一页 ›