Yifeng Xiao

According to our database1, Yifeng Xiao authored at least 17 papers between 2020 and 2026.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Agentified Assessment of Logical Reasoning Agents.
CoRR, March, 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
Subgraph matching-based reference placement for printed circuit board designs.
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
Hashing-Based Distributed Clustering for Massive High-Dimensional Data.
CoRR, 2023

2022
Subgraph matching based reference placement for PCB designs: late breaking results.
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2021
A Compensation Method for Nonlinear Vibration of Silicon-Micro Resonant Sensor.
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


  Loading...