Yifeng Xiao
According to our database1,
Yifeng Xiao authored at least 17 papers
between 2020 and 2026.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2026
Variance-Reduced First-Order Methods for Deterministically Constrained Stochastic Nonconvex Optimization with Strong Convergence Guarantees.
SIAM J. Optim., 2026
Contract-Based Architecture Exploration of Cyber-Physical Systems via Satisfiability Modulo Convex Programming.
Proceedings of the Design, Automation & Test in Europe Conference, 2026
2025
First-order methods for stochastic and finite-sum convex optimization with deterministic constraints.
CoRR, June, 2025
CORE: Constraint-Aware One-Step Reinforcement Learning for Simulation-Guided Neural Network Accelerator Design.
CoRR, June, 2025
Efficient Counterexample-Guided Fairness Verification and Repair of Neural Networks Using Satisfiability Modulo Convex Programming.
Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025
Incentive Design for Safe Nash Equilibrium Learning in Large Populations via Control Barrier Functions.
Proceedings of the 64th IEEE Conference on Decision and Control, 2025
2024
J. Supercomput., November, 2024
Global stochastic comprehensive sensitivity analysis based on robustness grouping and improved Pelican algorithm-optimized radial basis function neural network.
J. Comput. Des. Eng., 2024
Optimizing oil-source correlation analysis using support vector machines and sensory attention networks.
Comput. Geosci., 2024
Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024
2023
2022
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022
2021
Sensors, 2021
Low-Cost Lithography Hotspot Detection with Active Entropy Sampling and Model Calibration.
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021
CongestNN: An Bi-Directional Congestion Prediction Framework for Large-Scale Heterogeneous FPGAs.
Proceedings of the 14th IEEE International Conference on ASIC, 2021
2020
Nonlinear Vibration Study Based on Uncertainty Analysis in MEMS Resonant Accelerometer.
Sensors, 2020