Joshua Clune

Orcid: 0000-0003-4047-6196

According to our database¹, Joshua Clune authored at least 13 papers between 2020 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

Premise Selection for a Lean Hammer.

[BibT_eX]

[DOI]

CoRR, June, 2025

bv_decide SMT-COMP 2025 Submission.

[BibT_eX]

[DOI]

Dataset, June, 2025

bv_decide SMT-COMP 2025 Submission.

[BibT_eX]

[DOI]

Dataset, June, 2025

bv_decide SMT-COMP 2025 Submission.

[BibT_eX]

[DOI]

Dataset, June, 2025

bv_decide SMT-COMP 2025 Submission.

[BibT_eX]

[DOI]

Dataset, June, 2025

Artifact for Paper Lean-auto: An Interface between Lean 4 and Automated Theorem Provers.

[BibT_eX]

[DOI]

Dataset, May, 2025

x86 Only Artifact for Paper Lean-auto: An Interface between Lean 4 and Automated Theorem Provers.

[BibT_eX]

[DOI]

Dataset, April, 2025

Draft Artifact for Paper Lean-auto: An Interface between Lean 4 and Automated Theorem Provers.

[BibT_eX]

[DOI]

Dataset, April, 2025

Lean-Auto: An Interface Between Lean 4 and Automated Theorem Provers.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

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

[BibT_eX]

[DOI]

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

2023

A Formalized Reduction of Keller's Conjecture.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

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

[BibT_eX]

[DOI]

CoRR, 2020

Joshua Clune

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...