New post: Coverage-driven alignment - What ‘Teaching Claude Why’ can borrow from AV verification
On LW: https://t.co/GvG7XJz5hA
Original: https://t.co/qapTcAwwQg
צהרים טובים ממושב רמות. אחרי שאתמול נתניהו לא הגיע, מפגיני הצפון והאזור ממשיכים להיערך לקראת הגעתו היום. מתחם הנופש המתוכנן מגודר ומכוסה מכל כיוון. ובחוץ אזרחים מדהימים ממשיכים לתלות שלטים לאורך הכבישים המובילים לכפר הנופש.
הערב מתוכננת הפגנה גדולה החל מ-19:00, מגיעים מכל הארץ🇮🇱
@goodfellow_ian TensorFuzz seems really useful and fairly general. I could also see this kind of coverage being used in end-to-end verification of bigger systems containing ML components: E.g. as one of the inputs for coverage maximization – see https://t.co/HNFK3tRM0Z