Submissions for team LegalCoral on problem leaderboard leaderboard