Question: Which video game required Hana Hayes to work with Naughty Dog?

full_context: Document 1: Until Dawn: Until Dawn is an interactive drama survival horror adventure video game developed by Supermassive Games and published by Sony Computer Entertainment for PlayStation 4. It was originally scheduled to be released for PlayStation 3 and feature PlayStation Move support, but in August 2014 the game was re-introduced as a PlayStation 4 exclusive title, and was released worldwide in August 2015.
Document 2: Ellie (The Last of Us): Ellie is a fictional character in the 2013 video game "The Last of Us", and the main protagonist of the upcoming video game "The Last of Us Part II". In the first game, the character Joel is tasked with escorting Ellie across a post-apocalyptic United States in an attempt to create a potential cure for an infection to which Ellie is immune. She is voiced by Ashley Johnson, who also provided motion capture for the character. While players briefly assume control of Ellie for a portion of the game, the computer's artificial intelligence primarily controls her actions, often assisting in combat by attacking or identifying enemies. Ellie reappeared as the sole playable character in the downloadable content prequel campaign, "", in which she spends time with her friend Riley. Ellie is also the main character in the comic book prequel, "", wherein she befriends Riley and has her first encounter with the rebel group the Fireflies.
Document 3: R.I.P.D. The Game: R.I.P.D. The Game is a co-op third-person shooter video game developed by Saber Interactive and published by Atlus USA. It was released on July 17, 2013 for the Xbox 360, PlayStation 3 and Microsoft Windows. The game is primarily a survival mode, and is based on the film "R.I.P.D.". The gameplay is derived from Old School Game's previous game, "God Mode". Players in "R.I.P.D. The Game" are able to play as Roy Pulsipher or Nick Walker in a cooperative horde mode gametype against renegade ghosts also known as "deadoes", who stay on earth to avoid their fate in the afterlife. Matches are composed of five rounds with each round increasing in difficulty compared to the last. Players are able to buy and upgrade weapons using in game currency. These weapons include a standard arsenal of shotguns, assault rifles, and references to the movie such as a banana or a hairdryer. Enemies can be defeated through in game firearms or by standing next to marked enemies in order to arrest them.
Document 4: Horizon Zero Dawn: Horizon Zero Dawn is an action role-playing video game developed by Guerrilla Games and published by Sony Interactive Entertainment for PlayStation 4 and released in early 2017. The plot revolves around Aloy, a hunter and archer living in a world overrun by robots. Having been an outcast her whole life, she sets out to discover the dangers that kept her sheltered. The character uses ranged weapons and a spear and stealth tactics to combat the mechanised creatures, whose remains can be looted for resources. A skill tree provides the player with new abilities and passive bonuses. The game features an open world environment for Aloy to explore, divided into tribes that hold side quests to undertake, while the main story guides her across the entire map.
Document 5: Hannah Baker: Hannah Baker is a fictional character created by American author Jay Asher. She is the subject of his 2007 mystery novel "Thirteen Reasons Why", and Netflix's adaptation of the book, "13 Reasons Why". Hannah is introduced as a sophomore at the fictional Liberty High School, characterized by her struggle adjusting to life in an unsympathetic school environment. She is played by Katherine Langford on the television series. Langford is signed on to appear in the show's second season, which is set to air in 2018.
Document 6: Ashly Burch: Ashly Burch (born June 19, 1990) is an American actress, voice actress, singer, and writer known for her role as the voice of Tiny Tina in the video game "Borderlands 2", the web series "Hey Ash, Whatcha Playin'?", Aloy in the video game "Horizon Zero Dawn", Mayuri Shiina from "Steins;Gate" and Sasha Braus from "Attack on Titan".
Document 7: List of accolades received by The Last of Us: "The Last of Us" is an action-adventure survival horror video game developed by Naughty Dog and published by Sony Computer Entertainment. Players assume control of Joel (Troy Baker), escorting the young Ellie (Ashley Johnson) across a post-apocalyptic United States. The game's development was led by Bruce Straley and Neil Druckmann, as game director and creative director, respectively. The game was officially announced on December 10, 2011, and was widely anticipated. It was awarded Most Anticipated Game from PlayStation Universe and Cheat Code Central, receiving a nomination at the 2012 Spike Video Game Awards.
Document 8: Katherine Langford: Katherine Langford (born 29 April 1996) is an Australian actress. She is known for playing Hannah Baker in the 2017 Netflix series "13 Reasons Why", based on the novel of the same name.
Document 9: Haylie Duff: Haylie Katherine Duff (born February 19, 1985) is an American actress, singer, songwriter, television host, writer, and fashion designer. She is best known on her role as Sandy Jameson in the television series "7th Heaven", Amy Sanders on "Lizzie McGuire", Summer Wheatley in "Napoleon Dynamite", and Annie Nelson in the made-for-television films "Love Takes Wing" along with its sequel "Love Finds a Home" (2009).
Document 10: Brighton Sharbino: Brighton Rose Sharbino (born August 19, 2002) is an American actress. She is best known for her role as Lizzie Samuels on the AMC television series "The Walking Dead".
Document 11: Hana Hayes: Hana Hayes (born March 29, 1999) is an American actress known for her role as Lizzie Sanderson in "The Grinder" and Sarah in the video game "The Last of Us".
Document 12: The Last of Us Part II: The Last of Us Part II is an upcoming action-adventure survival horror video game developed by Naughty Dog and published by Sony Interactive Entertainment for PlayStation 4. It was announced at the PlayStation Experience event in December 2016, and will serve as the sequel to 2013's "The Last of Us".
Document 13: The Last of Us: The Last of Us is an action-adventure survival horror video game developed by Naughty Dog and published by Sony Computer Entertainment. It was released for the PlayStation 3 worldwide on June 14, 2013. Players control Joel, a smuggler tasked with escorting a teenage girl named Ellie across a post-apocalyptic United States. "The Last of Us" is played from a third-person perspective; players use firearms and improvised weapons, and can use stealth to defend against hostile humans and cannibalistic creatures infected by a mutated strain of the "Cordyceps" fungus. In the game's online multiplayer mode, up to eight players engage in cooperative and competitive gameplay.
Document 14: List of The Last of Us characters: "The Last of Us", an action-adventure survival horror video game developed by Naughty Dog, deals with the relationship between an older man, Joel, and a teenaged girl, Ellie. Joel is tasked with escorting Ellie across a post-apocalyptic United States in an attempt to create a potential cure against an infection to which Ellie is immune. The relationship between the two characters became the basis of the game's development.
Document 15: Harriet Hayes: Hannah Harriet Hayes is a fictional character on the US television series "Studio 60 on the Sunset Strip", played by Sarah Paulson. The character is loosely based on actress Kristin Chenoweth (who had dated "Studio 60" creator Aaron Sorkin and starred in Sorkin's previous series, "The West Wing," after Sorkin had left it); there is an opinion that she is also at least partially based on former "Saturday Night Live" comedian Victoria Jackson.
ground_truth: The Last of Us