conftrace_

formal language

77 papers

Explore in graph

Also known as

FL

Co-occurring keywords · papers mentioning both

large language model (10) recurrent neural network (8) context-free grammar (5) language model (5) regular language (4) neural network (4) in-context learning (4) mathematical reasoning (4) language generation (3) transformer encoder (3)

Papers

An Information-Theoretic Foundation for the Subregular Hierarchy ACL 2026 Characterizing the Expressivity of Local Attention in Transformers ACL 2026 Empowering LLMs with Symbolic Representation and Reasoning AAAI 2026 Fine-tuning vs. In-context Learning in Large Language Models: A Formal Language Learning Perspective ACL 2026 Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning CVPR 2026 Language Acquisition Device in Large Language Models ACL 2026 Language Model as Planner and Formalizer under Constraints ACL 2026 Pareto-optimal Non-uniform Language Generation ALT 2026 Space-Efficient Language Generation in the Limit COLT 2026 StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs Through Knowledge-Reasoning Fusion AAAI 2026 Analyzing (In)Abilities of SAEs via Formal Languages NAACL 2025 A Percolation Model of Emergence: Analyzing Transformers Trained on a Formal Language ICLR 2025 Between Circuits and Chomsky: Pre-pretraining on Formal Languages Imparts Linguistic Biases ACL 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 Meta-Learning Neural Mechanisms rather than Bayesian Priors ACL 2025 Reliable Evaluation and Benchmarks for Statement Autoformalization EMNLP 2025 Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine ACL 2025 VCSearch: Bridging the Gap Between Well-Defined and Ill-Defined Problems in Mathematical Reasoning EMNLP 2025 Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency NeurIPS 2024 Can Transformers Learn n-gram Language Models? EMNLP 2024 Consistent Autoformalization for Constructing Mathematical Libraries EMNLP 2024 Frugal LMs Trained to Invoke Symbolic Solvers Achieve Parameter-Efficient Arithmetic Reasoning AAAI 2024 How Proficient Are Large Language Models in Formal Languages? An In-Depth Insight for Knowledge Base Question Answering ACL 2024 In-Context Learning Dynamics with Random Binary Sequences ICLR 2024