Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Learning Contract Invariants Using Reinforcement Learning.

J. Liu, Y. Chen, B. Tan, I. Dillig, and Y. Feng. ASE, page 63:1-63:11. ACM, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Chen Chen

Shih Chen Chen

Yi-Chen Chen

Chen-Loung Chen

Other publications of authors with the same name

Standby Redundancy Optimization with Type-2 Fuzzy Lifetimes.Y. Chen, and Y. Liu. ICSI (1), volume 6728 of Lecture Notes in Computer Science, page 329-337. Springer, (2011)Visualization question answering using introspective program synthesis.Y. Chen, X. Yan, and Y. Feng. PLDI, page 137-151. ACM, (2022)SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds.P. Bose, D. Das, Y. Chen, Y. Feng, C. Kruegel, and G. Vigna. SP, page 161-178. IEEE, (2022)Learning Contract Invariants Using Reinforcement Learning.J. Liu, Y. Chen, B. Tan, I. Dillig, and Y. Feng. ASE, page 63:1-63:11. ACM, (2022)Program Synthesis Using Deduction-Guided Reinforcement Learning.Y. Chen, C. Wang, O. Bastani, I. Dillig, and Y. Feng. CAV (2), volume 12225 of Lecture Notes in Computer Science, page 587-610. Springer, (2020)Optimising two-stage robust supplier selection and order allocation problem under risk-averse criterion.Y. Feng, Y. Chen, and Y. Liu. Int. J. Prod. Res., 61 (19): 6356-6380 (October 2023)Some Characteristics of Fuzzy Integrals as a Multiple Classifiers Fusion Method.H. Feng, X. Li, T. Fan, and Y. Chen. ICMLC, volume 3930 of Lecture Notes in Computer Science, page 1014-1024. Springer, (2005)The Infinite Dimensional Product Possibility Space and Its Applications.Y. Liu, B. Liu, and Y. Chen. ICIC (2), volume 4114 of Lecture Notes in Computer Science, page 984-989. Springer, (2006)Fast and Reliable Program Synthesis via User Interaction.Y. Chen, C. Wang, X. Wang, O. Bastani, and Y. Feng. ASE, page 963-975. IEEE, (2023)Tree traversal synthesis using domain-specific symbolic compilation.Y. Chen, J. Liu, Y. Feng, and R. Bodík. ASPLOS, page 1030-1042. ACM, (2022)

BibSonomy

Disambiguation of "Chen, Yanju"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Learning Contract Invariants Using Reinforcement Learning.

Please choose a person to relate this publication to

Chen Chen

Chen Chen

Shih Chen Chen

Yi-Chen Chen

Chen-Loung Chen

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Chen, Yanju"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Learning Contract Invariants Using Reinforcement Learning.

Please choose a person to relate this publication to

Chen Chen

Chen Chen

Shih Chen Chen

Yi-Chen Chen

Chen-Loung Chen

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Learning Contract Invariants Using Reinforcement Learning.