:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Florencio, Rafael, Guerrero, Julio
Format:	Preprint
Published:	2025
Subjects:	Machine Learning
Online Access:	https://arxiv.org/abs/2505.12430
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems
by: Brix, Christopher, et al.
Published: (2026)

NAPA: Intermediate-level Variational Native-pulse Ansatz for Variational Quantum Algorithms
by: Liang, Zhiding, et al.
Published: (2022)

Data-augmented Learning of Geodesic Distances in Irregular Domains through Soner Boundary Conditions
by: Muchacho, Rafael I. Cabral, et al.
Published: (2025)

Boolean Satisfiability via Imitation Learning
by: Zhang, Zewei, et al.
Published: (2025)

Variational Physics-Informed Ansatz for Reconstructing Hidden Interaction Networks from Steady States
by: Luo, Kaiming
Published: (2025)

Separating Ansatz Discovery from Deployment on Larger Problems: Reinforcement Learning for Modular Circuit Design
by: Turati, Gloria, et al.
Published: (2025)

Learning-Augmented Algorithms for Boolean Satisfiability
by: Attias, Idan, et al.
Published: (2025)

Learning to Solve Weighted Maximum Satisfiability with a Co-Training Architecture
by: Wan, Kaidi, et al.
Published: (2025)

Univariate Conditional Variational Autoencoder for Morphogenic Patterns Design in Frontal Polymerization-Based Manufacturing
by: Liu, Qibang, et al.
Published: (2024)

Fourier PINNs: From Strong Boundary Conditions to Adaptive Fourier Bases
by: Cooley, Madison, et al.
Published: (2024)

H-EFT-VA: An Effective-Field-Theory Variational Ansatz with Provable Barren Plateau Avoidance
by: Hamid, Eyad I. B
Published: (2026)

Learning Better Representations From Less Data For Propositional Satisfiability
by: Ghanem, Mohamed, et al.
Published: (2024)

On the Expressive Power of GNNs for Boolean Satisfiability
by: Peltonen, Saku, et al.
Published: (2026)

On the Neural Feature Ansatz for Deep Neural Networks
by: Tansley, Edward, et al.
Published: (2025)

Configuration-to-Performance Scaling Law with Neural Ansatz
by: Zhang, Huaqing, et al.
Published: (2026)

Imposing Boundary Conditions on Neural Operators via Learned Function Extensions
by: Mousavi, Sepehr, et al.
Published: (2026)

Improving Rectified Flow with Boundary Conditions
by: Hu, Xixi, et al.
Published: (2025)

Continual Learning as a Multiphase Moving-Boundary Problem
by: Khilar, Snigdha Chandan
Published: (2026)

Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
by: Hůla, Jan, et al.
Published: (2024)

Self-Conditioned Denoising for Atomistic Representation Learning
by: Perez, Tynan, et al.
Published: (2026)

Twirlator: A Pipeline for Analyzing Subgroup Symmetry Effects in Quantum Machine Learning Ansatzes
by: Uotila, Valter, et al.
Published: (2025)

Score-Based Variational Inference for Inverse Problems
by: Xue, Zhipeng, et al.
Published: (2024)

DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL
by: Jackermeier, Mathias, et al.
Published: (2024)

The AI Definition and a Program Which Satisfies this Definition
by: Dobrev, Dimiter
Published: (2022)

Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing
by: Lu, Chia-Hsuan, et al.
Published: (2025)

Machine Learning Based Optimization Workflow for Tuning Numerical Settings of Differential Equation Solvers for Boundary Value Problems
by: Victor, Viny Saajan, et al.
Published: (2024)

A Mean Field Ansatz for Zero-Shot Weight Transfer
by: Chen, Xingyuan, et al.
Published: (2024)

Beyond Vanilla Variational Autoencoders: Detecting Posterior Collapse in Conditional and Hierarchical Variational Autoencoders
by: Dang, Hien, et al.
Published: (2023)

Conditional Mutual Information Based Diffusion Posterior Sampling for Solving Inverse Problems
by: Hamidi, Shayan Mohajer, et al.
Published: (2025)

A Prefixed Patch Time Series Transformer for Two-Point Boundary Value Problems in Three-Body Problems
by: Hatakeyama, Akira, et al.
Published: (2025)

Fair Decisions from Calibrated Scores: Achieving Optimal Classification While Satisfying Sufficiency
by: Benger, Etam, et al.
Published: (2026)

Design Space Exploration and Explanation via Conditional Variational Autoencoders in Meta-model-based Conceptual Design of Pedestrian Bridges
by: Balmer, Vera M., et al.
Published: (2022)

Barren Plateaus as Destructive Interference: A Diagnostic Framework and Implications for Structured Ansatzes
by: Kang, Pilsung
Published: (2026)

Advancing Autonomous VLM Agents via Variational Subgoal-Conditioned Reinforcement Learning
by: Wu, Qingyuan, et al.
Published: (2025)

A Minimax-MDP Framework with Future-imposed Conditions for Learning-augmented Problems
by: Chen, Xin, et al.
Published: (2025)

Discrete Modeling via Boundary Conditional Diffusion Processes
by: Gu, Yuxuan, et al.
Published: (2024)

Ansatz-free Hamiltonian learning with Heisenberg-limited scaling
by: Hu, Hong-Ye, et al.
Published: (2025)

Walk-on-Interfaces: A Monte Carlo Estimator for an Elliptic Interface Problem with Nonhomogeneous Flux Jump Conditions and a Neumann Boundary Condition
by: Ding, Xinwen, et al.
Published: (2025)

LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-based Planning
by: Feng, Zeyu, et al.
Published: (2024)

The Computational Complexity of Satisfiability in State Space Models
by: Alsmann, Eric, et al.
Published: (2025)