Picture for Liao Zhang

Liao Zhang

Learning Rules Explaining Interactive Theorem Proving Tactic Prediction

Add code
Nov 02, 2024
Viaarxiv icon

Deep Reinforcement Learning for Distributed Dynamic Coordinated Beamforming in Massive MIMO Cellular Networks

Add code
Mar 24, 2023
Viaarxiv icon

TSG: Target-Selective Gradient Backprop for Probing CNN Visual Saliency

Add code
Oct 11, 2021
Figure 1 for TSG: Target-Selective Gradient Backprop for Probing CNN Visual Saliency
Figure 2 for TSG: Target-Selective Gradient Backprop for Probing CNN Visual Saliency
Figure 3 for TSG: Target-Selective Gradient Backprop for Probing CNN Visual Saliency
Figure 4 for TSG: Target-Selective Gradient Backprop for Probing CNN Visual Saliency
Viaarxiv icon

Online Machine Learning Techniques for Coq: A Comparison

Add code
Apr 12, 2021
Figure 1 for Online Machine Learning Techniques for Coq: A Comparison
Figure 2 for Online Machine Learning Techniques for Coq: A Comparison
Figure 3 for Online Machine Learning Techniques for Coq: A Comparison
Figure 4 for Online Machine Learning Techniques for Coq: A Comparison
Viaarxiv icon

Learning Object Scale With Click Supervision for Object Detection

Add code
Feb 20, 2020
Figure 1 for Learning Object Scale With Click Supervision for Object Detection
Figure 2 for Learning Object Scale With Click Supervision for Object Detection
Figure 3 for Learning Object Scale With Click Supervision for Object Detection
Figure 4 for Learning Object Scale With Click Supervision for Object Detection
Viaarxiv icon