Kaiyuan Wang

According to our database, Kaiyuan Wang authored at least 43 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

DROID: A Large-Scale In-The-Wild Robot Manipulation Dataset.

Alexander Khazatsky, Karl Pertsch, Suraj Nair, Ashwin Balakrishna, Sudeep Dasari, Siddharth Karamcheti, Soroush Nasiriany, Mohan Kumar Srirama, Lawrence Yunliang Chen, Kirsty Ellis, Peter David Fagan, Joey Hejna, Masha Itkina, Marion Lepert, Yecheng Jason Ma, Patrick Tree Miller, Jimmy Wu, Suneel Belkhale, Shivin Dass, Huy Ha, Arhan Jain, Abraham Lee, Youngwoon Lee, Marius Memmel, Sungjae Park, Ilija Radosavovic, Kaiyuan Wang, Albert Zhan, Kevin Black, Cheng Chi, Kyle Beltran Hatch, Shan Lin, Jingpei Lu, Jean Mercat, Abdul Rehman, Pannag R. Sanketi, Archit Sharma, Cody Simpson, Quan Vuong, Homer Rich Walke, Blake Wulfe, Ted Xiao, Jonathan Heewon Yang, Arefeh Yavary, Tony Z. Zhao, Christopher Agia, Rohan Baijal, Mateo Guaman Castro, Daphne Chen, Qiuyu Chen, Trinity Chung, Jaimyn Drake, Ethan Paul Foster, et al.

CoRR, 2024

FinLLMs: A Framework for Financial Reasoning Dataset Generation with Large Language Models.

Ziqiang Yuan, Kaiyuan Wang, Shoutai Zhu, Ye Yuan, Jingya Zhou, Yanlin Zhu, Wenqi Wei

CoRR, 2024

2023

A Novel Nonconvex Low-Rank Tensor Completion Approach for Traffic Sensor Data Recovery From Incomplete Measurements.

Xiaobo Chen, Kaiyuan Wang, Zuoyong Li, Yu Zhang, Qiaolin Ye

IEEE Trans. Instrum. Meas., 2023

SuPerPM: A Large Deformation-Robust Surgical Perception Framework Based on Deep Point Matching Learned from Physical Constrained Simulation Data.

Shan Lin, Albert J. Miao, Ali Alabiad, Fei Liu, Kaiyuan Wang, Jingpei Lu, Florian Richter, Michael C. Yip

CoRR, 2023

AnyOKP: One-Shot and Instance-Aware Object Keypoint Extraction with Pretrained ViT.

Fangbo Qin, Taogang Hou, Shan Lin, Kaiyuan Wang, Michael C. Yip, Shan Yu

CoRR, 2023

Symbolic Discovery of Optimization Algorithms.

Xiangning Chen, Chen Liang, Da Huang, Esteban Real, Kaiyuan Wang, Yao Liu, Hieu Pham, Xuanyi Dong, Thang Luong, Cho-Jui Hsieh, Yifeng Lu, Quoc V. Le

CoRR, 2023

Symbolic Discovery of Optimization Algorithms.

Xiangning Chen, Chen Liang, Da Huang, Esteban Real, Kaiyuan Wang, Hieu Pham, Xuanyi Dong, Thang Luong, Cho-Jui Hsieh, Yifeng Lu, Quoc V. Le

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Exploration of Four Coils Magnetically Coupled Resonant Inductive Power Transfer System with Efficiency Optimization Under Unsymmetrical Power Wiring Structure.

Kaiyuan Wang, Yun Yang, Ka Wai Eric Cheng

Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023

PCB Surface Defect Detection Based on TPBAS-YOLOv5.

Changyu Luo, Shichao Chen, Kunfeng Wang, Xiangyu Hu, Kaiyuan Wang, Shuangshuang Han

Proceedings of the IEEE 3rd International Conference on Digital Twins and Parallel Intelligence, 2023

2022

Real-Time Object Detection Based on YOLO-v2 for Tiny Vehicle Object.

Pengju Deng, Kaiyuan Wang, Xiaohong Han

SN Comput. Sci., 2022

MoËT: Mixture of Expert Trees and its application to verifiable reinforcement learning.

Marko Vasic, Andrija Petrovic, Kaiyuan Wang, Mladen Nikolic, Rishabh Singh, Sarfraz Khurshid

Neural Networks, 2022

