MIRA Lab
- 137 followers
- University of Science and Technology of China, Hefei
- https://www.miralab.ai
- info@miralab.ai
Popular repositories Loading
-
L2O-HEM-Torch
L2O-HEM-Torch PublicThe code of paper Learning Cut Selection for Mixed-Integer Linear Programming via Hierarchical Sequence Model. Zhihai Wang, Xijun Li, Jie Wang*, Yufei Kuang, Mingxuan Yuan, Jia Zeng, Yongdong Zhan…
-
AI4Sci-MiCaM
AI4Sci-MiCaM PublicThis is the code of paper "De Novo Molecular Generation via Connection-aware Motif Mining". Zijie Geng, Shufang Xie, Yingce Xia, Lijun Wu, Tao Qin, Jie Wang, Yongdong Zhang, Feng Wu, Tie-Yan Liu. I…
Repositories
- LogicTree-Improving-Complex-Reasoning-of-LLMs-via-Instantiated-Multi-step-Synthetic-Logical-Data Public
- LLM-TAPPA Public
The code for "Why Attention Patterns Exist: A Unifying Temporal Perspective Analysis", Qingyue Yang, Jie Wang, Xing Li, Yinqi Bai, Xialiang Tong, Huiling Zhen, Jianye HAO, Mingxuan Yuan, Bin Li.
- Apollo-MILP Public
The code for "Apollo-MILP: An Alternating Prediction-Correction Neural Solving Framework for Mixed-Integer Linear Programming", Haoyang Liu, Jie Wang, Zijie Geng, Xijun Li, Yuxuan Zong, Fangzhou Zhu, Jianye HAO, Feng Wu. ICLR 2025
- CGPO Public
Official implementation of CGPO (ICLR 2026): Boosting Multi-Domain Reasoning of LLMs via Curvature-Guided Policy Optimization.
- CircuitEvo Public
We propose a Circuit Program Evolution} framework, namely CircuitEvo, which iteratively leverages the large language models (LLMs) to evolve circuit programs towards improved compactness while preserving functional accuracy.
- HIS Public
A Hierarchical Circuit Symbolic Discovery Framework that can learn a lightweight and interpretable symbolic function for efficient LO.
- AI4EDA-LaMPlace Public
- AI4EDA Public
- L2O-DynSep Public
Code for Paper 'Dynamic Configuration for Cutting Plane Separators via Reinforcement Learning on Incremental Graph', accepted by NeurIPS 2025.
- L2O-DiffILO Public
This is the code of DiffILO, an unsupervised learning approach for predicting solutions to Integer Linear Programs (ILPs).
Top languages
Loading…
Most used topics
Loading…