Jibiana Jakpor

According to our database, Jibiana Jakpor authored at least 2 papers between 2022 and 2025.

Collaborative distances:

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

2025

Improving the SMT Proof Reconstruction Pipeline in Isabelle/HOL.

Hanna Lachnitt, Mathias Fleury, Haniel Barbosa, Jibiana Jakpor, Bruno Andreotti, Andrew Reynolds, Hans-Jörg Schurr, Clark W. Barrett, Cesare Tinelli

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

2022

Quintessence: An Intersectional Reflexivity Tool for Data-Centric Research & Development.

Alicia E. Boyd, Jibiana Jakpor, Brittany Johnson

Proceedings of the 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, 2022