Submissions for team FormalAlbatross on problem leaderboard leaderboard