About
Countries and terms
English
Asturianu
Español
Esperanto
Français
Norsk bokmål
Português
Suomi
বাংলা
Select
Author
Work
Search filters
Gender
Any
Female
Male
Trans man
Trans woman
Non-binary
Nationality
Any
Afghanistan
Albania
Algeria
Andorra
Angola
Antigua & Barbuda
Argentina
Armenia
Australia
Austria
Azerbaijan
Bahrain
Bangladesh
Barbados
Belarus
Belgium
Belize
Benin
Bhutan
Bolivia
Bosnia & Herzegovina
Botswana
Brazil
Brunei
Bulgaria
Burkina Faso
Burundi
Cambodia
Cameroon
Canada
Cape Verde
Central African Republic
Chad
Chile
Colombia
Comoros
Costa Rica
Croatia
Cuba
Cyprus
Czechia
Congo - Kinshasa
Denmark
Djibouti
Dominica
Dominican Republic
Timor-Leste
Ecuador
Egypt
El Salvador
Equatorial Guinea
Eritrea
Estonia
Eswatini
Ethiopia
Faroe Islands
Micronesia
Fiji
Finland
France
Gabon
Georgia
Germany
Ghana
Greece
Greenland
Grenada
Guatemala
Guinea
Guinea-Bissau
Guyana
Haiti
Honduras
Hungary
Iceland
India
Indonesia
Iran
Iraq
Ireland
Israel
Italy
Côte d’Ivoire
Jamaica
Japan
Jordan
Kazakhstan
Kenya
Kiribati
Kosovo
Kuwait
Kyrgyzstan
Laos
Latvia
Lebanon
Lesotho
Liberia
Libya
Liechtenstein
Lithuania
Luxembourg
Madagascar
Malawi
Malaysia
Maldives
Mali
Malta
Marshall Islands
Mauritania
Mauritius
Mexico
Moldova
Monaco
Mongolia
Montenegro
Morocco
Mozambique
Myanmar (Burma)
Namibia
Nauru
Nepal
Netherlands
New Zealand
Nicaragua
Niger
Nigeria
North Korea
North Macedonia
Norway
Oman
Pakistan
Palau
Panama
Papua New Guinea
Paraguay
China
Peru
Philippines
Poland
Portugal
Qatar
Congo - Brazzaville
Romania
Russia
Rwanda
St. Kitts & Nevis
St. Lucia
St. Vincent & Grenadines
Samoa
San Marino
Saudi Arabia
Senegal
Serbia
Seychelles
Sierra Leone
Singapore
Slovakia
Slovenia
Solomon Islands
Somalia
South Africa
South Korea
South Sudan
Spain
Sri Lanka
Palestinian Territories
Sudan
Suriname
Sweden
Switzerland
Syria
São Tomé & Príncipe
Taiwan
Tajikistan
Tanzania
Thailand
Bahamas
Gambia
Togo
Tonga
Trinidad & Tobago
Tunisia
Türkiye
Turkmenistan
Tuvalu
Uganda
Ukraine
United Arab Emirates
United Kingdom
United States
Uruguay
Uzbekistan
Vanuatu
Vatican City
Venezuela
Vietnam
Yemen
Zambia
Zimbabwe
Type of work
Any
Film
Literary work
Musical work
Painting
Sculpture
Country of origin
Any
Afghanistan
Albania
Algeria
Andorra
Angola
Antigua & Barbuda
Argentina
Armenia
Australia
Austria
Azerbaijan
Bahrain
Bangladesh
Barbados
Belarus
Belgium
Belize
Benin
Bhutan
Bolivia
Bosnia & Herzegovina
Botswana
Brazil
Brunei
Bulgaria
Burkina Faso
Burundi
Cambodia
Cameroon
Canada
Cape Verde
Central African Republic
Chad
Chile
Colombia
Comoros
Costa Rica
Croatia
Cuba
Cyprus
Czechia
Congo - Kinshasa
Denmark
Djibouti
Dominica
Dominican Republic
Timor-Leste
Ecuador
Egypt
El Salvador
Equatorial Guinea
Eritrea
Estonia
Eswatini
Ethiopia
Faroe Islands
Micronesia
Fiji
Finland
France
Gabon
Georgia
Germany
Ghana
Greece
Greenland
Grenada
Guatemala
Guinea
Guinea-Bissau
Guyana
Haiti
Honduras
Hungary
Iceland
India
Indonesia
Iran
Iraq
Ireland
Israel
Italy
Côte d’Ivoire
Jamaica
Japan
Jordan
Kazakhstan
Kenya
Kiribati
Kosovo
Kuwait
Kyrgyzstan
Laos
Latvia
Lebanon
Lesotho
Liberia
Libya
Liechtenstein
Lithuania
Luxembourg
Madagascar
Malawi
Malaysia
Maldives
Mali
Malta
Marshall Islands
Mauritania
Mauritius
Mexico
Moldova
Monaco
Mongolia
Montenegro
Morocco
Mozambique
Myanmar (Burma)
Namibia
Nauru
Nepal
Netherlands
New Zealand
Nicaragua
Niger
Nigeria
North Korea
North Macedonia
Norway
Oman
Pakistan
Palau
Panama
Papua New Guinea
Paraguay
China
Peru
Philippines
Poland
Portugal
Qatar
Congo - Brazzaville
Romania
Russia
Rwanda
St. Kitts & Nevis
St. Lucia
St. Vincent & Grenadines
Samoa
San Marino
Saudi Arabia
Senegal
Serbia
Seychelles
Sierra Leone
Singapore
Slovakia
Slovenia
Solomon Islands
Somalia
South Africa
South Korea
South Sudan
Spain
Sri Lanka
Palestinian Territories
Sudan
Suriname
Sweden
Switzerland
Syria
São Tomé & Príncipe
Taiwan
Tajikistan
Tanzania
Thailand
Bahamas
Gambia
Togo
Tonga
Trinidad & Tobago
Tunisia
Türkiye
Turkmenistan
Tuvalu
Uganda
Ukraine
United Arab Emirates
United Kingdom
United States
Uruguay
Uzbekistan
Vanuatu
Vatican City
Venezuela
Vietnam
Yemen
Zambia
Zimbabwe
List of works by Xingpeng Liu
LLM-Enhanced Theorem Proving with Term Explanation and Tactic Parameter Repair✱
scientific article published on 18 July 2024
Paulina is supported by:
Ártica - Online Cultural Center
Creative Commons Uruguay
Data Uruguay
Wikimedistas de Uruguay
About Paulina
About
Source code
Help translate
Help
Documentation
Countries and terms