Login / Signup
Mantas Baksys
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 5
Top Topics
Cooperative Learning
Intuitionistic Logic
Von Neumann
Cut Elimination
Top Venues
Arch. Formal Proofs
CoRR
CPP
ICLR
</>
Publications
</>