Joshua Clune

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Duper: A Proof-Producing Superposition Theorem Prover for Dependent Type Theory.
Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2023
A Formalized Reduction of Keller's Conjecture.
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2020
Program equivalence for assisted grading of functional programs.
Proc. ACM Program. Lang., 2020

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


  Loading...