2021

AlloyFL: a fault localization framework for Alloy.

Tanvir Ahmed Khan, Allison Sullivan, Kaiyuan Wang

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Smart Build Targets Batching Service at Google.

Kaiyuan Wang, Daniel Rall, Greg Tener, Vijay Gullapalli, Xin Huang, Ahmed Gad

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2021

2020

A study of learning likely data structure properties using machine learning models.

Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid

Int. J. Softw. Tools Technol. Transf., 2020

A Study of Symmetry Breaking Predicates and Model Counting.

Wenxi Wang, Muhammad Usman, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel, Sarfraz Khurshid

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

A study of the learnability of relational properties: model counting meets machine learning (MCML).

Muhammad Usman, Wenxi Wang, Marko Vasic, Kaiyuan Wang, Haris Vikalo, Sarfraz Khurshid

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Scalable build service system with smart scheduling service.

Kaiyuan Wang, Greg Tener, Vijay Gullapalli, Xin Huang, Ahmed Gad, Daniel Rall

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Fault Localization for Declarative Models in Alloy.

Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid

Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

2019

A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning).

Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Marko Vasic, Haris Vikalo, Sarfraz Khurshid

CoRR, 2019

MoËT: Interpretable and Verifiable Reinforcement Learning via Mixture of Expert Trees.

Marko Vasic, Andrija Petrovic, Kaiyuan Wang, Mladen Nikolic, Rishabh Singh, Sarfraz Khurshid

CoRR, 2019

Incremental Analysis of Evolving Alloy Models.

Wenxi Wang, Kaiyuan Wang, Milos Gligoric, Sarfraz Khurshid

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

A Study of Learning Data Structure Invariants Using Off-the-shelf Tools.

Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid

Proceedings of the Model Checking Software - 26th International Symposium, 2019

Towards Effective Assessment for Social Engineering Attacks.

Tong Li, Kaiyuan Wang, Jennifer Horkoff

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks.

Divya Gopinath, Mengshi Zhang, Kaiyuan Wang, Ismet Burak Kadron, Corina S. Pasareanu, Sarfraz Khurshid

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

Learning to Optimize the Alloy Analyzer.

Wenxi Wang, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

ARepair: a repair framework for alloy.

Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Symbolic execution for attribution and attack synthesis in neural networks.

Divya Gopinath, Corina S. Pasareanu, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

A Progress Bar for the JPF Search Using Program Executions.

Kaiyuan Wang, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid

ACM SIGSOFT Softw. Eng. Notes, 2018

Symbolic Execution for Deep Neural Networks.

Divya Gopinath, Kaiyuan Wang, Mengshi Zhang, Corina S. Pasareanu, Sarfraz Khurshid

CoRR, 2018

ASketch: a sketching framework for Alloy.

Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

SketchFix: a tool for automated program repair approach using lazy candidate generation.

Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Automated model repair for Alloy.

Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

EdSynth: Synthesizing API Sequences with Conditionals and Loops.

Zijiang Yang, Jinru Hua, Kaiyuan Wang, Sarfraz Khurshid

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

AUnit: A Test Automation Tool for Alloy.

Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Towards refactoring-aware regression test selection.

Kaiyuan Wang, Chenguang Zhu, Ahmet Çelik, Jongwook Kim, Don S. Batory, Milos Gligoric

Proceedings of the 40th International Conference on Software Engineering, 2018

MuAlloy: a mutation testing framework for alloy.

Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Towards practical program repair with on-demand candidate generation.

Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid

Proceedings of the 40th International Conference on Software Engineering, 2018

Solver-Based Sketching of Alloy Models Using Test Valuations.

Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

Systematic Generation of Non-equivalent Expressions for Relational Algebra.

Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

JPR: Replaying JPF Traces Using Standard JVM.

Kaiyuan Wang, Sarfraz Khurshid, Milos Gligoric

ACM SIGSOFT Softw. Eng. Notes, 2017

Evaluating State Modeling Techniques in Alloy.

Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid, Darko Marinov

Proceedings of the Sixth Workshop on Software Quality Analysis, 2017

Automated Test Generation and Mutation Testing for Alloy.

Allison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem, Sarfraz Khurshid

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

Repairing Intricate Faults in Code Using Machine Learning and Path Exploration.

Divya Gopinath, Kaiyuan Wang, Jinru Hua, Sarfraz Khurshid

Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016