Seulkee Baek

According to our database, Seulkee Baek authored at least 3 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

An Impossible Asylum.

Jeremy Avigad, Seulkee Baek, Alexander Bentkamp, Marijn Heule, Wojciech Nawrocki

Am. Math. Mon., May, 2023

2021

A Flexible Proof Format for SAT Solver-Elaborator Communication.

Seulkee Baek, Mario Carneiro, Marijn J. H. Heule

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

A Formally Verified Checker for First-Order Proofs.

Seulkee Baek

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021