Picture for Jing Tang

Jing Tang

Process-Driven Autoformalization in Lean 4

Add code
Jun 04, 2024
Viaarxiv icon

Proving Theorems Recursively

Add code
May 23, 2024
Figure 1 for Proving Theorems Recursively
Figure 2 for Proving Theorems Recursively
Figure 3 for Proving Theorems Recursively
Figure 4 for Proving Theorems Recursively
Viaarxiv icon

You Only Sample Once: Taming One-Step Text-To-Image Synthesis by Self-Cooperative Diffusion GANs

Add code
Mar 29, 2024
Figure 1 for You Only Sample Once: Taming One-Step Text-To-Image Synthesis by Self-Cooperative Diffusion GANs
Figure 2 for You Only Sample Once: Taming One-Step Text-To-Image Synthesis by Self-Cooperative Diffusion GANs
Figure 3 for You Only Sample Once: Taming One-Step Text-To-Image Synthesis by Self-Cooperative Diffusion GANs
Figure 4 for You Only Sample Once: Taming One-Step Text-To-Image Synthesis by Self-Cooperative Diffusion GANs
Viaarxiv icon

Machine Mindset: An MBTI Exploration of Large Language Models

Add code
Dec 30, 2023
Viaarxiv icon

DTIAM: A unified framework for predicting drug-target interactions, binding affinities and activation/inhibition mechanisms

Add code
Dec 23, 2023
Viaarxiv icon

Speak Like a Native: Prompting Large Language Models in a Native Style

Add code
Nov 22, 2023
Viaarxiv icon

Energy-Calibrated VAE with Test Time Free Lunch

Add code
Nov 21, 2023
Figure 1 for Energy-Calibrated VAE with Test Time Free Lunch
Figure 2 for Energy-Calibrated VAE with Test Time Free Lunch
Figure 3 for Energy-Calibrated VAE with Test Time Free Lunch
Figure 4 for Energy-Calibrated VAE with Test Time Free Lunch
Viaarxiv icon

Optimal Batched Best Arm Identification

Oct 21, 2023
Figure 1 for Optimal Batched Best Arm Identification
Figure 2 for Optimal Batched Best Arm Identification
Figure 3 for Optimal Batched Best Arm Identification
Figure 4 for Optimal Batched Best Arm Identification
Viaarxiv icon

DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning

Add code
Oct 19, 2023
Figure 1 for DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
Figure 2 for DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
Figure 3 for DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
Figure 4 for DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
Viaarxiv icon

Practical Parallel Algorithms for Non-Monotone Submodular Maximization

Aug 21, 2023
Figure 1 for Practical Parallel Algorithms for Non-Monotone Submodular Maximization
Figure 2 for Practical Parallel Algorithms for Non-Monotone Submodular Maximization
Figure 3 for Practical Parallel Algorithms for Non-Monotone Submodular Maximization
Figure 4 for Practical Parallel Algorithms for Non-Monotone Submodular Maximization
Viaarxiv icon