MIRA Lab
MIRA Lab
People
Publications
News
Courses
Courses Fall 2025
Courses Fall 2024
Courses Fall 2023
Courses Fall 2022
Courses Fall 2021
Courses Spring 2021
Courses Spring 2020
Admission
Admission 2025 保研
Photos
Social Media
Contact Us
SymMaP: Improving Computational Efficiency in Linear Solvers through Symbolic Preconditioning
December 2025
Hong Wang
,
Jie Wang
,
Minghao Ma
,
Haoran Shao
,
Haoyang Liu
Type
Conference paper
Publication
The Thirty-Ninth Annual Conference on Neural Information Processing Systems
Related
Accelerating PDE Data Generation via Differential Operator Action in Solution Space
Opt-Verifier: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verification
Opt-Miner: Empowering Information-Seeking Agent with Tree-Guided Data Synthesis for Optimization Modeling
RoME: Domain-Robust Mixture-of-Experts for MILP Solution Prediction across Domains
OptiTree: Hierarchical Thoughts Generation with Tree Search for LLM Optimization Modeling
Cite
×