Not registered as user yet

Name: Sever Topan

Affiliation: McGill University

Contributions

POPL 2021 Author of On the Interpretability of SATNet Clauses within the Student Research Competition-track