List of works - Minghai Lu - Paulina

List of works by Minghai Lu

Automated Deep Learning Optimization via DSL-Based Source Code Transformation

scientific article published on 11 September 2024

Proof Automation with Large Language Models

scientific article published on 18 October 2024

SJFuzz: Seed and Mutator Scheduling for JVM Fuzzing

scientific article published on 30 November 2023

Paulina is supported by:

About Paulina

Help