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

An Information-Theoretic Foundation for the Subregular Hierarchy ACL 2026
StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs Through Knowledge-Reasoning Fusion AAAI 2026
Empowering LLMs with Symbolic Representation and Reasoning AAAI 2026
Pareto-optimal Non-uniform Language Generation ALT 2026
Language Acquisition Device in Large Language Models ACL 2026
Fine-tuning vs. In-context Learning in Large Language Models: A Formal Language Learning Perspective ACL 2026
Language Model as Planner and Formalizer under Constraints ACL 2026
Characterizing the Expressivity of Local Attention in Transformers ACL 2026
Between Circuits and Chomsky: Pre-pretraining on Formal Languages Imparts Linguistic Biases ACL 2025
Reliable Evaluation and Benchmarks for Statement Autoformalization EMNLP 2025
Do Large Language Models excel in Complex Logical Reasoning with Formal Language? EMNLP 2025
Intrinsic Linguistic Bias in Formal vs. Informal Bengali Pragmatics with Progressive Context Inflation IJCNLP 2025
Analyzing (In)Abilities of SAEs via Formal Languages NAACL 2025
VCSearch: Bridging the Gap Between Well-Defined and Ill-Defined Problems in Mathematical Reasoning EMNLP 2025
Meta-Learning Neural Mechanisms rather than Bayesian Priors ACL 2025
Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine ACL 2025
Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection AACL 2025
Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond) AAAI 2024
Frugal LMs Trained to Invoke Symbolic Solvers Achieve Parameter-Efficient Arithmetic Reasoning AAAI 2024
The Expressive Capacity of State Space Models: A Formal Language Perspective NIPS 2024
How Proficient Are Large Language Models in Formal Languages? An In-Depth Insight for Knowledge Base Question Answering ACL 2024
Why are Sensitive Functions Hard for Transformers? ACL 2024
Multi-language Diversity Benefits Autoformalization NIPS 2024
Language Generation in the Limit NIPS 2024
Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency NIPS 2024