Search

Jianye Hao

Accelerating Large Language Model Reasoning via Speculative Search
Apollo-MILP: An alternating prediction-correction neural solving framework for mixed-integer linear programming
Differentiable integer linear programming
HyperTree Planning: Enhancing LLM Reasoning via Hierarchical Thinking
Grass: Combining graph neural networks with expert knowledge for sat solver selection
Rethinking branching on exact combinatorial optimization solver: The first deep symbolic discovery framework
The Graph's Apprentice: Teaching an LLM Low Level Knowledge for Circuit Quality Estimation
Towards general algorithm discovery for combinatorial optimization: Learning symbolic branching policy from bipartite graph
Llm4eda: Emerging progress in large language models for electronic design automation
Branch ranking for efficient mixed-integer programming via offline ranking-based policy learning
Learning to select cuts for efficient mixed-integer programming

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.