| A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis | Apr 29, 2021 | CryptanalysisForm | —Unverified | 0 |
| DeFine: A Decomposed and Fine-Grained Annotated Dataset for Long-form Article Generation | Mar 10, 2025 | ArticlesForm | —Unverified | 0 |
| DeformNet: Free-Form Deformation Network for 3D Shape Reconstruction from a Single Image | Aug 11, 2017 | 3D Reconstruction3D Shape Reconstruction | —Unverified | 0 |
| Degradation-Infused Energy Portfolio Allocation Framework: Risk-Averse Fair Storage Participation | Nov 3, 2024 | FairnessForm | —Unverified | 0 |
| Degrees of individual and groupwise backward and forward responsibility in extensive-form games with ambiguity, and their application to social choice problems | Jul 9, 2020 | Binary ClassificationForm | —Unverified | 0 |
| Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems | Sep 25, 2021 | Form | —Unverified | 0 |
| Density Approximation of Affine Jump Diffusions via Closed-Form Moment Matching | Apr 9, 2025 | Computational EfficiencyForm | —Unverified | 0 |
| Density Matrices with Metric for Derivational Ambiguity | Aug 20, 2019 | Form | —Unverified | 0 |
| Derivation of Closed Form of Expected Improvement for Gaussian Process Trained on Log-Transformed Objective | Nov 27, 2024 | Bayesian OptimizationForm | —Unverified | 0 |
| Advantages and a Limitation of Using LEG Nets in a Real-TIme Problem | Mar 28, 2013 | DiagnosticForm | —Unverified | 0 |
