Login / Signup
Antonio Locascio
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Logic Programming
Logical Rules
Building Blocks
Highly Optimized
Top Venues
CoRR
</>
Publications
</>
Marco Stronati
,
Denis Firsov
,
Antonio Locascio
,
Benjamin Livshits
Clap: a Rust eDSL for PlonKish Proof Systems with a Semantics-preserving Optimizing Compiler.
CoRR
(2024)