"LEAP"@cs .