hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Computer Aided Verification
In computer science, the International Conference on Computer-Aided Verification (CAV) is an annual academic conference on the theory and practice of computer-aided formal analysis of software and hardware systems, broadly known as formal methods. Among the important results originally published in CAV are techniques in model checking, such as Counterexample-Guided Abstraction Refinement and partial order reduction. It is often ranked among the top conferences in computer science.

The first CAV was held in 1989 in Grenoble, France. The CAV proceedings (1989-present) are published by Springer Science+Business Media. They have been open access since 2018. The annual CAV Award was established in 2008. The list of recipients and citations can be found at https://i-cav.org/cav-award/.

Academic conference
An academic conference or scientific conference (also congress, symposium, workshop, or meeting) is an event for researchers (not necessarily academics) to present and discuss their scholarly work. Together with academic or scientific journals and preprint archives, conferences provide an important channel for exchange of information between researchers. Further benefits of participating in academic conferences include learning effects in terms of presentation skills and "academic habitus", receiving feedback from peers for one's own research, the possibility to engage in informal communication with peers about work opportunities and collaborations, and getting an overview of current research in one or more disciplines.

The first international academic conferences and congresses appeared in 19th century.
John Robertson Jr. House
The John Robertson Jr. House is a historic house at 145 W. Main Street in Barrington, Illinois. The house was built in 1898 for John Robertson Jr., a local banker and a member of Barrington's village board. Carpenter Fred Lines built the house, which has an American Foursquare plan with Neoclassical details. The 2+1⁄2-story house has a roughly rectangular layout with a service addition, front and side porches, and a dormer projecting from the front of its hip roof, a typical Foursquare layout. Its Neoclassical elements include Corinthian columns supporting the porches, swags and garlands adorning several windows, and multiple Palladian windows.

The house was added to the National Register of Historic Places on December 22, 2014.

Garland
A garland is a decorative braid, knot or wreath of flowers, leaves, or other material. Garlands can be worn on the head or around the neck, hung on an inanimate object, or laid in a place of cultural or religious importance. In contemporary times, garlands are used to decorate, especially around holidays.
Petrea, Ohio
Petrea is an unincorporated community in Lick Township, Jackson County, Ohio, United States. It is located on Ohio State Route 788 between Jackson and Wellston, at the intersection of Fairgreens Road (County Road 78), at 39°04′24″N 82°36′03″W﻿ / ﻿39.07333°N 82.60083°W﻿ / 39.07333; -82.60083.

Ohio State Route 788
State Route 788 (SR 788) is a north–south state highway in the southern portion of the U.S. state of Ohio.  The western terminus is at State Route 93 in Jackson.  Its eastern terminus is also at State Route 93, this time less than 2 miles (3.2 km) west of Wellston.

Created in the late 1930s, State Route 788 acts as a shortcut to avoid communities that State Route 93 passes through between Jackson and Wellston.
Andrási
Andrási, sometimes spelled Andraši, Andrași or Andrássy, is a Hungarian surname. Notable people with the surname include:

The House of Andrássy, a Hungarian noble family

Aladár Andrássy (1827–1903), Hungarian soldier and politician

Alexandru Andrași (born 1965), Romanian footballer

Gyula Andrási (1927–1950), Hungarian sprint canoeist

Gyula Andrássy (1823–1890), Prime Minister of Hungary and Foreign Minister of Austria-Hungary

Gyula Andrássy the Younger (1860–1929), Hungarian politician

István Andrássy (1650–1720), Hungarian general

Károly Andrássy (1792–1845), Hungarian politician

Katinka Andrássy (1892–1985), Hungarian noblewoman

Klára Andrássy (1898–1941), Hungarian noblewoman and British agent

Manó Andrássy (1821–1891), Hungarian painter, caricaturist, collector, traveler, and politician

Tivadar Andrássy (1857–1905), Hungarian politician, painter, and art collector

Andrássy
The House of Andrássy is the name of a Hungarian noble family of that was prominent in Hungarian history. The full family name is Andrássy de Csíkszentkirály et Krasznahorka. Csíkszentkirály is a town in modern-day Romania, now called Sâncrăieni, while Krásna Hôrka is a castle in Slovakia.
Sarikamysh gas field
The Sarikamysh gas field is a natural gas field located in the Sughd Region of Tajikistan. It was discovered in 2010 and developed by and Gazprom. It began production in 2012 and produces natural gas and condensates. The total proven reserves of the Sarikamysh gas field are around 2.1 trillion cubic feet (60 billion m3), and production is slated to be around 192.5 million cubic feet/day (550,000 m3).

