Preconditions and Postconditions as Design Constraints for LLM Code Generation. - Luke Newcomb; Alexandra Newcomb; Omar Ochoa (IEEE Access, 2025)

Formal methods for safety-critical machine learning: a systematic literature review. - Alexandra Newcomb; Omar Ochoa (Frontiers Artif. Intell., 2026)