Semantic Alignment

Latest papers

17 papers3 papers in the last four weeks, with none the four weeks before. 0.0% of all new papers.

MechAlign: Evaluating Semantic Alignment at the Project Level in Mathematical Formalization
Oct 26, 2026Hao Shen, Ruichen Qiu, Lihong Zhi +1Semantic Alignment Automated Evaluation
State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, and University of Chinese Academy of Sciences.
Lost in Translation: Investigating Systematic Discrepancies between Parallel English and Chinese Names of American Chinese Restaurants
Oct 26, 2026Hang Jiang, Nanxi Liu, Tiantian Wang +6Semantic Alignment
Massachusetts Institute of Technology · Northeastern University · Wellesley College +1
Language Unalignability: Why Some Concepts Resist Cross-Cultural Benchmark Evaluation
Oct 6, 2026Shu-Kai Hsieh, Da-Chen LianCultural Knowledge in Language Models LLM Evaluation
National Taiwan University
SVG-Score: Human-Aligned Evaluation of Text-to-SVG Generation
Sep 3, 2026Marco Cipriano, Leonardo Zini, Alexandra Schild +5VLM Evaluation Human Preference Modeling
Hasso-Plattner Institute, Germany · University of Modena and Reggio Emilia, Italy
Preference Shapes Relevance: Cross-component Hierarchical Semantic Alignment for Personalized Generative Retrieval
Aug 31, 2026Gaoming Zhang, Angqing Jiang, Jianchun Song +4Generative Retrieval Semantic Alignment
University of Science and Technology of China · Meituan
Argument-Aware Semantic Alignment of Normative Texts: A Toulmin-Based Neuro-Symbolic Approach
Aug 30, 2026William SchroederSemantic Alignment Neuro-Symbolic Reasoning
Purdue University; CTO Cleantech Software · CTO Cleantech Software
ITL: Interpretable Document Alignment with Structured Reference Frameworks
Aug 27, 2026Raúl Giráldez, Dayrelis Mena, Jesús S. Aguilar--RuizSemantic Alignment Concept Alignment
School of Engineering Pablo de Olavide University ES-41013 Seville, Spain
Semantic Alignment of AI Models: Concept Collapse, Checkpoint Dynamics, and Cross-Lingual Transfer
Aug 3, 2026Tyler Ashoff, Jordan RoduMultilingual Language Model Evaluation Representation Geometry in Language Models
Department of Statistics, University of Virginia. · Department of Statistics, University of Virginia
Hierarchical Acoustic-Semantic Modeling: Modality Separation and Semantic Coherence for Full-Duplex SLMs
Jul 7, 2026Zhenyu Liu, Xuanyu Zhang, Yunxin Li +10Semantic Alignment Speech Language Models
School of Computer Science and Technology, Harbin Institute of Technology, Shenzhen, China · Center for Language, Intelligence and Machines, Shenzhen Loop Area Institute, Shenzhen, China · PCG, Tencent, Shenzhen, China +1
MATCHA: Matching Text via Contrastive Semantic Alignment
May 26, 2026Siran Li, Ece Sena Etoglu, Carsten Eickhoff +1LLM Evaluation Semantic Textual Similarity
University of Tübingen
SpecAlign: A Semantic Alignment Framework for SystemVerilog Assertion Generation
May 24, 2026Jaime Rafael Imperial, Hao ZhengFormal Hardware Verification SystemVerilog Assertion Generation
Bellini College of Cybersecurity, AI, and Computing University of South Florida Tampa, USA
MuTSE: A Human-in-the-Loop Multi-use Text Simplification Evaluator
Apr 10, 2026Rares-Alexandru Roscan, Gabriel Petre1, Adrian-Marius Dumitran +1Semantic Alignment Text Simplification
University of Bucharest, Faculty of Mathematics and Computer Science, Academiei 14, 010014, Bucharest, Romania · Cu Drag si Sport SRL, Bucharest, Romania · Softbinator Technologies, Bucharest, Romania +1
Learning Concepts, Not Tokens: Self-Supervised Semantic Alignment for Language Models
Mar 31, 2026Christine Zhang, Dan Jurafsky, Chen ShaniLanguage Modeling LLM Alignment
Stanford University
Representation Learning to Study Temporal Dynamics in Tutorial Scaffolding
Mar 25, 2026Conrad Borchers, Jiayi Zhang, Ashish GurungInstructional Scaffolding Semantic Alignment
Carnegie Mellon University · Worcester Polytechnic Institute
Semantic Alignment across Ancient Egyptian Language Stages via Normalization-Aware Multitask Learning
Mar 25, 2026He HuangSemantic Alignment Cross-Lingual Representation Alignment
Institut für Ägyptologie und Koptologie, Ludwig-Maximilians-Universität München, Katharina-von-Bora-Straße 10, 80333 München, Germany
Unifying Ontology Construction and Semantic Alignment for Deterministic Enterprise Reasoning at Scale
Mar 11, 2026Hongyin ZhuSemantic Alignment Ontology Learning
Yonyou AI Lab · Yonyou Network Technology Co., Ltd.
Structured Prompt Optimization for Few-Shot Text Classification via Semantic Alignment in Latent Space
Feb 27, 2026Jiasen Zheng, Zijun Zhou, Huajun Zhang +3Semantic Alignment Few-Shot Text Classification
Northwestern University, Evanston, USA · Independent Researcher, San Jose, USA · Syracuse University, Syracuse, USA +3

Oct 26, 2026J/K move · Enter open · S save

MechAlign: Evaluating Semantic Alignment at the Project Level in Mathematical Formalization

Hao Shen, Ruichen Qiu, Lihong Zhi, Xiao-Shan Gao

State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, and University of Chinese Academy of Sciences.

Semantic Alignment Automated Evaluation Autoformalization

Open paper AskPDF arXiv

Lean verifies that a formal proof establishes its stated proposition under declared assumptions, but does not check whether that proposition faithfully expresses the mathematical claim in a manuscript. Assessing this correspondence requires interpreting the main theorem through its project dependencies, which may be scattered throughout a large development. We introduce MechAlign, a framework for project-level semantic alignment review that combines formal dependency extraction with LLM-based assessment. Its extraction tool, LeanTrace, constructs a statement dependency graph from elaborated declarations, retaining definition bodies and structure constraints while excluding proof bodies and stopping at an explicit library boundary. The reviewer uses this context to investigate alignment and report discrepancies with localized evidence. We conduct a preliminary review of 201 main results from 173 OpenAI Math projects, using supplied informal descriptions and available paper context. A hyperbolic-group case illustrates how dependency inspection localizes a missing dimensional constraint relative to the manuscript, consistent with the upstream declaration of formalization scope. We also construct LeanReviewBench, comprising 501 fixed claim-statement-context triples from OpenAI Math, Fermat's Last Theorem, and Kakeya, with description provenance recorded. The resource supports controlled comparisons of more project-level semantic alignment evaluations.