Categories
South Caucasus News

CLEVER: A Curated Benchmark for Formally Verified Code Generation


TL;DR: We introduce CLEVER, a hand-curated benchmark for verified code generation in Lean. It requires full formal specs and proofs. No few-shot method solves all stages, making it a strong testbed for synthesis and formal reasoning.

Categories
South Caucasus News

Clever: A Curated Benchmark for Formally Verified Code Generation


We introduce CLEVER, the first curated benchmark for evaluating the generation of specifications and formally verified code in Lean. The benchmark comprises of 161 programming problems; it evaluates both formal speci-fication generation and implementation synthesis from natural language, requiring formal correctness proofs for both.

Categories
South Caucasus News

Sign in to Gmail


To open Gmail, you can sign in from a computer or add your account to the Gmail app on your phone or tablet. Once you’re signed in, open your inbox to check your mail.

Categories
South Caucasus News

New escalation in Ukraine’s campaign against Russian military-industrial targets with Storm Shadows



Categories
The News And Times Blog

Does the case of Ramiz Mehdiyev qualify for the “High Treason” charges based on his recently published “letter”? In my opinion, it does not. More than that: his outline is the viable alternative for the Aliyev’s plans for the hereditary monarchy, which are all too evident. And it does not contain calls for the violent overthrow of the current government.





#SouthCaucasus
share.google/aimode/m9V4kd1
Does the case of #RamizMehdiyev qualify for the “#HighTreason” charges based on his recently published “letter”?
In my
#opinion, it does not.
More than that: his outline is the viable alternative for the Aliyev’s plans for the hereditary monarchy, which are all too evident. And it does not contain calls for the violent overthrow of the current government.

AI Mode

Does the case of Ramiz Mehdiyev qualify for “High Treason” charges based on his recently published “letter”?

57 minutes ago

Determining if the case of 

Ramiz Mehdiyev qualifies for “High Treason” charges is a complex legal matter, dependent on the specific legal definitions within Azerbaijani law, interpretation of evidence, and due process. According to news reports from October 2025, Azerbaijani state-aligned media outlets accused Mehdiyev of attempting a coup with Russian support, although the basis for these charges has not been independently verified. 

Context of the alleged “letter” and charges
In mid-October 2025, multiple reports emerged from Azerbaijani news sources, citing an unnamed source within the APA news agency, that alleged former presidential chief of staff Ramiz Mehdiyev had planned a coup.
  • The reports claimed that Mehdiyev had shared a plan with Russia to seize power and establish an interim State Council, which he would lead.
  • The Kremlin reportedly refused to support the plan and informed Azerbaijani authorities of Mehdiyev’s activities.
  • Mehdiyev was subsequently dismissed from the Security Council. 
However, the specific “letter” you are asking about has not been publicly detailed in these reports. The accusations are centered on an alleged plot to seize power, not a specific published letter. Some sources suggest the “letter” may refer to publications or articles written by Mehdiyev over the years. These publications, or any recent communications, would be examined in the context of the alleged coup plot to determine their relevance to a high treason charge. 
Azerbaijani law on high treason
Azerbaijan’s Criminal Code, specifically Article 274, defines high treason as a deliberate action by a citizen to harm the country’s sovereignty, territorial integrity, state security, or defense capability. This can include: 
  • Switching to the enemy’s side.
  • Espionage.
  • Distributing state secrets to foreign entities.
  • Assisting foreign states or organizations in hostile activities against Azerbaijan. 
A 2024 amendment strengthened these laws, increasing the maximum sentence to 20 years in prison. Critics have expressed concern that these laws could be used to silence opponents, as exemplified by the prosecution of human rights advocates on politically motivated treason charges in the past. 
Qualification of charges
Whether Mehdiyev’s case qualifies for a high treason charge depends on several key factors:
  • Proof of intent: The prosecution would need to prove that Mehdiyev’s actions were deliberately intended to harm Azerbaijan’s state security or sovereignty.
  • Nature of the actions: The specific actions, whether publishing a document or plotting with a foreign government, must meet the legal criteria outlined in Article 274 of the Criminal Code.
  • Interpretation of the “letter”: If a specific “letter” is used as evidence, the interpretation of its contents and intent would be critical. In the context of the alleged coup plot, it could be interpreted as part of a hostile action or aiding a foreign power.
  • Political context: International observers often note that treason charges in Azerbaijan can be politically motivated. The recent negative media campaign against Mehdiyev following his dismissal and the sensitive nature of the alleged plot suggests a strong political component. 
Ultimately, the official determination of whether the case qualifies as high treason would be made by the Azerbaijani legal system, and potentially be influenced by the ongoing political landscape. 

Articles and Tweets


Categories
South Caucasus News

Devastating blow to Putin’s oil refineries: Moscow lost 27% of fuel production



Categories
South Caucasus News

Answered: Q1: What is the value of the influence line for … – bartleby


Q1: What is the value of the influence line for the vertical reaction at support A for the following beam at 5 m to the right of point A? *Hint: use the vertical reaction at B as a redundant. B C 10 m 5 m 10 m El = constant Q2: Without any calculations, draw the qualitative influence lines for the following functions: a) The vertical reactions at A, B, C and D (Ya, Yb, Yc, Yd) b) The internal …

Categories
South Caucasus News

Russian Black Sea Fleet was destroyed, only the aircrafts remain, and they will soon be shot down



Categories
South Caucasus News

Грузия LIVE – Запрет политических партий и “реформа” образования



Categories
Azerbaijan Airlines plane crashes in Kazakhstan

A plane crash has killed 11 people, including two Germans and eight Hungarians, in Kenya, officials say. The aircraft reportedly burst into flames, according to preliminary reports. – facebook.com


A plane crash has killed 11 people, including two Germans and eight Hungarians, in Kenya, officials say. The aircraft reportedly burst into flames, according to preliminary reports.  facebook.com