أرسل هذا في رسالة قصيرة: Iterative learning from texts and counterexamples using additional information

  ______     ___      ______     ___     _____    
 /_   _//   / _ \\   /_   _//   / _ \\  |  __ \\  
 `-| |,-   / //\ \\    | ||    / //\ \\ | |  \ || 
   | ||   |  ___  ||  _| ||   |  ___  ||| |__/ || 
   |_||   |_||  |_|| /__//    |_||  |_|||_____//  
   `-`'   `-`   `-`  `--`     `-`   `-`  -----`