conftrace_

formal language

78 papers

Explore in graph

Also known as

FL

Co-occurring keywords

large language model (13587) recurrent neural network (1790) context-free grammar (49) language model (4599) neural network (6616) semantic parsing (960) regular language (21) theoretical analysis (97) computational complexity (399) computational linguistics (211)

Papers

Frugal LMs Trained to Invoke Symbolic Solvers Achieve Parameter-Efficient Arithmetic Reasoning AAAI 2024
MLRegTest: A Benchmark for the Machine Learning of Regular Languages JMLR 2024
Language Generation in the Limit NIPS 2024
Can Transformers Learn n-gram Language Models? EMNLP 2024
Consistent Autoformalization for Constructing Mathematical Libraries EMNLP 2024
Targeted Syntactic Evaluation on the Chomsky Hierarchy COLING 2024
Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond) AAAI 2024
LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations ACL 2024
Efficient Algorithms for Recognizing Weighted Tree-Adjoining Languages EMNLP 2023
Tighter Bounds on the Expressivity of Transformer Encoders ICML 2023
A Fast Algorithm for Computing Prefix Probabilities ACL 2023
On the Effects of Structural Modeling for Neural Semantic Parsing EMNLP 2023
Transformers are uninterpretable with myopic methods: a case study with bounded Dyck grammars NIPS 2023
NL2LTL – a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas AAAI 2023
Recurrent Neural Language Models as Probabilistic Finite-state Automata EMNLP 2023
An Exploration of Left-Corner Transformations EMNLP 2023
CLeAR: Continual Learning on Algorithmic Reasoning for Human-like Intelligence NIPS 2023
On the Intersection of Context-Free and Regular Languages EACL 2023
Benchmarking Compositionality with Formal Languages COLING 2022
Trees probe deeper than strings: an argument from allomorphy NAACL 2022
Recognizing Reduplicated Forms: Finite-State Buffered Machines IJCNLP 2021
Self-Attention Networks Can Process Bounded Hierarchical Languages IJCNLP 2021
AND does not mean OR: Using Formal Languages to Study Language Models’ Representations ACL 2021
Neural Circuit Synthesis from Specification Patterns NIPS 2021
Recognizing Reduplicated Forms: Finite-State Buffered Machines ACL 2021