Petroleum reservoir
A petroleum reservoir or oil and gas reservoir is a subsurface accumulation of hydrocarbons contained in porous or fractured rock formations. Such reservoirs form when kerogen (ancient plant matter) is created in surrounding rock by the presence of high heat and pressure in the Earth's crust.

Reservoirs are broadly classified as conventional and unconventional reservoirs. In conventional reservoirs, the naturally occurring hydrocarbons, such as crude oil (petroleum) or natural gas, are trapped by overlying rock formations with lower permeability, while in unconventional reservoirs the rocks have high porosity and low permeability, which keeps the hydrocarbons trapped in place, therefore not requiring a cap rock. Reservoirs are found using hydrocarbon exploration methods.
Bob Shaddock
Robert William Shaddock (November 15, 1920 – April 22, 1991) was an American professional basketball player. He appeared in two games for the Syracuse Nationals in the National Basketball League during the 1946–47 season. Shaddock spent the remainder of his career playing for various teams in the New York State Professional Basketball League.

History of the Philadelphia 76ers
The Philadelphia 76ers are an American basketball team currently playing in the Atlantic Division of the Eastern Conference in the National Basketball Association (NBA). The 76ers are third in NBA history in wins and playoff appearances, and have won three NBA championships.
Something for Everyone
Something for Everyone is a 1970 American black comedy film starring Angela Lansbury, Michael York, Anthony Higgins, and Jane Carr.

The film was based on the novel The Cook by Harry Kressing, with a screenplay by Hugh Wheeler. The plot to the film is quite different from the novel. Directed by Harold Prince (in his feature directorial debut) for Cinema Center Films, the film began shooting on 30 June 1969 and was originally released by National General Pictures in July 1970. Lansbury was nominated for the Golden Globe Award for Best Actress – Motion Picture Musical or Comedy.

In the UK, the film was retitled Black Flowers for the Bride (subtitle: A Comedy of Evil) and released in May 1971. In 1986 and 1990, a VHS of the film was issued followed by DVD and Blu-ray on 6 December 2016.

Golden Globe Award for Best Actress in a Motion Picture – Musical or Comedy
The Golden Globe Award for Best Actress in a Motion Picture – Musical or Comedy is a Golden Globe Award that was first awarded by the Hollywood Foreign Press Association as a separate category in 1951. Previously, there was a single award for "Best Actress in a Motion Picture", but the splitting allowed for recognition of it and the Best Actress – Drama.

The formal title has varied since its inception. In 2005, it was officially called "Best Performance by an Actress in a Motion Picture – Comedy or Musical". The current wording is "Best Actress in a Motion Picture – Musical or Comedy".
2015 Jalisco Open – Doubles
César Ramírez and Miguel Ángel Reyes-Varela were the defending champion. This year, Ramírez partnered Adrián Menéndez-Maceiras, but they lost to Kevin King and Dean O'Brien in the quarterfinals. Reyes-Varela played with Marcelo Demoliner.

Austin Krajicek and Rajeev Ram won the title, defeating Demoliner and Reyes-Varela in the final, 7–5, 4–6, [10–6].

Dean O'Brien (tennis)
Dean Kevin O'Brien (born 15 May 1990 in Sandton) is a South African tennis player. He played college tennis for the Georgia Tech Yellow Jackets.

O'Brien has a career high ATP singles ranking of 507 achieved on 21 April 2014. He also has a career high ATP doubles ranking of 115 achieved on 23 May 2016. He has won 6 ITF doubles titles.

O'Brien won his first ATP Challenger title at the 2015 Levene Gouldin & Thompson Tennis Challenger in the doubles event partnering Ruan Roelofse.

Overall, O'Brien has reached 26 career doubles finals with a record of 8 wins and 18 losses, among which includes a 1–6 record in ATP Challenger Tour finals.

Playing for the South Africa in Davis Cup, O'Brien has a W/L record of 1–2.
1994 Estoril Open – Doubles
David Adams and Andrei Olhovskiy were the defending champions, but did not participate this year.

Cristian Brandi and Federico Mordegan won in the final, via walkover, against Richard Krajicek and Menno Oosting.

David Adams (tennis)
David Dixie Adams (born 5 January 1970) is a former tennis player from South Africa. He turned professional in 1989. In his career, he won 19 doubles titles and finished runner-up an additional 33 times, including at the French Open in 1992. He achieved a career-high doubles ranking of world No. 9 in February 1994.

Adams participated in six Davis Cup ties for South Africa between 1997 and 2003, posting a 4–2 record, all in doubles.

