The monograph introduces Elimination Geometry (EG), a typed, native‑loss, audit‑oriented framework that investigates when locally optimal objects can be realized by a shared deployment rule. EG examines how elimination and compression can erase distinctions needed for prediction, inference, control, or representation, and it separates local solvability, global realizability, and finite‑sample certifiability. The work synthesizes tools from geometry, optimization, information theory, statistics, and machine learning to address regular, coordination, singular, compositional, and resource‑limited mechanisms, and demonstrates applications in sparse model selection, distribution‑free prediction, observational treatment policies, routed expert and retrieval systems, and learned score fields.
By Mian Huang, Xueqin Wang
arXiv:2608. 08618v1 Announce Type: cross Abstract: Industrial device commissioning requires engineers to manually extract hundreds of protocol-specific parameters from heterogeneous PDF manuals and transcribe them into supervisory control systems, a time-intensive, error-prone workflow.
By Aadil Gani Ganie, Saad Ezzini, Naveed Farooz Marazi
arXiv:2607. 05750v1 Announce Type: new Abstract: Computer-aided design (CAD) for industrial components requires long-horizon procedural modeling, robust feature dependencies, editable parametric geometry, and production-grade B-Rep execution.
By Yunhan Xu, Qifeng Wu, Xunjin Li, Yuanwei Bin, Qingsong Yao, Jianghang Gu, Guan Wang, Weihao Lv, Huiyu Yang, Wenfa Luo, Jiao Xiang, Yuntian Chen, Shiyi Chen
Computer-aided design (CAD) for industrial components requires long-horizon procedural modeling, robust feature dependencies, editable parametric geometry, and production-grade B-Rep execution. Existing text-to-CAD methods have made promising progress in generating CAD programs from natural-language descriptions, but they still struggle when user prompts are ambiguous, underspecified, or only describe high-level design intent.
arXiv:2609.14741v1 Announce Type: cross
Abstract: Early thermal-mechanical lattice requirements are knowledge-intensive and often jointly unsatisfiable: an engineer asks for a cell that is light, sti...
By Shaoliang Yang, Henry Chu, Zu Yashengjiang, Jun Wang
The paper introduces Constraint‑Guided Enterprise Data Mapping (CGM), a neuro‑symbolic approach that uses schema‑grounded admissibility constraints to steer large language models (LLMs) in aligning enterprise data. CGM operates in three stages: defining constraints with metadata, generating candidates under relaxed constraints to ensure feasibility, and ranking them with a bounded LLM. Experiments show that hard constraints dramatically reduce candidate space and improve F1 scores, enabling small models to match or surpass large LLMs at a fraction of the cost while reducing expert effort.
By Sebastian Monka, Pramod Anantharam, Thien Vo Minh, Lavdim Halilaj