5 papers
Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium
Vasily Ilin
We present a complete Lean 4 formalization of the equilibrium characterization in the Vlasov-Maxwell-Landau (VML) system, which describes the motion of charged plasma. The project…
Theory of (Co)homological Invariants on Quantum LDPC Codes
Zimu Li, Yuguo Shao, Fuchuan Wei +2
With recent breakthroughs in the construction of good qLDPC codes and nearly good qLTCs, the study of (co)homological invariants of quantum code complexes, which fundamentally unde…
Stability of the spatially homogeneous Landau equation in relative entropy and applications to score-based numerical methods
Vasily Ilin
We give a short and elementary proof of stability for strong solutions of the spatially homogeneous Landau equation with Coulomb collisions, measured in relative entropy. The argum…
Score-based deterministic density sampling
Vasily Ilin, Peter Sushko, Jingwei Hu
We propose a deterministic sampling framework using Score-Based Transport Modeling for sampling an unnormalized target density given only its score . Our method…
REALEDIT: Reddit Edits As a Large-scale Empirical Dataset for Image Transformations
Peter Sushko, Ayana Bharadwaj, Zhi Yang Lim +6
Existing image editing models struggle to meet real-world demands. Despite excelling in academic benchmarks, they have yet to be widely adopted for real user needs. Datasets that p…