નોંધનીય છે કે ચોરાબાડી તળાવને ગાંધી સરોવર પણ કહેવામાં આવે છે.