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
Jianye Hao
Latest
Latent-Guided Reasoning: Empowering Small LLMs with Large-Model Thinking
Why Attention Patterns Exist: A Unifying Temporal Perspective Analysis
A Hierarchical Circuit Symbolic Discovery Framework for Efficient Logic Optimization
Boosting Multi-Domain Reasoning of LLMs via Curvature-Guided Policy Optimization
Evolving Graph Structured Programs for Circuit Generation with Large Language Models
Following the Navigation: Enhancing Small Language Models Contextual Reasoning with LLM Guidance
Accurate KV Cache Eviction via Anchor Direction Projection for Efficient LLM Inference
AttentionPredictor: Temporal Patterns Matter for KV Cache Compression
Benchmarking End-To-End Performance of AI-Based Chip Placement Algorithms
Dynamic Configuration for Cutting Plane Separators via Reinforcement Learning on Incremental Graph
High-Performance Graph System Optimization via Differentiable Architecture Search
LogicTree: Improving Complex Reasoning of LLMs via Instantiated Multi-step Synthetic Logical Data
OptiTree: Hierarchical Thoughts Generation with Tree Search for LLM Optimization Modeling
Accelerating Large Language Model Reasoning via Speculative Search
Boosting Multi-Domain Fine-Tuning of Large Language Models through Evolving Interactions between Samples
HyperTree Planning: Enhancing LLM Reasoning via Hierarchical Thinking
MAD-EA: A Multi-Mask Driven Evolutionary Algorithm Framework for Macro Placement Refinement
A Graph Enhanced Symbolic Discovery Framework For Efficient Logic Optimization
Apollo-MILP: An Alternating Prediction-Correction Neural Solving Framework for Mixed-Integer Linear Programming
Computing Circuits Optimization via Model-Based Circuit Genetic Evolution
Differentiable Integer Linear Programming
LaMPlace: Learning to Optimize Cross-Stage Metrics in Macro Placement
Towards Next-Generation Logic Synthesis: A Scalable Neural Circuit Generation Framework
A Circuit Domain Generalization Framework for Efficient Logic Synthesis in Chip Design
A Hierarchical Adaptive Multi-Task Reinforcement Learning Framework for Multiplier Circuit Design
Reinforcement Learning within Tree Search for Fast Macro Placement
Towards General Algorithm Discovery for Combinatorial Optimization: Learning Symbolic Branching Policy from Bipartite Graph
Rethinking Branching on Exact Combinatorial OPtimization Solver: The First Deep Symbolic Discovery Framework
Cite
×