Zhengfeng Yang

11 papers · 2019–2026 · 5 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

+3 more ↓

🐣 Hot Topic Early Bird 🌍 Conference Polyglot · Silver 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (38)

💎 Century Club · Bronze 🌈 Renaissance Researcher (5) 🗃️ Keyword Collector (68)

Venues

CVPR (4) AAAI (2) ACL (2) IJCAI (2) NeurIPS (1)

Top co-authors

Zhenbing Zeng (3) Chao Peng (3) Chenyang Xu (3) Xia Zeng (2) Niuniu Qi (2) Hongfan Gao (2) Gaolei He (2) Zhiming Liu (2) Jianlin Wang (2) Jiahao Chao (2)

Research topics

Machine Learning (9) Artificial Intelligence (8) Core AI (8) Learning Types (7) Deep Learning (4) Mathematics & Optimization (4) Optimization (3) Optimization & Theory (3) Computer Vision (2) Robotics (2) Core Methods (2) Processing (2) Systems (2) Techniques (2) Reinforcement Learning (1)

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

Richer Representations for Neural Algorithmic Reasoning via Auxiliary Reconstruction AAAI 2026 SAIR-Comb : A Structure-Aware Iterative Refinement Framework for Combinatorics Autoformalization ACL 2026 Automated Proof of Polynomial Inequalities via Reinforcement Learning CVPR 2025 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 A Context-Enhanced Framework for Sequential Graph Reasoning IJCAI 2024 Open-Book Neural Algorithmic Reasoning NeurIPS 2024 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 Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers AAAI 2023 Robustness Verification of Classification Deep Neural Networks via Linear Programming CVPR 2019