Picture for Mingzhe Wang

Mingzhe Wang

When Fuzzing Meets LLMs: Challenges and Opportunities

Add code
Apr 25, 2024
Figure 1 for When Fuzzing Meets LLMs: Challenges and Opportunities
Figure 2 for When Fuzzing Meets LLMs: Challenges and Opportunities
Figure 3 for When Fuzzing Meets LLMs: Challenges and Opportunities
Figure 4 for When Fuzzing Meets LLMs: Challenges and Opportunities
Viaarxiv icon

Infinite Photorealistic Worlds using Procedural Generation

Add code
Jun 26, 2023
Figure 1 for Infinite Photorealistic Worlds using Procedural Generation
Figure 2 for Infinite Photorealistic Worlds using Procedural Generation
Figure 3 for Infinite Photorealistic Worlds using Procedural Generation
Figure 4 for Infinite Photorealistic Worlds using Procedural Generation
Viaarxiv icon

Adaptive Task Offloading for Space Missions: A State-Graph-Based Approach

Add code
Nov 16, 2022
Figure 1 for Adaptive Task Offloading for Space Missions: A State-Graph-Based Approach
Figure 2 for Adaptive Task Offloading for Space Missions: A State-Graph-Based Approach
Figure 3 for Adaptive Task Offloading for Space Missions: A State-Graph-Based Approach
Figure 4 for Adaptive Task Offloading for Space Missions: A State-Graph-Based Approach
Viaarxiv icon

A Unified Framework of Surrogate Loss by Refactoring and Interpolation

Add code
Jul 27, 2020
Figure 1 for A Unified Framework of Surrogate Loss by Refactoring and Interpolation
Figure 2 for A Unified Framework of Surrogate Loss by Refactoring and Interpolation
Figure 3 for A Unified Framework of Surrogate Loss by Refactoring and Interpolation
Figure 4 for A Unified Framework of Surrogate Loss by Refactoring and Interpolation
Viaarxiv icon

Learning to Prove Theorems by Learning to Generate Theorems

Add code
Feb 17, 2020
Figure 1 for Learning to Prove Theorems by Learning to Generate Theorems
Figure 2 for Learning to Prove Theorems by Learning to Generate Theorems
Figure 3 for Learning to Prove Theorems by Learning to Generate Theorems
Figure 4 for Learning to Prove Theorems by Learning to Generate Theorems
Viaarxiv icon

Speaker Naming in Movies

Add code
Sep 24, 2018
Figure 1 for Speaker Naming in Movies
Figure 2 for Speaker Naming in Movies
Figure 3 for Speaker Naming in Movies
Figure 4 for Speaker Naming in Movies
Viaarxiv icon

Premise Selection for Theorem Proving by Deep Graph Embedding

Add code
Sep 28, 2017
Figure 1 for Premise Selection for Theorem Proving by Deep Graph Embedding
Figure 2 for Premise Selection for Theorem Proving by Deep Graph Embedding
Figure 3 for Premise Selection for Theorem Proving by Deep Graph Embedding
Figure 4 for Premise Selection for Theorem Proving by Deep Graph Embedding
Viaarxiv icon

LINE: Large-scale Information Network Embedding

Add code
Mar 12, 2015
Figure 1 for LINE: Large-scale Information Network Embedding
Figure 2 for LINE: Large-scale Information Network Embedding
Figure 3 for LINE: Large-scale Information Network Embedding
Figure 4 for LINE: Large-scale Information Network Embedding
Viaarxiv icon