Joshua Clune

According to our database, Joshua Clune authored at least 4 papers between 2020 and 2024.

Collaborative distances:

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

2024

Duper: A Proof-Producing Superposition Theorem Prover for Dependent Type Theory.

Joshua Clune, Yicheng Qian, Alexander Bentkamp, Jeremy Avigad

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

2023

A Formalized Reduction of Keller's Conjecture.

Joshua Clune

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2020

Program equivalence for assisted grading of functional programs.

Joshua Clune, Vijay Ramamurthy, Ruben Martins, Umut A. Acar

Proc. ACM Program. Lang., 2020

Program Equivalence for Assisted Grading of Functional Programs (Extended Version).

Joshua Clune, Vijay Ramamurthy, Ruben Martins, Umut A. Acar

CoRR, 2020