cs.LO 2206.00512

Neural Network Verification with Proof Production

Proposes proof production based on Farkas' lemma to enhance Simplex-based DNN verification, achieving 98% success with minimal overhead.

Omri Isac, Clark Barrett, Min Zhang et al.

2022-06-01 39
cs.LG 2206.00257

CoNSoLe: Convex Neural Symbolic Learning

CoNSoLe uses double-convex deep Q-learning and Locally Convex Equation Learner for symbolic regression, improving accuracy.

Haoran Li, Yang Weng, Hanghang Tong

2022-06-01 42
cs.LG 2205.15480

Post-hoc Concept Bottleneck Models

Post-hoc concept bottleneck models (PCBM) enable interpretable, high-performance neural networks without dense concept annotations, utilizing multimodal and residual techniques.

Mert Yuksekgonul, Maggie Wang, James Zou

2022-05-31 46
stat.ML 2205.14987

A Continuous Time Framework for Discrete Denoising Models

Proposes a continuous-time diffusion framework for discrete data using CTMCs, with Tau-leaping for efficient sampling, outperforming discrete methods.

Andrew Campbell, Joe Benton, Valentin De Bortoli et al.

2022-05-30 471 citations 40
cs.CL 2205.14217

Diffusion-LM Improves Controllable Text Generation

Diffusion-LM significantly enhances controllable text generation using continuous diffusion models, outperforming existing methods.

Xiang Lisa Li, John Thickstun, Ishaan Gulrajani et al.

2022-05-28 16