Zhengfeng Yang
11 papers · 2019–2026 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
π£ Hot Topic Early Bird π§ Keyword Pioneer π Conference Polyglot (5) π Academic Marathon (6) πΊοΈ Taxonomy Completionist (37)
π
Interdisciplinary Bridge
π
Cross-Pollinator
(8)
π
Renaissance Researcher
(7)
π
Century Club
(10)
ποΈ
Keyword Collector
(64)
Conferences
CVPR (4)
AAAI (2)
ACL (2)
IJCAI (2)
NIPS (1)
Top co-authors
Keywords
reinforcement learning
(2)
control system
(2)
neural network
(2)
image super-resolution
(2)
algorithmic reasoning
(2)
linear programming
(2)
automated theorem proving
(2)
self-supervised learning
(1)
automated reasoning
(1)
mathematical reasoning
(1)
neural architecture
(1)
stability analysis
(1)
formal methods
(1)
lyapunov function
(1)
adversarial robustness
(1)
polynomial optimization
(1)
monte carlo tree search
(1)
data augmentation
(1)
convolutional neural network
(1)
nonlinear control
(1)
Papers
SAIR-Comb : A Structure-Aware Iterative Refinement Framework for Combinatorics Autoformalization
ACL 2026
Richer Representations for Neural Algorithmic Reasoning via Auxiliary Reconstruction
AAAI 2026
Learning-enabled Polynomial Lyapunov Function Synthesis via High-Accuracy Counterexample-Guided Framework
CVPR 2025
QDTSynth: Quality-Driven Formal Theorem Synthesis for Enhancing Proving Performance of LLMs
ACL 2025
Automated Proof of Polynomial Inequalities via Reinforcement Learning
CVPR 2025
Open-Book Neural Algorithmic Reasoning
NIPS 2024
A Context-Enhanced Framework for Sequential Graph Reasoning
IJCAI 2024
Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers
AAAI 2023
A Novel Learnable Interpolation Approach for Scale-Arbitrary Image Super-Resolution
IJCAI 2023
Equivalent Transformation and Dual Stream Network Construction for Mobile Image Super-Resolution
CVPR 2023
Robustness Verification of Classification Deep Neural Networks via Linear Programming
CVPR 2019