atlas

Research map / Image generation / Autoregressive and latent generation

Beyond the convexity assumption: Realistic tabular data generation under quantifier-free real linear constraints

ICLR 2025 · Image generation › Autoregressive and latent generation · approach: Compositional scene generation · 1 citations (OpenAlex)

Read the paperCheck your idea against 108,967 papers

AI-extracted summary. Written by AI from the paper's full text. Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.

Introduces the Disjunctive Refinement Layer (DRL), a differentiable output layer that compiles QFLRA constraints via a generalised Fourier-Motzkin/cutting-planes variable elimination so that tabular DGM samples always satisfy the constraints while improving ML efficacy.

Problem

Deep generative models for tabular data frequently produce samples that violate background knowledge expressed as constraints, and prior constraint layers only handle convex linear inequalities.

Approach

A layer compiled from quantifier-free linear real arithmetic formulas (disjunctions of linear inequalities) via a CP resolution-based variable elimination; at inference it sequentially projects each feature to the nearest feasible boundary, guaranteeing satisfaction in one forward pass and optimality w.r.t. a variable ordering.

Key results

Measured effects reported in the paper

What was changedWhereMeasuredEffect
Add DRL to DGMsFive tabular DGMs · URL, CCS, LCLD, Heloc, and Houseconstraint violation rate: 0.0\msmall{\pm0.0}Helped
Add DRL to GOGGLEGOGGLE · CCSF1: 0.039 -> 0.253Helped
Add DRL to GOGGLEGOGGLE · CCSweighted F1: 0.076 -> 0.281Helped
Add DRL to CTGANCTGAN · CCSAUC: 0.914 -> 0.955Helped
Use rejection sampling instead of DRLTabular DGMs · Classification datasetsmachine learning efficacyHurt
Use DRL instead of a linear layerDGM+LL · Classification datasetsF1Mixed
Use DRL instead of a linear layerDGM+LL · Classification datasetsweighted F1Mixed
Use DRL instead of a linear layerDGM+LL · Classification datasetsAUCMixed
Add DRL to DGMsFive tabular DGMs · Classification datasetsF1: 21.4%Helped
Add DRL to DGMsFive tabular DGMs · Classification datasetsweighted F1: 20.5%Helped
Add DRL to DGMsFive tabular DGMs · Classification datasetsAUC: 20.9%Helped

Surprising findings

Limitations

Experimental setup

Datasets: URL CCS LCLD Heloc House

Benchmarks: URL CCS LCLD Heloc House

Metrics: constraint violation rate samplewise constraints violation coverage constraint violation coverage F1 weighted F1 AUC MAE RMSE sample generation time

Baselines: WGAN TableGAN CTGAN TVAE GOGGLE rejection sampling linear layer (LL)

Builds on: Linear Layer for tabular constraints Fourier-Motzkin elimination cutting planes

Closest papers by meaning

Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.

Open scime draft

Get the next scime Dispatch and a monthly field update

Free. We send a confirmation link first; every email has a one-click unsubscribe. Privacy