Wojciech Nawrocki

According to our database, Wojciech Nawrocki authored at least 8 papers between 2021 and 2026.

Collaborative distances:

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

2026

A Certifying Proof Assistant for Synthetic Mathematics in Lean.

Wojciech Nawrocki, Joseph Hua, Mario Carneiro, Yiming Xu, Spencer Woolfson, Shuge Rong, Sina Hazratpour, Steve Awodey

Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026

2025

Certified Knowledge Compilation with Application to Formally Verified Model Counting.

Randal E. Bryant, Wojciech Nawrocki, Jeremy Avigad, Marijn J. H. Heule

J. Artif. Intell. Res., 2025

2024

EmptyHexagonLean.

Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden R. Codel, Mario Carneiro, Marijn J. H. Heule

Dataset, November, 2024

Formal Verification of the Empty Hexagon Number.

Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden R. Codel, Mario Carneiro, Marijn J. H. Heule

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2023

An Impossible Asylum.

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

Am. Math. Mon., May, 2023

Certified Knowledge Compilation with Application to Verified Model Counting.

Randal E. Bryant, Wojciech Nawrocki, Jeremy Avigad, Marijn J. H. Heule

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

An Extensible User Interface for Lean 4.

Wojciech Nawrocki, Edward W. Ayers, Gabriel Ebner

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2021

XOR Local Search for Boolean Brent Equations.

Wojciech Nawrocki, Zhenjun Liu, Andreas Fröhlich, Marijn J. H. Heule, Armin Biere

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021