Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Joshua Clune
Observed name:
Clune, Joshua
Institution:
Carnegie Mellon University
Observed institution:
Carnegie Mellon University
ORCID:
0000-0003-4047-6196
Observed ORCID:
0000-0003-4047-6196
OpenAlex ID:
A5004455254
Program equivalence for assisted grading of functional programs
2020
·
Joshua Clune
, Vijay Ramamurthy
, et al.
·
Proceedings of the ACM on Programming Languages
·
12
PDF
Lean-Auto: An Interface Between Lean 4 and Automated Theorem Provers
2025
·
Yicheng Qian
, Joshua Clune
, et al.
·
Lecture notes in computer science
·
7
PDF
Interactive Bitvector Reasoning using Verified Bit-Blasting
2025
·
Henrik Böving
, Siddharth Bhat
, et al.
·
Proceedings of the ACM on Programming Languages
·
4
PDF
A Formalized Reduction of Keller’s Conjecture
2023
·
Joshua Clune
·
ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)
·
3
PDF
Hint-Based SMT Proof Reconstruction
2026
·
Clune, Joshua
, Barbosa, Haniel
, et al.
·
arXiv (Cornell University)
·
1
PDF
Premise Selection for a Lean Hammer
2025
·
Zhu, Thomas
, Clune, Joshua
, et al.
·
arXiv (Cornell University)
·
1
PDF
Scaling Verification of Cryptographic Software with Aeneas, Rust, and Lean
2026
·
Ho, Son
, Fournet, Cédric
, et al.
·
arXiv (Cornell University)
PDF
bv_decide SMT-COMP 2026 Submission
2026
·
Böving, Henrik
, Bhat, Siddharth
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
Artifact for Hint-Based SMT Proof Reconstruction
2026
·
Clune, Joshua
, Barbosa, Haniel
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
Hint-Based SMT Proof Reconstruction
2026
·
Joshua Clune
, Haniel Barbosa
, et al.
·
Lecture notes in computer science
PDF
Show more works
View as search
Works count:
15
Citation count:
32
H-index:
4
I10-index:
1
Year
Topic
Type