Adams won two Grand Slam titles in mixed doubles, both with fellow South African Mariaan de Swardt, taking the Australian Open title in 1999 and the French Open title in 2000.
Bugs' Bonnets
Bugs' Bonnets is a 1956 Warner Bros. Merrie Melodies cartoon, directed by Chuck Jones and written by Tedd Pierce. The short was released on January 14, 1956, and stars Bugs Bunny and Elmer Fudd. The film has both Bugs and Elmer constantly change social roles and personas, accompanying each change of hat on their heads.

Cartoon
A cartoon is a type of visual art that is typically drawn, frequently animated, in an unrealistic or semi-realistic style. The specific meaning has evolved, but the modern usage usually refers to either: an image or series of images intended for satire, caricature, or humor; or a motion picture that relies on a sequence of illustrations for its animation. Someone who creates cartoons in the first sense is called a cartoonist, and in the second sense they are usually called an animator.

The concept originated in the Middle Ages, and first described a preparatory drawing for a piece of art, such as a painting, fresco, tapestry, or stained glass window. In the 19th century, beginning in Punch magazine in 1843, cartoon came to refer – ironically at first – to humorous artworks in magazines and newspapers. Then it also was used for political cartoons and comic strips. When the medium developed, in the early 20th century, it began to refer to animated films that resembled print cartoons.
Lactarius distantifolius
Lactarius distantifolius is a member of the large milk-cap genus Lactarius in the order Russulales. Found in Chiang Mai Province (northern Thailand), it was described as new to science in 2010. The fruit bodies of the fungus were found growing in a teak plantation (elevation 515 metres (1,690 ft)) with Dipterocarpus obtusifolius and other Dipterocarpus species, Pterocarpus macrocarpus, and Shorea species.

Chiang Mai province
Chiang Mai is the largest province (changwat) of Thailand by area. It lies in upper northern Thailand and has a population of 1.78 million people. It is bordered by Chiang Rai to the northeast, Lampang and Lamphun to the south, Tak to the southwest, Mae Hong Son to the west, and Shan State of Burma to the north. The capital, Chiang Mai, is 685 kilometres (426 mi) north of Bangkok.
2021 GT Challenge at VIR
The 2021 Michelin GT Challenge at VIR was a sports car race sanctioned by the International Motor Sports Association (IMSA). The race was held at Virginia International Raceway in Alton, Virginia on October 9, 2021. The race was the eleventh round of the 2021 IMSA SportsCar Championship, and the eighth round of the WeatherTech Sprint Cup.

Jordan Taylor (racing driver)
Jordan Lee Taylor (born May 10, 1991) is an American professional racing driver. He competes full-time in the IMSA WeatherTech SportsCar Championship, driving the No. 40 Cadillac V-Series.R for Wayne Taylor Racing. He won the 2017 24 Hours of Daytona (along with Jeff Gordon, Max Angelelli and brother Ricky Taylor) and the 2017 championship in the Prototype class of the WeatherTech SportsCar Championship.

Taylor also won the 2013 Rolex Sports Car Series Daytona Prototypes class, the 2017 Pirelli World Challenge SprintX GT Championship, and was 2014 United SportsCar Championship Prototypes class runner-up. As well, Taylor achieved a GTE-Pro class victory at the 2015 24 Hours of Le Mans in the Chevrolet Corvette C7.R.

Taylor is the youngest son of sports car veteran Wayne Taylor. He raced a Cadillac Prototype for his father's team, where he partnered with his older brother, Ricky, from 2014 to 2017. In 2018, he partnered with Renger van der Zande, as Ricky moved to Acura Team Penske.
Roger Tredwell
Roger Culver Tredwell (July 1885 – July 12, 1961) was an American diplomat. He received international attention when he was imprisoned in Russian Central Asia by Bolshevik forces shortly after the Russian Revolution.

Russian Turkestan
Russian Turkestan was the vast region of Central Asia governed by the Russian Empire, often described by historians as a colonial possession. It was formally organized as the Turkestan Governorate-General in 1867, and was also known as the Turkestan Krai from 1886 onward. For administrative and military purposes, its territory was managed as the Turkestan Military District.

