We stand with Ukraine  

Kyle A. Miller

Affiliations:
  • University of California Berkeley, Department of Mathematics, CA, USA


According to our database1, Kyle A. Miller authored at least 7 papers between 2021 and 2025.

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

2025
ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems.
[BibTeX]
[DOI]
Eric Vin
,
Kyle A. Miller
,
Inigo Incer
,
Sanjit A. Seshia
,
Daniel J. Fremont
CoRR, November, 2025

Fast Collection Operations from Indexed Stream Fusion.
[BibTeX]
[DOI]
Scott Kovach
,
Praneeth Kolichala
,
Kyle A. Miller
,
David Broman
,
Fredrik Kjolstad
CoRR, July, 2025

LeanLTL: A unifying framework for linear temporal logics in Lean.
[BibTeX]
[DOI]
Eric Vin
,
Kyle A. Miller
,
Daniel J. Fremont
CoRR, July, 2025

LeanLTL: A Unifying Framework for Linear Temporal Logics in Lean (Short Paper).
[BibTeX]
[DOI]
Eric Vin
,
Kyle A. Miller
,
Daniel J. Fremont
Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

2024
Iterative Update Sample Consensus (IUSAC): A repeatable algorithm for optimal consensus set.
[BibTeX]
[DOI]
Jichul Kim
,
Byungjoon Lee
,
Michael R. Zanetti
,
Kyle A. Miller
,
Seongjai Kim
J. Comput. Appl. Math., January, 2024

2023
L-space knots with tunnel number >1 by experiment.
[BibTeX]
[DOI]
Chris Anderson
,
Kenneth L. Baker
,
Xinghua Gao
,
Marc Kegel
,
Khanh Le
,
Kyle A. Miller
,
Sinem Onaran
,
Geoffrey Sangston
,
Samuel Tripp
,
Adam Wood
,
Ana Wright
Exp. Math., October, 2023

2021
Formalizing Hall's Marriage Theorem in Lean.
[BibTeX]
[DOI]
Alena Gusakov
,
Bhavik Mehta
,
Kyle A. Miller
CoRR, 2021


  Loading...