Reasoning: LLM-Guided Quantified SMT Solving over Uninterpreted Functions | Foresight | ScienceToStartup