Cover Image

Certified Pruning from Counterfactual Consistency: Exact Certificates and Structured SAT Families

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	von Liechtenstein, Maximilian Ralph Peter
Format:	Preprint
Published:	2025
Subjects:	Quantum Physics F.2.2; I.2.8; G.2.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Data Verification is the Future of Quantum Computing Copilots
by: Song, Junhao, et al.
Published: (2026)

On the Completeness of Conflict-Based Search: Temporally-Relative Duplicate Pruning
by: Walker, Thayne T, et al.
Published: (2024)

STERN: Simultaneous Trajectory Estimation and Relative Navigation for Autonomous Underwater Proximity Operations
by: Espinoza, Aldo Terán, et al.
Published: (2023)

An In-depth Study of LLM Contributions to the Bin Packing Problem
by: Herrmann, Julien, et al.
Published: (2025)

PAPN: Proximity Attention Encoder and Pointer Network Decoder for Parcel Pickup Route Prediction
by: Denis, Hansi, et al.
Published: (2025)

Domain-Independent Dynamic Programming
by: Kuroiwa, Ryo, et al.
Published: (2024)

StepScorer: Accelerating Reinforcement Learning with Step-wise Scoring and Psychological Regret Modeling
by: Xu, Zhe
Published: (2026)

The Rectilinear Marco Polo Problem
by: Gila, Ofek, et al.
Published: (2025)

Graph-Coarsening Approach for the Capacitated Vehicle Routing Problem with Time Windows
by: Özyılmaz, Mustafa Mert
Published: (2025)

A Machine Learning Approach That Beats Large Rubik's Cubes
by: Chervov, Alexander, et al.
Published: (2025)

Empirical Evaluation of QAOA with Zero Noise Extrapolation on NISQ Hardware for Carbon Credit Portfolio Optimization in the Brazilian Cerrado
by: Ribeiro, Hugo José
Published: (2026)

On Dynamic Programming Theory for Leader-Follower Stochastic Games
by: Dibangoye, Jilles Steeve, et al.
Published: (2025)

QuIC: A Training-Free Quantum Graph Embedding from Ideal Analysis to Practical Hardware Evaluation
by: Miller, Luke, et al.
Published: (2026)

Relative Navigation and Dynamic Target Tracking for Autonomous Underwater Proximity Operations
by: Baxter, David, et al.
Published: (2025)

A Unified Framework for Automated Assembly Sequence and Production Line Planning using Graph-based Optimization
by: Hartmann, Christoph, et al.
Published: (2025)

Graph Neural Networks are Heuristics
by: Min, Yimeng, et al.
Published: (2026)

REMoH: A Reflective Evolution of Multi-objective Heuristics approach via Large Language Models
by: Forniés-Tabuenca, Diego, et al.
Published: (2025)

Can AI Assist in Olympiad Coding
by: Ren, Samuel
Published: (2025)

Scalability Optimization in Cloud-Based AI Inference Services: Strategies for Real-Time Load Balancing and Automated Scaling
by: Jin, Yihong, et al.
Published: (2025)

From Pixels to Privacy: Temporally Consistent Video Anonymization via Token Pruning for Privacy Preserving Action Recognition
by: Aslam, Nazia, et al.
Published: (2026)

A Grover-Based Quantum Algorithm for Solving Perfect Mazes via Fitness-Guided Search
by: Wu, Michelle L.
Published: (2025)

Emotion-Inspired Learning Signals (EILS): A Homeostatic Framework for Adaptive Autonomous Agents
by: Tiwari, Dhruv
Published: (2025)

Random-Key Algorithms for Optimizing Integrated Operating Room Scheduling
by: Vieira, Bruno Salezze, et al.
Published: (2025)

Scattered Forest Search: Smarter Code Space Exploration with LLMs
by: Light, Jonathan, et al.
Published: (2024)

The Marco Polo Problem: A Combinatorial Approach to Geometric Localization
by: Gila, Ofek, et al.
Published: (2025)

A Multidisciplinary Approach to Telegram Data Analysis
by: Varbanov, Velizar, et al.
Published: (2024)

Curved Boolean Logic: A Contextual Generalization of Propositional Logic with Algorithmic Consequences
by: von Liechtenstein, Maximilian R. P.
Published: (2025)

The characteristic polynomials of $r$-uniform hypercycles with length $l$
by: Bo, Dong, et al.
Published: (2025)

Evading Overlapping Community Detection via Proxy Node Injection
by: Loi, Dario, et al.
Published: (2025)

Dynamic Inclusion and Bounded Multi-Factor Tilts for Robust Portfolio Construction
by: Garrone, Roberto
Published: (2026)

Multi-Party Multi-Objective Optimization as Consensus Search: Runtime Analysis of Cross-Party Recombination
by: Fang, Xiaolei, et al.
Published: (2026)

Maintaining Routing Structures under Deletions via Self-Pruning
by: Haeupler, Bernhard, et al.
Published: (2025)

CoupleEvo: Evolving Heuristics for Coupled Optimization Problems Using Large Language Models
by: Bömer, Thomas, et al.
Published: (2026)

Temporal Tensors and Quantum Shortcut Dynamics in a Supermaze of Multidimensional Time
by: Khan, Koffka
Published: (2025)

Ontology Neural Network and ORTSF: A Framework for Topological Reasoning and Delay-Robust Control
by: Oh, Jaehong
Published: (2025)

Toward Intelligent and Secure Cloud: Large Language Model Empowered Proactive Defense
by: Zhou, Yuyang, et al.
Published: (2024)

Independent Distributions on a Multi-Branching AND-OR Tree of Height 2
by: Shigemizu, Mika, et al.
Published: (2018)

OODEval: Evaluating Large Language Models on Object-Oriented Design
by: Xiao, Bingxu, et al.
Published: (2026)

Refinement of Uncertainty Relations in Quantum Mechanics
by: Efimov, Sergei P.
Published: (2025)

Exceptional point induced quantum phase synchronization and entanglement dynamics in mechanically coupled gain-loss oscillators
by: Ghosh, Joy, et al.
Published: (2023)