:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Zhang, Yingji
Format:	Preprint
Published:	2026
Subjects:	Computation and Language
Online Access:	https://arxiv.org/abs/2602.00638
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Quasi-symbolic Semantic Geometry over Transformer-based Variational AutoEncoder
by: Zhang, Yingji, et al.
Published: (2022)

Bridging Compositional and Distributional Semantics: A Survey on Latent Semantic Geometry via AutoEncoder
by: Zhang, Yingji, et al.
Published: (2025)

Improving Semantic Control in Discrete Latent Spaces with Transformer Quantized Variational Autoencoders
by: Zhang, Yingji, et al.
Published: (2024)

Learning Disentangled Semantic Spaces of Explanations via Invertible Neural Networks
by: Zhang, Yingji, et al.
Published: (2023)

Towards Controllable Natural Language Inference through Lexical Inference Types
by: Zhang, Yingji, et al.
Published: (2023)

LangVAE and LangSpace: Building and Probing for Language Model VAEs
by: Carvalho, Danilo S., et al.
Published: (2025)

Learning to Disentangle Latent Reasoning Rules with Language VAEs: A Systematic Study
by: Zhang, Yingji, et al.
Published: (2025)

GeoMathCode: Understanding Interleaved Math-Code Reasoning for Geometry Problem Solving
by: Zhang, Yingji, et al.
Published: (2026)

A Survey on Fairness in Large Language Models
by: Li, Yingji, et al.
Published: (2023)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
by: Zhao, Jianhong, et al.
Published: (2025)

Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
by: Li, Zelong, et al.
Published: (2024)

On the Limit of Language Models as Planning Formalizers
by: Huang, Cassie, et al.
Published: (2024)

Enhancing Multimodal Large Language Models for Ancient Chinese Character Evolution Analysis via Glyph-Driven Fine-Tuning
by: Song, Rui, et al.
Published: (2026)

Formal Aspects of Language Modeling
by: Cotterell, Ryan, et al.
Published: (2023)

NILE: Formalizing Natural-Language Descriptions of Formal Languages
by: Kneisel, Tristan, et al.
Published: (2026)

Language Model as Planner and Formalizer under Constraints
by: Huang, Cassie, et al.
Published: (2025)

Language Model Planners do not Scale, but do Formalizers?
by: Jiang, Owen, et al.
Published: (2026)

Does Table Source Matter? Benchmarking and Improving Multimodal Scientific Table Understanding and Reasoning
by: Yang, Bohao, et al.
Published: (2025)

Vision Language Models Cannot Plan, but Can They Formalize?
by: He, Muyu, et al.
Published: (2025)

Semantic Wave Functions: Exploring Meaning in Large Language Models Through Quantum Formalism
by: Laine, Timo Aukusti
Published: (2025)

Assessing Semantic Annotation Activities with Formal Concept Analysis
by: Cigarrán-Recuero, Juan, et al.
Published: (2025)

A Reality Check of Language Models as Formalizers on Constraint Satisfaction Problems
by: Amonkar, Rikhil, et al.
Published: (2025)

TACIT: A Target-Agnostic Feature Disentanglement Framework for Cross-Domain Text Classification
by: Song, Rui, et al.
Published: (2023)

From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
by: Cao, Jialun, et al.
Published: (2025)

Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?
by: Jiang, Jin, et al.
Published: (2025)

The Semantic Ladder: A Framework for Progressive Formalization of Natural Language Content for Knowledge Graphs and AI Systems
by: Vogt, Lars
Published: (2026)

MINERS: Multilingual Language Models as Semantic Retrievers
by: Winata, Genta Indra, et al.
Published: (2024)

Semformer: Transformer Language Models with Semantic Planning
by: Yin, Yongjing, et al.
Published: (2024)

How Proficient Are Large Language Models in Formal Languages? An In-Depth Insight for Knowledge Base Question Answering
by: Liu, Jinxin, et al.
Published: (2024)

FMC: Formalization of Natural Language Mathematical Competition Problems
by: Xie, Jiaxuan, et al.
Published: (2025)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
by: Xiong, Jing, et al.
Published: (2026)

Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion
by: Xu, Ziyao, et al.
Published: (2025)

Proof Flow: Preliminary Study on Generative Flow Network Language Model Tuning for Formal Reasoning
by: Ho, Matthew, et al.
Published: (2024)

Meta-Reasoning: Semantics-Symbol Deconstruction for Large Language Models
by: Wang, Yiming, et al.
Published: (2023)

FSLI: An Interpretable Formal Semantic System for One-Dimensional Ordering Inference
by: Alkhairy, Maha, et al.
Published: (2025)

Can Language Models Be Tricked by Language Illusions? Easier with Syntax, Harder with Semantics
by: Zhang, Yuhan, et al.
Published: (2023)

Fine-Tuning Language Models Using Formal Methods Feedback
by: Yang, Yunhao, et al.
Published: (2023)

A Formal Semantics of the GraalVM Intermediate Representation
by: Webb, Brae J., et al.
Published: (2021)

Toward Robust In-Context Learning: Leveraging Out-of-distribution Proxies for Target Inaccessible Demonstration Retrieval
by: Xu, Hao, et al.
Published: (2026)

Shortcut Learning in In-Context Learning: A Survey
by: Song, Rui, et al.
Published: (2024)