Liquid Types, SMT Verification, Predicate Subtyping, Contract Programming
HealthProcessAI: A Technical Framework and Proof-of-Concept for LLM-Enhanced Healthcare Process Mining
arxiv.org·1d
Igniting Creative Writing in Small Language Models: LLM-as-a-Judge versus Multi-Agent Refined Rewards
arxiv.org·1d
Loading...Loading more...