Could Ukraine hold a presidential election right now? Will Europe use frozen Russian assets to fund war? How can Ukraine rebuild China ties? 'Ukraine is running out of men, money and time' Russian forces began a "massive attack" on Ukraine on Monday night, killing three people and targeting 13 regions with 650 drones and 30 missiles, Ukrainian President Volodymyr Zelenskyy said in a post on X. Those killed in the overnight attack included a four-year-old girl in the central Zhytomyr region, Governor Vitalii Bunechko said on Telegram.

Can Ukraine restore its pre-war borders? Why are Tomahawk missiles for Ukraine a'red line' for Russia? Is Russia testing NATO with aerial incursions in Europe? Ukrainian President Volodymyr Zelenskyy has said he will travel to Washington, DC, to meet his US counterpart, Donald Trump, on Friday. The main topics to be discussed will be air defence and long-range capabilities, Zelenskyy said in a message on his Telegram channel.

Can Ukraine restore its pre-war borders? Why are Tomahawk missiles for Ukraine a'red line' for Russia? Is Russia testing NATO with aerial incursions in Europe? Russian drone and missile attacks across Ukraine on Saturday killed at least five people, while also cutting power to parts of the southern Odesa region, the AFP news agency reported, citing local officials. Two of the victims were killed in an attack on a church in Kostiantynivka in eastern Donetsk, AFP said.

Can Ukraine restore its pre-war borders? Why are Tomahawk missiles for Ukraine a'red line' for Russia? Is Russia testing NATO with aerial incursions in Europe? Russian President Vladimir Putin said his forces have captured almost 5,000 square kilometres (1,930sq miles) of Ukrainian territory so far this year, and Moscow retains the strategic initiative on the battlefield. Russian troops have captured the Ukrainian villages of Novovasylivka in the southeastern Zaporizhia region and Fedorivka in the eastern Donetsk region, Russia's defence ministry said.

Can Ukraine restore its pre-war borders? Why are Tomahawk missiles for Ukraine a'red line' for Russia? Is Russia testing NATO with aerial incursions in Europe? The UN's International Atomic Energy Agency (IAEA) said that "two rounds of shelling struck around 1.25 km" [less than a mile] from the perimeter of Ukraine's Zaporizhzhia Nuclear Power Plant on Monday afternoon. IAEA chief Rafael Grossi warned the attacks came as the plant has been running on emergency diesel generators for almost two weeks after losing its external power source.

Can Ukraine restore its pre-war borders? Why are Tomahawk missiles for Ukraine a'red line' for Russia? Is Russia testing NATO with aerial incursions in Europe? One person was killed and about 30 others injured after two Russian drones struck trains at a station in Ukraine's northern Sumy region. Ukrainian President Volodymyr Zelenskyy accused Russia of "terrorism", while Foreign Minister Andrii Sybiha said Moscow deliberately targeted civilians during the attack.

Can Ukraine restore its pre-war borders? Why are Tomahawk missiles for Ukraine a'red line' for Russia? Is Russia testing NATO with aerial incursions in Europe? At least 4 killed in major Russian drone, missile attack on Ukraine's Kyiv Russia's President Vladimir Putin said his forces are prevailing in what he described as a "righteous battle" in Ukraine . "Our fighters and commanders go on the attack, and the entire country, all of Russia, is waging this righteous battle and working hard," he said.

Can Ukraine restore its pre-war borders? Why are Tomahawk missiles for Ukraine a'red line' for Russia? Is Russia testing NATO with aerial incursions in Europe? Russian forces killed four people, including a 12-year-old girl, and injured 13 in an attack on Ukraine's capital, Kyiv, on Sunday night, Tymur Tkachenko, the head of Kyiv's military administration, wrote in a post on Telegram. Those killed also included staff and patients at a cardiology centre, Tkachenko added.

Can Ukraine restore its pre-war borders? How is Russia replenishing its military? At least two people were killed by a daytime Ukrainian drone attack on the Russian city of Novorossiysk on Wednesday, according to The Moscow Times. Among those injured were employees of a Russian-Kazakh oil project. Russia's Ministry of Defence on Wednesday said 1,495 Ukrainian troops were killed in the past 24 hours of fighting, according to Russia's state news agency TASS.

We introduce the Formally Verified Automated Programming Progress Standards, or FVAPPS, a benchmark of 4715 samples for writing programs and proving their correctness, the largest formal verification benchmark, including 1083 curated and quality controlled samples. Previously, APPS provided a benchmark and dataset for programming puzzles to be completed in Python and checked against unit tests, of the kind seen in technical assessments in the software engineering industry. Building upon recent approaches for benchmarks in interactive theorem proving, we generalize the unit tests to Lean 4 theorems given without proof (i.e., using Lean's "sorry" keyword). On the 406 theorems of 100 randomly selected samples, Sonnet correctly proves 30% and Gemini correctly proves 18%. We challenge the machine learning and program synthesis communities to solve both each general purpose programming problem and its associated correctness specifications. The benchmark is available at https://huggingface.co/datasets/quinn-dougherty/fvapps.