Yang Yuan

Affiliations:
  • Tsinghua University, Institute for Interdisciplinary Information Sciences (IIIS), Beijing, China
  • Cornell University, Ithaca, NY, USA (PhD)


According to our database1, Yang Yuan authored at least 61 papers between 2011 and 2025.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Clarifying Before Reasoning: A Coq Prover with Structural Context.
CoRR, July, 2025

Existing LLMs Are Not Self-Consistent For Simple Tasks.
CoRR, June, 2025

Towards Automated Formal Verification of Backend Systems with LLMs.
CoRR, June, 2025

On the Design of KL-Regularized Policy Gradient Algorithms for LLM Reasoning.
CoRR, May, 2025

Tensor Product Attention Is All You Need.
CoRR, January, 2025

Cumulative Reasoning with Large Language Models.
Trans. Mach. Learn. Res., 2025

Autonomous Data Selection with Zero-shot Generative Classifiers for Mathematical Texts.
Proceedings of the Findings of the Association for Computational Linguistics, 2025

Hierarchical Attention Generates Better Proofs.
Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2025

2024
On the Diagram of Thought.
CoRR, 2024

CatCode: A Comprehensive Evaluation Framework for LLMs On the Mixture of Code and Text.
CoRR, 2024

AutoMathText: Autonomous Data Selection with Language Models for Mathematical Texts.
CoRR, 2024

Matrix Information Theory for Self-Supervised Learning.
Proceedings of the Forty-first International Conference on Machine Learning, 2024

Information Flow in Self-Supervised Learning.
Proceedings of the Forty-first International Conference on Machine Learning, 2024

Contrastive Learning is Spectral Clustering on Similarity Graph.
Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023
Kernel-SSL: Kernel KL Divergence for Self-Supervised Learning.
CoRR, 2023

RelationMatch: Matching In-batch Relationships for Semi-supervised Learning.
CoRR, 2023

A Categorical Framework of General Intelligence.
CoRR, 2023

Trade-off Between Efficiency and Consistency for Removal-based Explanations.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Towards Data-Algorithm Dependent Generalization: a Case Study on Overparameterized Linear Regression.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

On the Power of Foundation Models.
Proceedings of the International Conference on Machine Learning, 2023

Finding Generalization Measures by Contrasting Signal and Noise.
Proceedings of the International Conference on Machine Learning, 2023

On Uni-Modal Feature Learning in Supervised Multi-Modal Learning.
Proceedings of the International Conference on Machine Learning, 2023

Predictive Inference with Feature Conformal Prediction.
Proceedings of the Eleventh International Conference on Learning Representations, 2023

2022
Consistent and Truthful Interpretation with Fourier Analysis.
CoRR, 2022

Anomaly Detection with Test Time Augmentation and Consistency Evaluation.
CoRR, 2022

Towards Understanding Generalization via Decomposing Excess Risk Dynamics.
Proceedings of the Tenth International Conference on Learning Representations, 2022

2021
T-SCI: A Two-Stage Conformal Inference Algorithm with Guaranteed Coverage for Cox-MLP.
Proceedings of the 38th International Conference on Machine Learning, 2021

2020
Secure Data Sharing With Flow Model.
CoRR, 2020

Inject Machine Learning into Significance Test for Misspecified Linear Models.
CoRR, 2020

Adversarial Data Encryption.
CoRR, 2020

2019
Optimal auctions vs. anonymous pricing.
Games Econ. Behav., 2019

A Stratified Approach to Robustness for Randomly Smoothed Classifiers.
CoRR, 2019

Tight Certificates of Adversarial Robustness for Randomly Smoothed Classifiers.
Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Learning-Based Low-Rank Approximations.
Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Asymmetric Valleys: Beyond Sharp and Flat Local Minima.
Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

2018
Provable and Practical Algorithms for Non-Convex Problems in Machine Learning.
PhD thesis, 2018

An empirical study on evaluation metrics of generative adversarial networks.
CoRR, 2018

YATES: Rapid Prototyping for Traffic Engineering Systems.
Proceedings of the Symposium on SDN Research, 2018

Semi-Oblivious Traffic Engineering: The Road Not Taken.
Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

An Alternative View: When Does SGD Escape Local Minima?
Proceedings of the 35th International Conference on Machine Learning, 2018

Hyperparameter optimization: a spectral approach.
Proceedings of the 6th International Conference on Learning Representations, 2018

Semi-Oblivious Traffic Engineering with SMORE.
Proceedings of the Applied Networking Research Workshop, 2018

2017
Convergence Analysis of Two-layer Neural Networks with ReLU Activation.
Proceedings of the Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, 2017

2016
Combinatorial Multi-Armed Bandit and Its Extension to Probabilistically Triggered Arms.
J. Mach. Learn. Res., 2016

Kulfi: Robust Traffic Engineering Using Semi-Oblivious Routing.
CoRR, 2016

Exploiting the Structure: Stochastic Gradient Methods Using Raw Clusters.
Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016

Improved SVRG for Non-Strongly-Convex or Sum-of-Non-Convex Objectives.
Proceedings of the 33nd International Conference on Machine Learning, 2016

Even Faster Accelerated Coordinate Descent Using Non-Uniform Sampling.
Proceedings of the 33nd International Conference on Machine Learning, 2016

Optimization Algorithms for Faster Computational Geometry.
Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

Simultaneous Nearest Neighbor Search.
Proceedings of the 32nd International Symposium on Computational Geometry, 2016

2015
Even Faster Accelerated Coordinate Descent Using Non-Uniform Sampling.
CoRR, 2015

UniVR: A Universal Variance Reduction Framework for Proximal Stochastic Gradient Method.
CoRR, 2015

Escaping From Saddle Points - Online Stochastic Gradient for Tensor Decomposition.
Proceedings of The 28th Conference on Learning Theory, 2015

2014
Combinatorial Multi-Armed Bandit and Its Extension to Probabilistically Triggered Arms.
CoRR, 2014

Simple and Near-Optimal Mechanisms for Market Intermediation.
Proceedings of the Web and Internet Economics - 10th International Conference, 2014

2013
On the ratio of revenue to welfare in single-parameter mechanism design.
Proceedings of the fourteenth ACM Conference on Electronic Commerce, 2013

Combinatorial Multi-Armed Bandit: General Framework and Applications.
Proceedings of the 30th International Conference on Machine Learning, 2013

2012
Boreas: an accurate and scalable token-based approach to code clone detection.
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

A scalable and accurate approach based on count matrix for detecting code clones.
Proceedings of the Companion Volume of the 11th International Conference on Aspect-oriented Software Development, 2012

2011
A Fast Parallel Branch and Bound Algorithm for Treewidth.
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

CMCD: Count Matrix Based Code Clone Detection.
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011


  Loading...