Copertina

HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Li, Yang, Chen, Xinyan, Guo, Wenxuan, Li, Xijun, Luo, Wanqian, Huang, Junhua, Zhen, Hui-Ling, Yuan, Mingxuan, Yan, Junchi
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Artificial Intelligence Machine Learning
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation
di: Cotnareanu, Joseph, et al.
Pubblicazione: (2024)

Hard Clique Formulas for Resolution
di: Atserias, Albert
Pubblicazione: (2026)

How Hard Can It Be? Hardness-Aware Multi-Objective Unlearning
di: Chen, Jiangwei, et al.
Pubblicazione: (2026)

Compress the Easy, Explore the Hard: Difficulty-Aware Entropy Regularization for Efficient LLM Reasoning
di: Luo, Qin-Wen, et al.
Pubblicazione: (2026)

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
di: Jha, Piyush, et al.
Pubblicazione: (2024)

Efficient Parallel Algorithm for Decomposing Hard CircuitSAT Instances
di: Kondratiev, Victor, et al.
Pubblicazione: (2026)

Hardness of Finding Kings and Strong Kings
di: Alaoui, Ziad Ismaili, et al.
Pubblicazione: (2025)

Quantum Mechanics Is Not That Hard to Understand
di: Turishchev, Alexander
Pubblicazione: (2026)

Think Smart, Not Hard: Difficulty Adaptive Reasoning for Large Audio Language Models
di: Sheng, Zhichao, et al.
Pubblicazione: (2025)

Where the Really Hard Quadratic Assignment Problems Are: the QAP-SAT instances
di: Verel, Sébastien, et al.
Pubblicazione: (2024)

Hard Region Aware Network for Remote Sensing Change Detection
di: Li, Zhenglai, et al.
Pubblicazione: (2023)

When Symmetry Yields NP-Hardness: Affine ML-SAT on S5 Frames
di: Krebs, Andreas, et al.
Pubblicazione: (2025)

Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation
di: Amir, Guy, et al.
Pubblicazione: (2024)

Structural Origin and the Minimal Syntax of NP-Hardness: Analysis of SAT from Syntactic Generativity and Compositional Collapse
di: Nishiyama, Yumiko
Pubblicazione: (2025)

HardFlow: Hard-Constrained Sampling for Flow-Matching Models via Trajectory Optimization
di: Li, Zeyang, et al.
Pubblicazione: (2025)

On the Hardness of the Drone Delivery Problem
di: Bartlmae, Simon, et al.
Pubblicazione: (2025)

Strong Low Degree Hardness for the Number Partitioning Problem
di: Mallarapu, Rushil, et al.
Pubblicazione: (2025)

Hardness Amplification for (Sparse) LPN
di: Aggarwal, Divesh, et al.
Pubblicazione: (2026)

HATS: Hardness-Aware Trajectory Synthesis for GUI Agents
di: Shao, Rui, et al.
Pubblicazione: (2026)

A Hard-to-Beat Baseline for Training-free CLIP-based Adaptation
di: Wang, Zhengbo, et al.
Pubblicazione: (2024)

Upsample Anything: A Simple and Hard to Beat Baseline for Feature Upsampling
di: Seo, Minseok, et al.
Pubblicazione: (2025)

Hard Reading
di: Shippey, Tom
Pubblicazione: (2019)

Hard at Work
di: Green, Francis
Pubblicazione: (2026)

Hard Work
di: Tammisto, Tuomas
Pubblicazione: (2025)

HalluHard: A Hard Multi-Turn Hallucination Benchmark
di: Fan, Dongyang, et al.
Pubblicazione: (2026)

On Hardness and Approximation of Broadcasting in Structured Graphs
di: Bringolf, Jeffrey, et al.
Pubblicazione: (2025)

Hardness of recognizing phases of matter
di: Schuster, Thomas, et al.
Pubblicazione: (2025)

Globally Correlation-Aware Hard Negative Generation
di: Peng, Wenjie, et al.
Pubblicazione: (2024)

Forge: Quality-Aware Reinforcement Learning for NP-Hard Optimization in LLMs
di: Li, Xiaozhe, et al.
Pubblicazione: (2026)

When Hard Negatives Hurt: Bridging the Generative-Discriminative Gap in Hard Negative Synthesis for Retrieval
di: Zhang, Zhicheng, et al.
Pubblicazione: (2026)

HardNet: Hard-Constrained Neural Networks with Universal Approximation Guarantees
di: Min, Youngjae, et al.
Pubblicazione: (2024)

How Hard Does It Have to Be? Reconsidering European Integration and Hard Euroscepticism
di: Andrea Pareschi
Pubblicazione: (2025)

Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving
di: Shi, Zhengyuan, et al.
Pubblicazione: (2024)

Easy2Hard-Bench: Standardized Difficulty Labels for Profiling LLM Performance and Generalization
di: Ding, Mucong, et al.
Pubblicazione: (2024)

Limits of Difficulty Scaling: Hard Samples Yield Diminishing Returns in GRPO-Tuned SLMs
di: Yadav, Suraj, et al.
Pubblicazione: (2026)

Fast on the Easy, Deep on the Hard: Efficient Reasoning via Powered Length Penalty
di: Ling, Zehui, et al.
Pubblicazione: (2025)

Perfect Sampling for Hard Spheres from Strong Spatial Mixing
di: Anand, Konrad, et al.
Pubblicazione: (2023)

Easy over Hard: A Simple Baseline for Test Failures Causes Prediction
di: Gao, Zhipeng, et al.
Pubblicazione: (2024)

Hard-Synth: Synthesizing Diverse Hard Samples for ASR using Zero-Shot TTS and LLM
di: Yu, Jiawei, et al.
Pubblicazione: (2024)

URA - Hard Problem
di: Gary Flugge
Pubblicazione: (2026)