Kaiyuan Wang

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

Collaborative distances:

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

2024

Composite Nonconvex Low-Rank Tensor Completion With Joint Structural Regression for Traffic Sensor Networks Data Recovery.

Xiaobo Chen, Kaiyuan Wang, Feng Zhao, Fuwen Deng, Qiaolin Ye

IEEE Trans. Comput. Soc. Syst., October, 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

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

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

Open X-Embodiment: Robotic Learning Datasets and RT-X Models : Open X-Embodiment Collaboration.

Abby O'Neill, Abdul Rehman, Abhiram Maddukuri, Abhishek Gupta, Abhishek Padalkar, Abraham Lee, Acorn Pooley, Agrim Gupta, Ajay Mandlekar, Ajinkya Jain, Albert Tung, Alex Bewley, Alexander Herzog, Alex Irpan, Alexander Khazatsky, Anant Rai, Anchit Gupta, Andrew Wang, Anikait Singh, Animesh Garg, Aniruddha Kembhavi, Annie Xie, Anthony Brohan, Antonin Raffin, Archit Sharma, Arefeh Yavary, Arhan Jain, Ashwin Balakrishna, Ayzaan Wahid, Ben Burgess-Limerick, Beomjoon Kim, Bernhard Schölkopf, Blake Wulfe, Brian Ichter, Cewu Lu, Charles Xu, Charlotte Le, Chelsea Finn, Chen Wang, Chenfeng Xu, Cheng Chi, Chenguang Huang, Christine Chan, Christopher Agia, Chuer Pan, Chuyuan Fu, Coline Devin, Danfei Xu, Daniel Morton, Danny Driess, Daphne Chen, Deepak Pathak, Dhruv Shah, Dieter Büchler, Dinesh Jayaraman, Dmitry Kalashnikov, Dorsa Sadigh, Edward Johns, Ethan Paul Foster, Fangchen Liu, Federico Ceola, Fei Xia, Feiyu Zhao, Freek Stulp, Gaoyue Zhou, Gaurav S. Sukhatme, Gautam Salhotra, Ge Yan, Gilbert Feng, Giulio Schiavi, Glen Berseth, Gregory Kahn, Guanzhi Wang, Hao Su, Haoshu Fang, Haochen Shi, Henghui Bao, Heni Ben Amor, Henrik I. Christensen, Hiroki Furuta, Homer Walke, Hongjie Fang, Huy Ha, Igor Mordatch, Ilija Radosavovic, Isabel Leal, Jacky Liang, Jad Abou-Chakra, Jaehyung Kim, Jaimyn Drake, Jan Peters, Jan Schneider, Jasmine Hsu, Jeannette Bohg, Jeffrey Bingham, Jeffrey Wu, Jensen Gao, Jiaheng Hu, Jiajun Wu, Jialin Wu, Jiankai Sun, Jianlan Luo, Jiayuan Gu, Jie Tan, Jihoon Oh, Jimmy Wu, Jingpei Lu, Jingyun Yang, Jitendra Malik, João Silvério, Joey Hejna, Jonathan Booher, Jonathan Tompson, Jonathan Yang, Jordi Salvador, Joseph J. Lim, Junhyek Han, Kaiyuan Wang, Kanishka Rao, Karl Pertsch, Karol Hausman, Keegan Go, Keerthana Gopalakrishnan, Ken Goldberg, Kendra Byrne, Kenneth Oslund, Kento Kawaharazuka, Kevin Black, Kevin Lin, Kevin Zhang, Kiana Ehsani, Kiran Lekkala, Kirsty Ellis, Krishan Rana, Krishnan Srinivasan, Kuan Fang, Kunal Pratap Singh, Kuo-Hao Zeng, Kyle Hatch, Kyle Hsu, Laurent Itti, Lawrence Yunliang Chen, Lerrel Pinto, Li Fei-Fei, Liam Tan, Linxi Jim Fan, Lionel Ott, Lisa Lee, Luca Weihs, Magnum Chen, Marion Lepert, Marius Memmel, Masayoshi Tomizuka, Masha Itkina, Mateo Guaman Castro, Max Spero, Maximilian Du, Michael Ahn, Michael C. Yip, Mingtong Zhang, Mingyu Ding, Minho Heo, Mohan Kumar Srirama, Mohit Sharma, Moo Jin Kim, Naoaki Kanazawa, Nicklas Hansen, Nicolas Heess, Nikhil J. Joshi, Niko Sünderhauf, Ning Liu, Norman Di Palo, Nur Muhammad (Mahi) Shafiullah, Oier Mees, Oliver Kroemer, Osbert Bastani, Pannag R. Sanketi, Patrick Tree Miller, Patrick Yin, Paul Wohlhart, Peng Xu, Peter David Fagan, Peter Mitrano, Pierre Sermanet, Pieter Abbeel, Priya Sundaresan, Qiuyu Chen, Quan Vuong, Rafael Rafailov, Ran Tian, Ria Doshi, Roberto Martín-Martín, Rohan Baijal, Rosario Scalise, Rose Hendrix, Roy Lin, Runjia Qian, Ruohan Zhang, Russell Mendonca, Rutav Shah, Ryan Hoque, Ryan Julian, Samuel Bustamante, Sean Kirmani, Sergey Levine, Shan Lin, Sherry Moore, Shikhar Bahl, Shivin Dass, Shubham D. Sonawani, Shuran Song, Sichun Xu, Siddhant Haldar, Siddharth Karamcheti, Simeon Adebola, Simon Guist, Soroush Nasiriany, Stefan Schaal, Stefan Welker, Stephen Tian, Subramanian Ramamoorthy, Sudeep Dasari, Suneel Belkhale, Sungjae Park, Suraj Nair, Suvir Mirchandani, Takayuki Osa, Tanmay Gupta, Tatsuya Harada, Tatsuya Matsushima, Ted Xiao, Thomas Kollar, Tianhe Yu, Tianli Ding, Todor Davchev, Tony Z. Zhao, Travis Armstrong, Trevor Darrell, Trinity Chung, Vidhi Jain, Vincent Vanhoucke, Wei Zhan, Wenxuan Zhou, Wolfram Burgard, Xi Chen, Xiaolong Wang, Xinghao Zhu, Xinyang Geng, Xiyuan Liu, Liangwei Xu, Xuanlin Li, Yao Lu, Yecheng Jason Ma, Yejin Kim, Yevgen Chebotar, Yifan Zhou, Yifeng Zhu, Yilin Wu, Ying Xu, Yixuan Wang, Yonatan Bisk, Yoonyoung Cho, Youngwoon Lee, Yuchen Cui, Yue Cao, Yueh-Hua Wu, Yujin Tang, Yuke Zhu, Yunchu Zhang, Yunfan Jiang, Yunshuang Li, Yunzhu Li, Yusuke Iwasawa, Yutaka Matsuo, Zehan Ma, Zhuo Xu, Zichen Jeff Cui, Zichen Zhang, Zipeng Lin

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

Sepsis Mortality Prediction with Electronic Health Records Based on Sequential and Attention-Based Models.

Xianbo Liu, Kaiyuan Wang, Weifan Wang, Yi Luo, Peng Ren, Yuhang Hu, Zeming Li, Xiangkuan Li, Zhentao Hu, Wenyao Li, Chunxiao Xing

Proceedings of the Web Information Systems and Applications, 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

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