AutoPBO: LLM-powered Optimization for Local Search PBO Solvers
Fuente:
arXiv
Salvato in:
| Autori principali: | Li, Jinyuan, Chu, Yi, Sun, Yiwen, Zou, Mengchuan, Cai, Shaowei |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization
di: Chen, Zhihan, et al.
Pubblicazione: (2024)
di: Chen, Zhihan, et al.
Pubblicazione: (2024)
DT-PBO: an Interpretable Tree-based Surrogate Model for Preferential Bayesian Optimization
di: Leenders, Nick, et al.
Pubblicazione: (2025)
di: Leenders, Nick, et al.
Pubblicazione: (2025)
New Characterizations and Efficient Local Search for General Integer Linear Programming
di: Lin, Peng, et al.
Pubblicazione: (2023)
di: Lin, Peng, et al.
Pubblicazione: (2023)
AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
di: Sun, Yiwen, et al.
Pubblicazione: (2024)
di: Sun, Yiwen, et al.
Pubblicazione: (2024)
Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis
di: Ye, Furong, et al.
Pubblicazione: (2024)
di: Ye, Furong, et al.
Pubblicazione: (2024)
THERMAL DECOMPOSITION OF PBO FIBER AND HIGH THERMAL MECHANICAL PROPERTIES OF PBO COMPOSITE MATERIALS
di: Liping Bian, et al.
Pubblicazione: (2013)
di: Liping Bian, et al.
Pubblicazione: (2013)
Local Search for Integer Quadratic Programming
di: He, Xiang, et al.
Pubblicazione: (2024)
di: He, Xiang, et al.
Pubblicazione: (2024)
AutoSG: LLM-Driven Solver Generation Solely from Task Prompts for Expensive Optimization
di: Gu, Haoran, et al.
Pubblicazione: (2026)
di: Gu, Haoran, et al.
Pubblicazione: (2026)
Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers
di: Zheng, Jiongzhi, et al.
Pubblicazione: (2024)
di: Zheng, Jiongzhi, et al.
Pubblicazione: (2024)
Automatically discovering heuristics in a complex SAT solver with large language models
di: Sun, Yiwen, et al.
Pubblicazione: (2025)
di: Sun, Yiwen, et al.
Pubblicazione: (2025)
AutoDroid: LLM-powered Task Automation in Android
di: Wen, Hao, et al.
Pubblicazione: (2023)
di: Wen, Hao, et al.
Pubblicazione: (2023)
Assessing and Mitigating Miscalibration in LLM-Based Social Science Measurement
di: Wang, Jinyuan, et al.
Pubblicazione: (2026)
di: Wang, Jinyuan, et al.
Pubblicazione: (2026)
Enhanced Tribological Properties of PBO /Polyimide Composites Containing GO Interfacial Phase
di: Liang Yu, et al.
Pubblicazione: (2025)
di: Liang Yu, et al.
Pubblicazione: (2025)
Formalize, Don't Optimize: The Heuristic Trap in LLM-Generated Combinatorial Solvers
di: Wang, Haoyu, et al.
Pubblicazione: (2026)
di: Wang, Haoyu, et al.
Pubblicazione: (2026)
GAS: Generative Auto-bidding with Post-training Search
di: Li, Yewen, et al.
Pubblicazione: (2024)
di: Li, Yewen, et al.
Pubblicazione: (2024)
Failure Ontology: A Lifelong Learning Framework for Blind Spot Detection and Resilience Design
di: Sun, Yuan, et al.
Pubblicazione: (2026)
di: Sun, Yuan, et al.
Pubblicazione: (2026)
OPTDTALS: Approximate Logic Synthesis via Optimal Decision Trees Approach
di: Hu, Hao, et al.
Pubblicazione: (2024)
di: Hu, Hao, et al.
Pubblicazione: (2024)
Memory-Guided Tree Search with Cross-Branch Knowledge Transfer for LLM Solver Synthesis
di: Haji, Fatemeh, et al.
Pubblicazione: (2026)
di: Haji, Fatemeh, et al.
Pubblicazione: (2026)
TracLLM: A Generic Framework for Attributing Long Context LLMs
di: Wang, Yanting, et al.
Pubblicazione: (2025)
di: Wang, Yanting, et al.
Pubblicazione: (2025)
OptiTree: Hierarchical Thoughts Generation with Tree Search for LLM Optimization Modeling
di: Liu, Haoyang, et al.
Pubblicazione: (2025)
di: Liu, Haoyang, et al.
Pubblicazione: (2025)
From Fiber to Composite: In Situ Addition of Graphene Oxide Driven Structural and Mechanical Improvements in PBO
di: Ziyi Zhang, et al.
Pubblicazione: (2025)
di: Ziyi Zhang, et al.
Pubblicazione: (2025)
AutoSiMP: Autonomous Topology Optimization from Natural Language via LLM-Driven Problem Configuration and Adaptive Solver Control
di: Yang, Shaoliang, et al.
Pubblicazione: (2026)
di: Yang, Shaoliang, et al.
Pubblicazione: (2026)
A Vision for Auto Research with LLM Agents
di: Liu, Chengwei, et al.
Pubblicazione: (2025)
di: Liu, Chengwei, et al.
Pubblicazione: (2025)
AutoSearch: Adaptive Search Depth for Efficient Agentic RAG via Reinforcement Learning
di: Sun, Jingbo, et al.
Pubblicazione: (2026)
di: Sun, Jingbo, et al.
Pubblicazione: (2026)
DISCO: Efficient Diffusion Solver for Large-Scale Combinatorial Optimization Problems
di: Zhao, Hang, et al.
Pubblicazione: (2024)
di: Zhao, Hang, et al.
Pubblicazione: (2024)
LLM Based Bayesian Optimization for Prompt Search
di: Ballew, Adam, et al.
Pubblicazione: (2025)
di: Ballew, Adam, et al.
Pubblicazione: (2025)
Hyperparameter Optimization of Constraint Programming Solvers
di: Haddad, Hedieh, et al.
Pubblicazione: (2026)
di: Haddad, Hedieh, et al.
Pubblicazione: (2026)
Shaking to Reveal: Perturbation-Based Detection of LLM Hallucinations
di: Luo, Jinyuan, et al.
Pubblicazione: (2025)
di: Luo, Jinyuan, et al.
Pubblicazione: (2025)
RE-MCDF: Closed-Loop Multi-Expert LLM Reasoning for Knowledge-Grounded Clinical Diagnosis
di: Shen, Shaowei, et al.
Pubblicazione: (2026)
di: Shen, Shaowei, et al.
Pubblicazione: (2026)
Reputation as a Solution to Cooperation Collapse in LLM-based MASs
di: Ren, Siyue, et al.
Pubblicazione: (2025)
di: Ren, Siyue, et al.
Pubblicazione: (2025)
From Natural Language to Solver-Ready Power System Optimization: An LLM-Assisted, Validation-in-the-Loop Framework
di: Hu, Yunkai, et al.
Pubblicazione: (2025)
di: Hu, Yunkai, et al.
Pubblicazione: (2025)
Generative Auto-Bidding with Unified Modeling and Exploration
di: Zhang, Mingming, et al.
Pubblicazione: (2026)
di: Zhang, Mingming, et al.
Pubblicazione: (2026)
AutoBackdoor: Automating Backdoor Attacks via LLM Agents
di: Li, Yige, et al.
Pubblicazione: (2025)
di: Li, Yige, et al.
Pubblicazione: (2025)
Prompt Recursive Search: A Living Framework with Adaptive Growth in LLM Auto-Prompting
di: Zhao, Xiangyu, et al.
Pubblicazione: (2024)
di: Zhao, Xiangyu, et al.
Pubblicazione: (2024)
Large Language Models as End-to-end Combinatorial Optimization Solvers
di: Jiang, Xia, et al.
Pubblicazione: (2025)
di: Jiang, Xia, et al.
Pubblicazione: (2025)
DroidCall: A Dataset for LLM-powered Android Intent Invocation
di: Xie, Weikai, et al.
Pubblicazione: (2024)
di: Xie, Weikai, et al.
Pubblicazione: (2024)
AutoPDL: Automatic Prompt Optimization for LLM Agents
di: Spiess, Claudio, et al.
Pubblicazione: (2025)
di: Spiess, Claudio, et al.
Pubblicazione: (2025)
AutoContext: Instance-Level Context Learning for LLM Agents
di: Cai, Kuntai, et al.
Pubblicazione: (2025)
di: Cai, Kuntai, et al.
Pubblicazione: (2025)
Large-Scale Optimization Model Auto-Formulation: Harnessing LLM Flexibility via Structured Workflow
di: Liang, Kuo, et al.
Pubblicazione: (2026)
di: Liang, Kuo, et al.
Pubblicazione: (2026)
Auto-Prompt Ensemble for LLM Judge
di: Li, Jiajie, et al.
Pubblicazione: (2025)
di: Li, Jiajie, et al.
Pubblicazione: (2025)
Documenti analoghi
-
ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization
di: Chen, Zhihan, et al.
Pubblicazione: (2024) -
DT-PBO: an Interpretable Tree-based Surrogate Model for Preferential Bayesian Optimization
di: Leenders, Nick, et al.
Pubblicazione: (2025) -
New Characterizations and Efficient Local Search for General Integer Linear Programming
di: Lin, Peng, et al.
Pubblicazione: (2023) -
AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
di: Sun, Yiwen, et al.
Pubblicazione: (2024) -
Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis
di: Ye, Furong, et al.
Pubblicazione: (2024)