:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Li, Xijun, Zhu, Fangzhou, Zhen, Hui-Ling, Luo, Weilin, Lu, Meng, Huang, Yimin, Fan, Zhenan, Zhou, Zirui, Kuang, Yufei, Wang, Zhihai, Geng, Zijie, Li, Yang, Liu, Haoyang, An, Zhiwu, Yang, Muming, Li, Jianshu, Wang, Jie, Yan, Junchi, Sun, Defeng, Zhong, Tao, Zhang, Yong, Zeng, Jia, Yuan, Mingxuan, Hao, Jianye, Yao, Jun, Mao, Kun
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2401.05960
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Advancing Symbolic Discovery on Unsupervised Data: A Pre-training Framework for Non-degenerate Implicit Equation Discovery
by: Yufei, Kuang, et al.
Published: (2025)

Opt-Verifier: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verification
by: Liu, Haoyang, et al.
Published: (2026)

Promoting Generalization for Exact Solvers via Adversarial Instance Augmentation
by: Liu, Haoyang, et al.
Published: (2023)

Apollo-MILP: An Alternating Prediction-Correction Neural Solving Framework for Mixed-Integer Linear Programming
by: Liu, Haoyang, et al.
Published: (2025)

Learning to Cut via Hierarchical Sequence/Set Model for Efficient Mixed-Integer Programming
by: Wang, Jie, et al.
Published: (2024)

MILP-StuDio: MILP Instance Generation via Block Structure Decomposition
by: Liu, Haoyang, et al.
Published: (2024)

Hierarchic control for the coupled fourth order parabolic equations
by: Li, Yating, et al.
Published: (2024)

A Deep Instance Generative Framework for MILP Solvers Under Limited Data Availability
by: Geng, Zijie, et al.
Published: (2023)

OptiTree: Hierarchical Thoughts Generation with Tree Search for LLM Optimization Modeling
by: Liu, Haoyang, et al.
Published: (2025)

HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline
by: Li, Yang, et al.
Published: (2023)

Estimation of Heterogeneous Panel Data Models With Mixed Sampling Frequencies
by: Haoran Li, et al.
Published: (2026)

Collab-Solver: Collaborative Solving Policy Learning for Mixed-Integer Linear Programming
by: Li, Siyuan, et al.
Published: (2025)

SAC-Opt: Semantic Anchors for Iterative Correction in Optimization Modeling
by: Zhang, Yansen, et al.
Published: (2025)

MM-OptBench: A Solver-Grounded Benchmark for Multimodal Optimization Modeling
by: Li, Zhong, et al.
Published: (2026)

Giant atom with disorders: Effects from imperfect couplings
by: Han, Muming, et al.
Published: (2025)

AttentionPredictor: Temporal Patterns Matter for KV Cache Compression
by: Yang, Qingyue, et al.
Published: (2025)

Deep Symbolic Optimization for Combinatorial Optimization: Accelerating Node Selection by Discovering Potential Heuristics
by: Liu, Hongyu, et al.
Published: (2024)

PreRoutGNN for Timing Prediction with Order Preserving Partition: Global Circuit Pre-training, Local Delay Learning and Attentional Cell Modeling
by: Zhong, Ruizhe, et al.
Published: (2024)

Accelerating Large Language Model Reasoning via Speculative Search
by: Wang, Zhihai, et al.
Published: (2025)

Generative Latent Neural PDE Solver using Flow Matching
by: Li, Zijie, et al.
Published: (2025)

Transient thermo-elasto-hydrodynamic study of herringbone-grooved mechanical face seal during start-up stage
by: Li, Yongfan, et al.
Published: (2025)

Benchmarking End-To-End Performance of AI-Based Chip Placement Algorithms
by: Wang, Zhihai, et al.
Published: (2024)

SkillVerse : Assessing and Enhancing LLMs with Tree Evaluation
by: Tian, Yufei, et al.
Published: (2025)

UrbanVerse: Scaling Urban Simulation by Watching City-Tour Videos
by: Liu, Mingxuan, et al.
Published: (2025)

The SkatingVerse Workshop & Challenge: Methods and Results
by: Zhao, Jian, et al.
Published: (2024)

Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification
by: Ding, Sichen, et al.
Published: (2026)

A GPU Accelerated Mixed‐Precision Finite Difference Informed Random Walker ( FDiRW ) Solver for Strongly Inhomogeneous Diffusion Problems
by: Zirui Mao, et al.
Published: (2025)

HarmonyDream: Task Harmonization Inside World Models
by: Ma, Haoyu, et al.
Published: (2023)

Diurnal Variation Characteristics of Raindrop Size Distribution Observed by a Parsivel2 Disdrometer in the Ili River Valley
by: Yufei Jiang, et al.
Published: (2024)

Why Attention Patterns Exist: A Unifying Temporal Perspective Analysis
by: Yang, Qingyue, et al.
Published: (2026)

GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection
by: Zhang, Zhanguang, et al.
Published: (2024)

TiAda: A Time-scale Adaptive Algorithm for Nonconvex Minimax Optimization
by: Li, Xiang, et al.
Published: (2022)

Nonharmonic multivariate Fourier transforms and matrices: condition numbers and hyperplane geometry
by: Li, Weilin
Published: (2024)

Multiscale estimates for the condition number of non-harmonic Fourier matrices
by: Li, Weilin
Published: (2023)

Statistical considerations in model‐based dose finding for binary responses under model uncertainty
by: Zhiwu Yan, et al.
Published: (2024)

An Accelerated Proximal Alternating Direction Method of Multipliers for Optimal Decentralized Control of Uncertain Systems
by: Yang, Bo, et al.
Published: (2023)

HyperTree Planning: Enhancing LLM Reasoning via Hierarchical Thinking
by: Gui, Runquan, et al.
Published: (2025)

WMF-AM: Probing LLM Working Memory via Depth-Parameterized Cumulative State Tracking
by: Hou, Dengzhe, et al.
Published: (2026)

Effect of Carbon Fiber Fabric Areal Density on Resistance Welded Joint of Thermoplastic Composites
by: Wenjie Ni, et al.
Published: (2025)

SkillOpt: Executive Strategy for Self-Evolving Agent Skills
by: Yang, Yifan, et al.
Published: (2026)