Alexandra Newcomb

Orcid: 0009-0003-1941-6495

According to our database¹, Alexandra Newcomb authored at least 2 papers between 2025 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Formal methods for safety-critical machine learning: a systematic literature review.

[DOI]

Frontiers Artif. Intell., 2026

2025

Preconditions and Postconditions as Design Constraints for LLM Code Generation.

[DOI]

IEEE Access, 2025