Login / Signup
Auguste Poiroux
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Relational Calculus
Type Checking
Query Processor
Integrity Constraints
Top Venues
CoRR
</>
Publications
</>
Auguste Poiroux
,
Gail Weiss
,
Viktor Kuncak
,
Antoine Bosselut
Improving Autoformalization using Type Checking.
CoRR
(2024)