:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	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
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence
Online-Zugang:	https://arxiv.org/abs/2401.05960
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

Promoting Generalization for Exact Solvers via Adversarial Instance Augmentation
von: Liu, Haoyang, et al.
Veröffentlicht: (2023)

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

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

MILP-StuDio: MILP Instance Generation via Block Structure Decomposition
von: Liu, Haoyang, et al.
Veröffentlicht: (2024)

Hierarchic control for the coupled fourth order parabolic equations
von: Li, Yating, et al.
Veröffentlicht: (2024)

A Deep Instance Generative Framework for MILP Solvers Under Limited Data Availability
von: Geng, Zijie, et al.
Veröffentlicht: (2023)

OptiTree: Hierarchical Thoughts Generation with Tree Search for LLM Optimization Modeling
von: Liu, Haoyang, et al.
Veröffentlicht: (2025)

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

Estimation of Heterogeneous Panel Data Models With Mixed Sampling Frequencies
von: Haoran Li, et al.
Veröffentlicht: (2026)

Collab-Solver: Collaborative Solving Policy Learning for Mixed-Integer Linear Programming
von: Li, Siyuan, et al.
Veröffentlicht: (2025)

SAC-Opt: Semantic Anchors for Iterative Correction in Optimization Modeling
von: Zhang, Yansen, et al.
Veröffentlicht: (2025)

MM-OptBench: A Solver-Grounded Benchmark for Multimodal Optimization Modeling
von: Li, Zhong, et al.
Veröffentlicht: (2026)

Giant atom with disorders: Effects from imperfect couplings
von: Han, Muming, et al.
Veröffentlicht: (2025)

AttentionPredictor: Temporal Patterns Matter for KV Cache Compression
von: Yang, Qingyue, et al.
Veröffentlicht: (2025)

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

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

Accelerating Large Language Model Reasoning via Speculative Search
von: Wang, Zhihai, et al.
Veröffentlicht: (2025)

Generative Latent Neural PDE Solver using Flow Matching
von: Li, Zijie, et al.
Veröffentlicht: (2025)

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

Benchmarking End-To-End Performance of AI-Based Chip Placement Algorithms
von: Wang, Zhihai, et al.
Veröffentlicht: (2024)

SkillVerse : Assessing and Enhancing LLMs with Tree Evaluation
von: Tian, Yufei, et al.
Veröffentlicht: (2025)

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

The SkatingVerse Workshop & Challenge: Methods and Results
von: Zhao, Jian, et al.
Veröffentlicht: (2024)

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

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

HarmonyDream: Task Harmonization Inside World Models
von: Ma, Haoyu, et al.
Veröffentlicht: (2023)

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

Why Attention Patterns Exist: A Unifying Temporal Perspective Analysis
von: Yang, Qingyue, et al.
Veröffentlicht: (2026)

GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection
von: Zhang, Zhanguang, et al.
Veröffentlicht: (2024)

TiAda: A Time-scale Adaptive Algorithm for Nonconvex Minimax Optimization
von: Li, Xiang, et al.
Veröffentlicht: (2022)

Nonharmonic multivariate Fourier transforms and matrices: condition numbers and hyperplane geometry
von: Li, Weilin
Veröffentlicht: (2024)

Multiscale estimates for the condition number of non-harmonic Fourier matrices
von: Li, Weilin
Veröffentlicht: (2023)

Statistical considerations in model‐based dose finding for binary responses under model uncertainty
von: Zhiwu Yan, et al.
Veröffentlicht: (2024)

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

HyperTree Planning: Enhancing LLM Reasoning via Hierarchical Thinking
von: Gui, Runquan, et al.
Veröffentlicht: (2025)

WMF-AM: Probing LLM Working Memory via Depth-Parameterized Cumulative State Tracking
von: Hou, Dengzhe, et al.
Veröffentlicht: (2026)

Effect of Carbon Fiber Fabric Areal Density on Resistance Welded Joint of Thermoplastic Composites
von: Wenjie Ni, et al.
Veröffentlicht: (2025)

SkillOpt: Executive Strategy for Self-Evolving Agent Skills
von: Yang, Yifan, et al.
Veröffentlicht: (2026)