Picture for Zhengfeng Yang

Zhengfeng Yang

Automated Proof of Polynomial Inequalities via Reinforcement Learning

Add code
Mar 09, 2025
Viaarxiv icon

A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation

Add code
Feb 25, 2025
Viaarxiv icon

CuDIP: Enhancing Theorem Proving in LLMs via Curriculum Learning-based Direct Preference Optimization

Add code
Feb 25, 2025
Viaarxiv icon

Open-Book Neural Algorithmic Reasoning

Add code
Dec 30, 2024
Viaarxiv icon

A Context-Enhanced Framework for Sequential Graph Reasoning

Add code
Dec 12, 2024
Viaarxiv icon

Efficient and Accurate Quantized Image Super-Resolution on Mobile NPUs, Mobile AI & AIM 2022 challenge: Report

Add code
Nov 07, 2022
Figure 1 for Efficient and Accurate Quantized Image Super-Resolution on Mobile NPUs, Mobile AI & AIM 2022 challenge: Report
Figure 2 for Efficient and Accurate Quantized Image Super-Resolution on Mobile NPUs, Mobile AI & AIM 2022 challenge: Report
Figure 3 for Efficient and Accurate Quantized Image Super-Resolution on Mobile NPUs, Mobile AI & AIM 2022 challenge: Report
Figure 4 for Efficient and Accurate Quantized Image Super-Resolution on Mobile NPUs, Mobile AI & AIM 2022 challenge: Report
Viaarxiv icon