It comprised the oasis regions south of the Kazakh Steppe but excluded the Russian protectorates of the Emirate of Bukhara and the Khanate of Khiva. While these states retained internal autonomy, their independence was largely nominal, as Russia controlled their foreign relations and military affairs. The population consisted primarily of speakers of Uzbek, Kazakh, Kyrgyz, and Tajik, with a significant Russian settler minority.
4-Hydroxy-2-oxopentanoic acid
4-Hydroxy-2-oxopentanoaic acid, also known as 4-hydroxy-2-oxovalerate, is formed by the decarboxylation of 4-oxalocrotonate by 4-oxalocrotonate decarboxylase, is degraded by 4-hydroxy-2-oxovalerate aldolase, forming acetaldehyde and pyruvate and is reversibly dehydrated by 2-oxopent-4-enoate hydratase to 2-oxopent-4-enoate.

2-oxopent-4-enoate hydratase
The enzyme 2-oxopent-4-enoate hydratase (EC 4.2.1.80) catalyzes the chemical reaction:

This enzyme belongs to the family of lyases, specifically the hydro-lyases, which cleave carbon-oxygen bonds.  The systematic name of this enzyme class is 4-hydroxy-2-oxopentanoate hydro-lyase (2-oxopent-4-enoate-forming). Other names in common use include 2-keto-4-pentenoate hydratase, OEH, 2-keto-4-pentenoate (vinylpyruvate)hydratase, and 4-hydroxy-2-oxopentanoate hydro-lyase.  This enzyme participates in nine metabolic pathways: phenylalanine metabolism, benzoate degradation via hydroxylation, biphenyl degradation, toluene and xylene degradation, 1,4-dichlorobenzene degradation, fluorene degradation, carbazole degradation, ethylbenzene degradation, and styrene degradation.
The 5 Browns
The 5 Browns are a classical piano ensemble consisting of five siblings—two brothers and three sisters. Their repertoire ranges from beloved concert hall staples, such as Igor Stravinsky's The Rite of Spring, Gershwin's Rhapsody in Blue, and Grieg's In the Hall of the Mountain King to lesser known works like Nico Muhly's Edge of the World and John Novacek's Reflections on Shenandoah. In addition to their work on five pianos, The 5 Browns perform and record works for solo piano, two pianos, and in various other combinations.

