Logic-informed Call-taking Performance Debriefing
We develop trustworthy AI systems that decompose LLM runtime into modularized function calls enhanced with Signal Temporal Logic, ensuring reliable and interpretable performance evaluation for safety-critical call-taking scenarios.
Keywords: Trustworthy AI, AI Safety, Reliable LLMs
Learn More