Skip to content

@MIRALab-USTC MIRA Lab

Change the repository type filter

All

    Repositories list

    60 repositories

    • CGPO

      Public
      Official implementation of CGPO (ICLR 2026): Boosting Multi-Domain Reasoning of LLMs via Curvature-Guided Policy Optimization.
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Mar 2, 2026Mar 2, 2026

    • CircuitEvo

      Public
      We propose a Circuit Program Evolution} framework, namely CircuitEvo, which iteratively leverages the large language models (LLMs) to evolve circuit programs to…
      Python
      •0•0•0•0•Updated Feb 28, 2026Feb 28, 2026

    • HIS

      Public
      A Hierarchical Circuit Symbolic Discovery Framework that can learn a lightweight and interpretable symbolic function for efficient LO.
      Python
      •0•0•0•0•Updated Feb 28, 2026Feb 28, 2026

    • 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, …
      Python
      •
      MIT License
      •1•3•1•0•Updated Feb 4, 2026Feb 4, 2026

    • AI4EDA-LaMPlace

      Public
      C++
      •3•21•3•0•Updated Dec 1, 2025Dec 1, 2025

    • AI4EDA

      Public
      0•3•0•0•Updated Nov 20, 2025Nov 20, 2025

    • L2O-DynSep

      Public
      Code for Paper 'Dynamic Configuration for Cutting Plane Separators via Reinforcement Learning on Incremental Graph', accepted by NeurIPS 2025.
      Python
      •
      MIT License
      •1•0•0•0•Updated Oct 24, 2025Oct 24, 2025

    • L2O-DiffILO

      Public
      This is the code of DiffILO, an unsupervised learning approach for predicting solutions to Integer Linear Programs (ILPs).
      Python
      •
      MIT License
      •7•32•0•0•Updated Oct 24, 2025Oct 24, 2025

    • LLM-AnDPro

      Public
      This is the code of our paper "Accurate KV Cache Eviction via Anchor Direction Projection for Efficient LLM Inference", which has been accepted by NeurIPS 2025.
      Python
      •
      Other
      •0•2•1•0•Updated Oct 23, 2025Oct 23, 2025

    • OptiTree

      Public
      Python
      •
      MIT License
      •1•14•0•0•Updated Oct 21, 2025Oct 21, 2025

    • Arith-DAS

      Public
      The official repo of NeurIPS2025 Paper: High-Performance Arithmetic Circuit Optimization via Differentiable Architecture Search
      Python
      •
      MIT License
      •0•17•0•0•Updated Oct 19, 2025Oct 19, 2025

    • ChiPBench

      Public
      ChiPBench:Benchmarking End-to-End Performance of AI-based Chip Placement Algorithms
      Verilog
      •
      BSD 3-Clause "New" or "Revised" License
      •3•52•7•0•Updated Sep 22, 2025Sep 22, 2025

    • LLM-AttentionPredictor

      Public
      The code for "AttentionPredictor: Temporal Pattern Matters for Efficient LLM Inference", Qingyue Yang, Jie Wang, Xing Li, Zhihai Wang, Chen Chen, Lei Chen, Xian…
      Python
      •5•28•3•0•Updated Jul 15, 2025Jul 15, 2025

    • LLMReasoning-SpecSearch

      Public
      This is the source code of our ICML25 paper, titled "Accelerating Large Language Model Reasoning via Speculative Search".
      Python
      •0•23•1•0•Updated Jun 1, 2025Jun 1, 2025

    • 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 Gen…
      Python
      •
      MIT License
      •0•3•0•0•Updated Apr 30, 2025Apr 30, 2025

    • TOP

      Public
      Python
      •0•1•1•0•Updated Apr 17, 2025Apr 17, 2025

    • L2O-RL4Presolve

      Public
      This is the *Clp* version of our code for *Accelerate Presolve in Large-Scale Linear Programming via Reinforcement Learning*.
      Python
      •0•5•0•0•Updated Apr 16, 2025Apr 16, 2025

    • AI4EDA_TNet

      Public
      Python
      •2•9•1•0•Updated Jan 10, 2025Jan 10, 2025

    • AI4Sci-MiCaM

      Public
      This 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, Yo…
      Python
      •10•58•4•0•Updated Jan 7, 2025Jan 7, 2025

    • RL-CRESP

      Public
      Python
      •1•7•1•0•Updated Dec 17, 2024Dec 17, 2024

    • AI4EDA-EfficientPlace

      Public
      This is the code for our paper "Reinforcement Learning within Tree Search for Fast Macro Placement".
      Python
      •
      MIT License
      •6•34•1•0•Updated Nov 13, 2024Nov 13, 2024

    • RL-TRACER

      Public
      Python
      •
      MIT License
      •2•8•0•0•Updated Oct 15, 2024Oct 15, 2024

    • L2O-G2MILP

      Public
      This is the code for G2MILP, a deep learning-based mixed-integer linear programming (MILP) instance generator.
      Python
      •
      MIT License
      •5•35•0•0•Updated Oct 3, 2024Oct 3, 2024

    • L2O-GS4CO

      Public
      The code of paper *Towards General Algorithm Discovery for Combinatorial Optimization: Learning Symbolic Branching Policy from Bipartite Graph*.
      Python
      •1•2•0•0•Updated Aug 13, 2024Aug 13, 2024

    • L2O-Symb4CO

      Public
      The code of paper *Rethinking Branching on Exact Combinatorial Optimization Solver: The First Deep Symbolic Discovery Framework*.
      Python
      •0•4•1•0•Updated Apr 19, 2024Apr 19, 2024

    • scip

      Public
      The scip codes used for machine learning purposes. Downloaded from https://www.scipopt.org/index.php#download
      C
      •
      Other
      •1•0•0•0•Updated Apr 19, 2024Apr 19, 2024

    • PySCIPOpt

      Public
      The PySCIPOpt codes used for machine learning purposes. Forked from https://github.com/ds4dm/PySCIPOpt.git .
      Python
      •
      MIT License
      •279•0•0•0•Updated Apr 18, 2024Apr 18, 2024

    • UKB-MITH

      Public
      Python
      •0•0•0•0•Updated Nov 25, 2023Nov 25, 2023

    • RL-SPF

      Public
      a representation learning method that predicts the Fourier transform of state sequences to improve sample efficiency of RL algorithms.
      Python
      •2•20•0•0•Updated Oct 26, 2023Oct 26, 2023

    • LD

      Public
      Python
      •0•9•0•0•Updated Sep 27, 2023Sep 27, 2023