List of works - Zhengyao Lin - Paulina

List of works by Zhengyao Lin

FlowCert: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions

scientific article published on 08 October 2024

Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier

scientific article published on 06 April 2023

Synthesizing axiomatizations using logic learning

scientific article published on 31 October 2022

Paulina is supported by:

About Paulina

Help