:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Zhang, Yingji
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Computation and Language
Online-Zugang:	https://arxiv.org/abs/2602.00638
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Quasi-symbolic Semantic Geometry over Transformer-based Variational AutoEncoder
von: Zhang, Yingji, et al.
Veröffentlicht: (2022)

Bridging Compositional and Distributional Semantics: A Survey on Latent Semantic Geometry via AutoEncoder
von: Zhang, Yingji, et al.
Veröffentlicht: (2025)

Improving Semantic Control in Discrete Latent Spaces with Transformer Quantized Variational Autoencoders
von: Zhang, Yingji, et al.
Veröffentlicht: (2024)

Learning Disentangled Semantic Spaces of Explanations via Invertible Neural Networks
von: Zhang, Yingji, et al.
Veröffentlicht: (2023)

Towards Controllable Natural Language Inference through Lexical Inference Types
von: Zhang, Yingji, et al.
Veröffentlicht: (2023)

LangVAE and LangSpace: Building and Probing for Language Model VAEs
von: Carvalho, Danilo S., et al.
Veröffentlicht: (2025)

Learning to Disentangle Latent Reasoning Rules with Language VAEs: A Systematic Study
von: Zhang, Yingji, et al.
Veröffentlicht: (2025)

GeoMathCode: Understanding Interleaved Math-Code Reasoning for Geometry Problem Solving
von: Zhang, Yingji, et al.
Veröffentlicht: (2026)

A Survey on Fairness in Large Language Models
von: Li, Yingji, et al.
Veröffentlicht: (2023)

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

Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
von: Li, Zelong, et al.
Veröffentlicht: (2024)

On the Limit of Language Models as Planning Formalizers
von: Huang, Cassie, et al.
Veröffentlicht: (2024)

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

Formal Aspects of Language Modeling
von: Cotterell, Ryan, et al.
Veröffentlicht: (2023)

NILE: Formalizing Natural-Language Descriptions of Formal Languages
von: Kneisel, Tristan, et al.
Veröffentlicht: (2026)

Language Model as Planner and Formalizer under Constraints
von: Huang, Cassie, et al.
Veröffentlicht: (2025)

Language Model Planners do not Scale, but do Formalizers?
von: Jiang, Owen, et al.
Veröffentlicht: (2026)

Does Table Source Matter? Benchmarking and Improving Multimodal Scientific Table Understanding and Reasoning
von: Yang, Bohao, et al.
Veröffentlicht: (2025)

Vision Language Models Cannot Plan, but Can They Formalize?
von: He, Muyu, et al.
Veröffentlicht: (2025)

Semantic Wave Functions: Exploring Meaning in Large Language Models Through Quantum Formalism
von: Laine, Timo Aukusti
Veröffentlicht: (2025)

Assessing Semantic Annotation Activities with Formal Concept Analysis
von: Cigarrán-Recuero, Juan, et al.
Veröffentlicht: (2025)

A Reality Check of Language Models as Formalizers on Constraint Satisfaction Problems
von: Amonkar, Rikhil, et al.
Veröffentlicht: (2025)

TACIT: A Target-Agnostic Feature Disentanglement Framework for Cross-Domain Text Classification
von: Song, Rui, et al.
Veröffentlicht: (2023)

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

Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?
von: Jiang, Jin, et al.
Veröffentlicht: (2025)

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

MINERS: Multilingual Language Models as Semantic Retrievers
von: Winata, Genta Indra, et al.
Veröffentlicht: (2024)

Semformer: Transformer Language Models with Semantic Planning
von: Yin, Yongjing, et al.
Veröffentlicht: (2024)

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

FMC: Formalization of Natural Language Mathematical Competition Problems
von: Xie, Jiaxuan, et al.
Veröffentlicht: (2025)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
von: Xiong, Jing, et al.
Veröffentlicht: (2026)

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

Proof Flow: Preliminary Study on Generative Flow Network Language Model Tuning for Formal Reasoning
von: Ho, Matthew, et al.
Veröffentlicht: (2024)

Meta-Reasoning: Semantics-Symbol Deconstruction for Large Language Models
von: Wang, Yiming, et al.
Veröffentlicht: (2023)

FSLI: An Interpretable Formal Semantic System for One-Dimensional Ordering Inference
von: Alkhairy, Maha, et al.
Veröffentlicht: (2025)

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

Fine-Tuning Language Models Using Formal Methods Feedback
von: Yang, Yunhao, et al.
Veröffentlicht: (2023)

A Formal Semantics of the GraalVM Intermediate Representation
von: Webb, Brae J., et al.
Veröffentlicht: (2021)

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

Shortcut Learning in In-Context Learning: A Survey
von: Song, Rui, et al.
Veröffentlicht: (2024)