Elicit co-founder Andreas Stuhlmüller advocates using explicit world models and reasoning DSLs to prevent frontier model process failures · Digg