Cover Image

NP-Engine: Empowering Optimization Reasoning in Large Language Models with Verifiable Synthetic NP Problems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Li, Xiaozhe, Fang, Xinyu, Ding, Shengyuan, Li, Linyang, Duan, Haodong, Liu, Qingwen, Chen, Kai
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

OPT-BENCH: Evaluating LLM Agent on Large-Scale Search Spaces Optimization Problems
by: Li, Xiaozhe, et al.
Published: (2025)

OPT-BENCH: Evaluating the Iterative Self-Optimization of LLM Agents in Large-Scale Search Spaces
by: Li, Xiaozhe, et al.
Published: (2026)

Beyond Mode Collapse: Distribution Matching for Diverse Reasoning
by: Li, Xiaozhe, et al.
Published: (2026)

NPG-Muse: Scaling Long Chain-of-Thought Reasoning with NP-Hard Graph Problems
by: Wang, Yuyao, et al.
Published: (2025)

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles
by: Chen, Jiangjie, et al.
Published: (2025)

The Quiver Problem is NP Complete
by: Kac, Victor, et al.
Published: (2025)

NP-complete Problems can be Solved and Verified in Polynomial Time
by: Syzdykov, Mirzakhmet
Published: (2025)

Implementation of Polynomial NP-Complete Algorithms Based on the NP Verifier Simulation Framework
by: Lee, Changryeol
Published: (2026)

ENTRA: Entropy-Based Redundancy Avoidance in Large Language Model Reasoning
by: Cai, Ruichu, et al.
Published: (2026)

Logic Contrastive Reasoning with Lightweight Large Language Model for Math Word Problems
by: Kai, Ding, et al.
Published: (2024)

InfEngine: A Self-Verifying and Self-Optimizing Intelligent Engine for Infrared Radiation Computing
by: Ding, Kun, et al.
Published: (2026)

Yukthi Opus: A Multi-Chain Hybrid Metaheuristic for Large-Scale NP-Hard Optimization
by: Vikraman, SB Danush, et al.
Published: (2026)

LLatrieval: LLM-Verified Retrieval for Verifiable Generation
by: Li, Xiaonan, et al.
Published: (2023)

Timely Machine: Awareness of Time Makes Test-Time Scaling Agentic
by: Ma, Yichuan, et al.
Published: (2026)

Sorting by Strip Swaps is NP-Hard
by: Roy, Swapnoneel, et al.
Published: (2025)

What and When to Distill: Selective Hindsight Distillation for Multi-Turn Agents
by: Li, Xiaozhe, et al.
Published: (2026)

Verifying Large Language Models' Reasoning Paths via Correlation Matrix Rank
by: Liu, Jiayu, et al.
Published: (2025)

Oscillator Formulations of Many NP Problems
by: Cai, Wenxiao, et al.
Published: (2025)

Empowering Large Language Models for Textual Data Augmentation
by: Li, Yichuan, et al.
Published: (2024)

Atom Cavity Encoding for NP-Complete Problems
by: Ye, Meng, et al.
Published: (2024)

Autonomous Code Evolution Meets NP-Completeness
by: Yu, Cunxi, et al.
Published: (2025)

Universal NP-Hardness of Clustering under General Utilities
by: Majumdar, Angshul
Published: (2026)

Bridging Pattern-Aware Complexity with NP-Hard Optimization: A Unifying Framework and Empirical Study
by: Saidi, Olivier
Published: (2025)

R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
by: Jain, Raj, et al.
Published: (2025)

UrbanLLaVA: A Multi-modal Large Language Model for Urban Intelligence with Spatial Reasoning and Understanding
by: Feng, Jie, et al.
Published: (2025)

Towards Geometry-Preserving Reductions Between Constraint Satisfaction Problems (and other problems in NP)
by: Istrate, Gabriel
Published: (2024)

Peer-aided Repairer: Empowering Large Language Models to Repair Advanced Student Assignments
by: Zhao, Qianhui, et al.
Published: (2024)

Ontológico: argumento para CoNP×NP e PvsNP
by: Brito, Pedro
Published: (2026)

Ontológico: argumento para CoNP×NP e PvsNP
by: Brito, Pedro
Published: (2026)

DNA Probe Computing System for Solving NP-Complete Problems
by: Xu, Jin, et al.
Published: (2025)

Vision Search Assistant: Empower Vision-Language Models as Multimodal Search Engines
by: Zhang, Zhixin, et al.
Published: (2024)

A Survey of Inductive Reasoning for Large Language Models
by: Chen, Kedi, et al.
Published: (2025)

NP-Hard Lower Bound Complexity for Semantic Self-Verification
by: Young, Robin
Published: (2025)

King Chasing Problem in Chinese Chess is NP-hard
by: Li, Chao, et al.
Published: (2026)

VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning
by: Singh, Vikash, et al.
Published: (2026)

Empowering Private Tutoring by Chaining Large Language Models
by: Chen, Yulin, et al.
Published: (2023)

EconAgent: Large Language Model-Empowered Agents for Simulating Macroeconomic Activities
by: Li, Nian, et al.
Published: (2023)

AgentsCoDriver: Large Language Model Empowered Collaborative Driving with Lifelong Learning
by: Hu, Senkang, et al.
Published: (2024)

AGPO: Asymmetric Group Policy Optimization for Verifiable Reasoning and Search Ads Relevance at JD
by: Xu, Yang, et al.
Published: (2026)