Остановите войну!
for scientists:
default search action
Kaiyuan Wang
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i10]Ziqiang Yuan, Kaiyuan Wang, Shoutai Zhu, Ye Yuan, Jingya Zhou, Yanlin Zhu, Wenqi Wei:
FinLLMs: A Framework for Financial Reasoning Dataset Generation with Large Language Models. CoRR abs/2401.10744 (2024) - [i9]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.:
DROID: A Large-Scale In-The-Wild Robot Manipulation Dataset. CoRR abs/2403.12945 (2024) - 2023
- [j6]Xiaobo Chen, Kaiyuan Wang, Zuoyong Li, Yu Zhang, Qiaolin Ye:
A Novel Nonconvex Low-Rank Tensor Completion Approach for Traffic Sensor Data Recovery From Incomplete Measurements. IEEE Trans. Instrum. Meas. 72: 1-15 (2023) - [c29]Changyu Luo, Shichao Chen, Kunfeng Wang, Xiangyu Hu, Kaiyuan Wang, Shuangshuang Han:
PCB Surface Defect Detection Based on TPBAS-YOLOv5. DTPI 2023: 1-6 - [c28]Kaiyuan Wang, Yun Yang, Ka Wai Eric Cheng:
Exploration of Four Coils Magnetically Coupled Resonant Inductive Power Transfer System with Efficiency Optimization Under Unsymmetrical Power Wiring Structure. IECON 2023: 1-5 - [c27]Xiangning Chen, Chen Liang, Da Huang, Esteban Real, Kaiyuan Wang, Hieu Pham, Xuanyi Dong, Thang Luong, Cho-Jui Hsieh, Yifeng Lu, Quoc V. Le:
Symbolic Discovery of Optimization Algorithms. NeurIPS 2023 - [i8]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:
Symbolic Discovery of Optimization Algorithms. CoRR abs/2302.06675 (2023) - [i7]Fangbo Qin, Taogang Hou, Shan Lin, Kaiyuan Wang, Michael C. Yip, Shan Yu:
AnyOKP: One-Shot and Instance-Aware Object Keypoint Extraction with Pretrained ViT. CoRR abs/2309.08134 (2023) - [i6]Shan Lin, Albert J. Miao, Ali Alabiad, Fei Liu, Kaiyuan Wang, Jingpei Lu, Florian Richter, Michael C. Yip:
SuPerPM: A Large Deformation-Robust Surgical Perception Framework Based on Deep Point Matching Learned from Physical Constrained Simulation Data. CoRR abs/2309.13863 (2023) - 2022
- [j5]Marko Vasic, Andrija Petrovic, Kaiyuan Wang, Mladen Nikolic, Rishabh Singh, Sarfraz Khurshid:
MoËT: Mixture of Expert Trees and its application to verifiable reinforcement learning. Neural Networks 151: 34-47 (2022) - [j4]Pengju Deng, Kaiyuan Wang, Xiaohong Han:
Real-Time Object Detection Based on YOLO-v2 for Tiny Vehicle Object. SN Comput. Sci. 3(4): 329 (2022) - 2021
- [c26]Kaiyuan Wang, Daniel Rall, Greg Tener, Vijay Gullapalli, Xin Huang, Ahmed Gad:
Smart Build Targets Batching Service at Google. ICSE (SEIP) 2021: 160-169 - [c25]Tanvir Ahmed Khan, Allison Sullivan, Kaiyuan Wang:
AlloyFL: a fault localization framework for Alloy. ESEC/SIGSOFT FSE 2021: 1535-1539 - [i5]Kaiyuan Wang, Daniel Rall, Greg Tener, Vijay Gullapalli, Xin Huang, Ahmed Gad:
Smart Build Targets Batching Service at Google. CoRR abs/2102.09098 (2021) - 2020
- [j3]Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid:
A study of learning likely data structure properties using machine learning models. Int. J. Softw. Tools Technol. Transf. 22(5): 601-615 (2020) - [c24]Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Fault Localization for Declarative Models in Alloy. ISSRE 2020: 391-402 - [c23]Kaiyuan Wang, Greg Tener, Vijay Gullapalli, Xin Huang, Ahmed Gad, Daniel Rall:
Scalable build service system with smart scheduling service. ISSTA 2020: 452-462 - [c22]Muhammad Usman, Wenxi Wang, Marko Vasic, Kaiyuan Wang, Haris Vikalo, Sarfraz Khurshid:
A study of the learnability of relational properties: model counting meets machine learning (MCML). PLDI 2020: 1098-1111 - [c21]Wenxi Wang, Muhammad Usman, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel, Sarfraz Khurshid:
A Study of Symmetry Breaking Predicates and Model Counting. TACAS (1) 2020: 115-134
2010 – 2019
- 2019
- [c20]Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid:
ARepair: a repair framework for alloy. ICSE (Companion Volume) 2019: 103-106 - [c19]Divya Gopinath, Corina S. Pasareanu, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid:
Symbolic execution for attribution and attack synthesis in neural networks. ICSE (Companion Volume) 2019: 282-283 - [c18]Wenxi Wang, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid:
Learning to Optimize the Alloy Analyzer. ICST 2019: 228-239 - [c17]Divya Gopinath, Mengshi Zhang, Kaiyuan Wang, Ismet Burak Kadron, Corina S. Pasareanu, Sarfraz Khurshid:
Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks. ISSRE 2019: 313-322 - [c16]Tong Li, Kaiyuan Wang, Jennifer Horkoff:
Towards Effective Assessment for Social Engineering Attacks. RE 2019: 392-397 - [c15]Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid:
A Study of Learning Data Structure Invariants Using Off-the-shelf Tools. SPIN 2019: 226-243 - [c14]Wenxi Wang, Kaiyuan Wang, Milos Gligoric, Sarfraz Khurshid:
Incremental Analysis of Evolving Alloy Models. TACAS (1) 2019: 174-191 - [i4]Marko Vasic, Andrija Petrovic, Kaiyuan Wang, Mladen Nikolic, Rishabh Singh, Sarfraz Khurshid:
MoËT: Interpretable and Verifiable Reinforcement Learning via Mixture of Expert Trees. CoRR abs/1906.06717 (2019) - [i3]Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Marko Vasic, Haris Vikalo, Sarfraz Khurshid:
A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning). CoRR abs/1912.11580 (2019) - 2018
- [j2]Kaiyuan Wang, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid:
A Progress Bar for the JPF Search Using Program Executions. ACM SIGSOFT Softw. Eng. Notes 43(4): 55 (2018) - [c13]Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid:
Systematic Generation of Non-equivalent Expressions for Relational Algebra. ABZ 2018: 105-120 - [c12]Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Solver-Based Sketching of Alloy Models Using Test Valuations. ABZ 2018: 121-136 - [c11]Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid:
Towards practical program repair with on-demand candidate generation. ICSE 2018: 12-23 - [c10]Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid:
MuAlloy: a mutation testing framework for alloy. ICSE (Companion Volume) 2018: 29-32 - [c9]Kaiyuan Wang, Chenguang Zhu, Ahmet Çelik, Jongwook Kim, Don S. Batory, Milos Gligoric:
Towards refactoring-aware regression test selection. ICSE 2018: 233-244 - [c8]Zijiang Yang, Jinru Hua, Kaiyuan Wang, Sarfraz Khurshid:
EdSynth: Synthesizing API Sequences with Conditionals and Loops. ICST 2018: 161-171 - [c7]Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid:
AUnit: A Test Automation Tool for Alloy. ICST 2018: 398-403 - [c6]Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid:
Automated model repair for Alloy. ASE 2018: 577-588 - [c5]Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid:
SketchFix: a tool for automated program repair approach using lazy candidate generation. ESEC/SIGSOFT FSE 2018: 888-891 - [c4]Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
ASketch: a sketching framework for Alloy. ESEC/SIGSOFT FSE 2018: 916-919 - [i2]Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Fault Localization for Declarative Models in Alloy. CoRR abs/1807.08707 (2018) - [i1]Divya Gopinath, Kaiyuan Wang, Mengshi Zhang, Corina S. Pasareanu, Sarfraz Khurshid:
Symbolic Execution for Deep Neural Networks. CoRR abs/1807.10439 (2018) - 2017
- [j1]Kaiyuan Wang, Sarfraz Khurshid, Milos Gligoric:
JPR: Replaying JPF Traces Using Standard JVM. ACM SIGSOFT Softw. Eng. Notes 42(4): 1-5 (2017) - [c3]Allison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem, Sarfraz Khurshid:
Automated Test Generation and Mutation Testing for Alloy. ICST 2017: 264-275 - [c2]Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid, Darko Marinov:
Evaluating State Modeling Techniques in Alloy. SQAMIA 2017 - 2016
- [c1]Divya Gopinath, Kaiyuan Wang, Jinru Hua, Sarfraz Khurshid:
Repairing Intricate Faults in Code Using Machine Learning and Path Exploration. ICSME 2016: 453-457
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint