Showing 1–10 of 10 results
/ Date/ Name
Mar 16, 2026Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau EquilibriumOct 16, 2025Stability of the spatially homogeneous Landau equation in relative entropy and applications to score-based numerical methodsNov 8, 2025DiScoFormer: Plug-In Density and Score Estimation with TransformersApr 25, 2025Score-based deterministic density samplingMay 16, 2024Transport based particle methods for the Fokker-Planck-Landau equationFeb 3, 2026Learning to Repair Lean Proofs from Compiler FeedbackMar 26, 2026A Neural Score-Based Particle Method for the Vlasov-Maxwell-Landau SystemFeb 5, 2026Semantic Search over 9 Million Mathematical TheoremsFeb 5, 2025REALEDIT: Reddit Edits As a Large-scale Empirical Dataset for Image TransformationsJun 12, 2023Extending JumpProcess.jl for fast point process simulation with time-varying intensities