arXiv subjects

Chun Ding

Publications and source records attributed to Chun Ding.

3 recordsLinked to original sources

arXiv2026

SPOC-SQL: Stage-wise Preference Optimization for Controllable Text-to-SQL

Text-to-SQL aims to translate natural language questions into executable SQL queries over relational databases, requiring multi-stage structured reasoning over database schemas and query constraints. However, existing methods treat this task as single-step generation, where models optimize entire SQL sequences without targeted feedback at key decision points and lack support for interacting with and controlling the intermediate generation process. To address this issue, we propose SPOC-SQL, which decomposes Text-to-SQL into four sequential subtasks following standard SQL execution logic and designs stage-specific optimization strategies for the model to learn key decisions. Specifically, we propose the implementation of fine-grained preference optimisation at key decision points across SQL stages, with the objective of enhancing structured decision-making during query construction. Furthermore, a structured decomposition strategy is designed, facilitating stage-wise intervention and correction through explicit intermediate representations. This results in more controllable and reliable SQL generation. Experiments demonstrate that incorporating stage-wise human knowledge consistently improves performance, validating the effectiveness of stage perception controllable generation.

cs.CL↗

arXiv2022

Direct limits in categories of normed vector lattices and Banach lattices

After collecting a number of results on interval and almost interval preserving linear maps and vector lattice homomorphisms, we show that direct systems in various categories of normed vector lattices and Banach lattices have direct limits, and that these coincide with direct limits of the systems in naturally associated other categories. For those categories where the general constructions do not work to establish the existence of general direct limits, we describe the basic structure of those direct limits that do exist. A direct system in the category of Banach lattices and contractive almost interval preserving vector lattice homomorphisms has a direct limit. When the Banach lattices in the system all have order continuous norms, then so does the Banach lattice in a direct limit. This is used to show that a Banach function space over a locally compact Hausdorff space has an order continuous norm when the topologies on all compact subsets are metrisable and (the images of) the continuous compactly supported functions are dense.

math.FA↗

arXiv2021

Quantum sets and Gelfand spectra (Ortho-sets and Gelfand spectra)

Motivated by quantum states with zero transition probability, we introduce the notion of ortho-set which is a set equipped with a relation $\neq_\mathrm{q}$ satisfying: $x\neq_\mathrm{q} y$ implies both $x\neq y$ and $y \neq_\mathrm{q} x$. For an ortho-set, a canonical complete ortholattice is constructed. Conversely, every complete ortholattice comes from an ortho-set in this way. Hence, the theory of ortho-sets captures almost everything about quantum logics. For a quantum system modeled by the self-adjoint part $B_\mathrm{sa}$ of a $C^*$-algebra $B$, we also introduce a "semi-classical object" called the Gelfand spectrum. It is the ortho-set, $P(B)$, of pure states of $B$ equipped with an "ortho-topology", which is a collection of subsets of $P(B)$, defined via a hull-kernel construction with respects to closed left ideals of $B$. We establish a generalization of the Gelfand theorem by showing that a bijection between the Gelfand spectra of two quantum systems that preserves the respective ortho-topologies is induced by a Jordan isomorphism between the self-adjoint parts of the underlying $C^*$-algebras (i.e. an isomorphism of the quantum systems), when the underlying $C^*$-algebras satisfy a mild condition.

math-ph↗