Picture for Weilin Luo

Weilin Luo

Machine Learning Insides OptVerse AI Solver: Design Principles and Applications

Jan 17, 2024
Viaarxiv icon

Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey

Apr 24, 2023
Figure 1 for Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey
Figure 2 for Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey
Figure 3 for Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey
Viaarxiv icon

A Noise-tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving

Dec 02, 2022
Figure 1 for A Noise-tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving
Figure 2 for A Noise-tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving
Figure 3 for A Noise-tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving
Figure 4 for A Noise-tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving
Viaarxiv icon

Learning to Optimize Industry-Scale Dynamic Pickup and Delivery Problems

May 27, 2021
Viaarxiv icon

Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification

Feb 23, 2021
Figure 1 for Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification
Figure 2 for Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification
Figure 3 for Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification
Figure 4 for Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification
Viaarxiv icon

CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae

Add code
Jun 07, 2019
Figure 1 for CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae
Figure 2 for CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae
Figure 3 for CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae
Figure 4 for CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae
Viaarxiv icon

Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem

Jun 06, 2019
Figure 1 for Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem
Figure 2 for Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem
Viaarxiv icon