In the Hall of the Mountain King
"In the Hall of the Mountain King" (Norwegian: "I Dovregubbens hall", lit. 'In the Dovre man's hall') is a piece of orchestral music composed by Edvard Grieg in 1875 as incidental music for the sixth scene of act 2 in Henrik Ibsen's 1867 play Peer Gynt. It was originally part of Opus 23 but was later extracted as the final piece of Peer Gynt, Suite No. 1, Op. 46. Its easily recognizable theme has helped it attain iconic status in popular culture, where it has been arranged by many artists (see Grieg's music in popular culture).

The English translation of the name is not literal. Dovre is a mountainous region in Norway, and gubbe translates into "(old) man" or "husband". Gubbe is used along with its female counterpart kjerring to differentiate male and female trolls, trollgubbe and trollkjerring. In the play, Dovregubben is a troll king that Peer Gynt invents in a fantasy.
Conran, Missouri
Conran is an unincorporated community in eastern New Madrid County, Missouri, United States. It is located approximately ten miles southwest of New Madrid on U.S. Route 61.

A post office called Conran was established in 1898, and remained in operation until 1992.

New Madrid, Missouri
New Madrid (/ˈmædrɪd/ MAD-rid; Spanish: Nueva Madrid) is a city in and the county seat of New Madrid County, Missouri, United States. The population was 2,787 at the 2020 census. The city is located 42 miles (68 km) southwest of Cairo, Illinois, and north of an exclave of Fulton County, Kentucky, across the Mississippi River.

The town is on the north side of the Kentucky Bend in the Mississippi River, which is also known as "New Madrid Bend" or "Madrid Bend." The river curves in an oxbow around an exclave of Fulton County, Kentucky. Scientists expect the river eventually to cut across the neck of the peninsula and make a more direct channel, leaving the Kentucky territory as an island.

New Madrid was the epicenter of the very powerful 1811–12 New Madrid earthquakes.
Joni Ruuskanen
Joni Ruuskanen (born 2 February 1988) is a Finnish football coach and a former player who played as a forward or winger. He is currently working as a conditioning coach of Veikkausliiga club HJK Helsinki and the Finland national team. As a player, Ruuskanen made 15 appearances in Veikkausliiga for KooTeePee in 2006–2008.

Since 2019, Ruuskanen has also worked for Football Association of Finland responsible for conditioning coaching.

FC KooTeePee
FC KooTeePee was a Finnish football club.

FC KooTeePee was founded in 2000 as a reserve team for Kotkan Työväen Palloilijat (KTP). In December 2013, a merger took place where FC KooTeePee adopted the name FC Kotkan Työväen Palloilijat. The newly merged club was able to retain FC KooTeePee's place in the Ykkönen (the second tier of Finnish football). This event essentially saw the legacy of the older KTP club passed on to the new, merged entity.

The current club, now officially known as Kotkan Työväen Palloilijat, often referred to simply as KTP, plays in the Finnish top-tier, the  Veikkausliiga.
Kundian
Kundian (Urdu: كندياں) is a city of District Mianwali, Tehsil Piplan in the Punjab province of Pakistan.  Kundian railway Junction started working in 1887. Population of Kundian is near 50000. Kundian faces cold winds of Tajikistan and Afghanistan, being in line with river Kurram . Kundian follows weather ecology of Billot hills however Hydrology of river Indus also affects the town partially. It is located near the Chashma Colony, Chashma, which also has the CHASNUPP Nuclear Power Plant.

Kurram River
The Kurram River (Persian: رود کرم), (Pashto: د کورمې سيند) or Kurrama River, originates from the watershed of Safed Koh region in the Paktia province of Afghanistan and the Kurram District of Pakistan. It flows through North Waziristan, and the city of Bannu, before joining the Indus River near Isa Khel. It drains the southern flanks of the Safed Koh mountain range and is a right-bank tributary of the Indus.

Kurram River mainly passes through the southern Tribal Areas of Khyber Pakhtunkhwa. It irrigates around 32,000 hectares (80,000 acres) of land.

Its tributaries include the Kirman and the Khurmana rivers.

The nearby Kurram-Garhi project, finished in 1962, provides flood control and is used for irrigation and power generation.  The soil around Kurram river is very suitable for agriculture. It contains living properties and is subject to flood in some season.
Right On Crime
Right On Crime is an American conservative criminal justice reform initiative in the U.S. that aims to gain support for criminal justice reform by sharing research and policy ideas, mobilizing leaders, and raising public awareness. Right On Crime reforms are focused on "reducing crime, restoring victims, reforming offenders, and lowering taxpayers' costs." The initiative primarily focuses on nine issues: prosecutorial innovation, correctional leadership, over-criminalization, civil asset forfeiture, juvenile justice, adult probation, parole and re-entry, law enforcement, and victims' rights. Right On Crime is a campaign of the Texas Public Policy Foundation, a conservative think tank. After its founding in Texas, Right On Crime has contributed to many criminal justice reforms in over 38 states, working with bipartisan partners throughout the country.

Criminal justice reform
Criminal justice reform is the reform of criminal justice systems. 
Stated reasons for criminal justice reform include reducing crime statistics, racial profiling, police brutality, overcriminalization, mass incarceration, under-reporting, and recidivism or improving Victims' rights, Prisoners' rights and crime prevention. Criminal justice reform can take place at any point where the criminal justice system intervenes in citizens’ lives, including lawmaking, policing, and sentencing.
Easterhouse railway station
Easterhouse railway station serves the Easterhouse area of Glasgow, Scotland. It was built by the North British Railway as part of their Coatbridge Branch and opened when the branch opened on 1 February 1871. The station is 5¾ miles (9 km) east of Glasgow Queen Street railway station on the North Clyde Line and is managed by ScotRail.

ScotRail
ScotRail Trains Limited, trading as ScotRail (Scottish Gaelic: Rèile na h-Alba), is a Scottish train operating company that is publicly owned by Scottish Rail Holdings on behalf of the Scottish Government. It has been operating the ScotRail franchise as an operator of last resort since 1 April 2022.
Solanki (clan)
Solanki (or Chaulukya) is a Rajput clan primarily found in Northern India.

It has also been adopted by other communities such as the Saharias, Bhils, Koḷis, Ghān̄cīs, Kumbhārs, Bāroṭs, Kaḍiyās, Darjīs, Mocīs, Ḍheḍhs, and Bhangīs.

Bhil
Bhil or Bheel are various indigenous groups inhabiting western India, including parts of Rajasthan and Madhya Pradesh and are also found in distant places such as Bengal and Tripura. Though they now speak the Bhili language, an Indo-Aryan language, the  aboriginal language that the Bhil originally spoke is lost. Bhils are divided into a number of endogamous territorial divisions, which in turn have a number of clans and lineages.

Bhils are listed as tribal people in the states of Gujarat, Madhya Pradesh, Chhattisgarh, Maharashtra and Rajasthan—all in the western Deccan regions and central India—as well as in Bengal and Tripura in far-eastern India, on the border with Bangladesh. Many Bhils speak the dominant language of the region they reside in, such as Marathi, Gujarati or Bengali.