cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.5281/zenodo.12740359
title: Supplementary Material to "Partial melting of amphibole–clinozoisite eclogite at the pressure maximum (eclogite type locality, Eastern Alps, Austria)"

description: Here we briefly describe the supplementary materials for the publication “Partial melting of amphibole–clinozoisite eclogite at the pressure maximum (eclogite type locality, Eastern Alps, Austria)” in the European Journal of Mineralogy, 35(5), 715-735 Schorn, S., Rogowitz, A., & Hauzenberger, C. A. (2023).
DOI: 10.5281/zenodo.12740360
title: Supplementary Material to "Partial melting of amphibole–clinozoisite eclogite at the pressure maximum (eclogite type locality, Eastern Alps, Austria)"

description: Here we briefly describe the supplementary materials for the publication “Partial melting of amphibole–clinozoisite eclogite at the pressure maximum (eclogite type locality, Eastern Alps, Austria)” in the European Journal of Mineralogy, 35(5), 715-735 Schorn, S., Rogowitz, A., & Hauzenberger, C. A. (2023).
DOI: 10.15468/dl.7kfxa4
title: Occurrence Download

description: A dataset listing the 914 species recorded in GBIF matching the query:
{
 "and" : [
 "Country is Chile",
 "Geometry POLYGON((-70.79896 -27.08381,-70.34358 -27.2224,-70.17529 -25.45038,-70.61743 -25.49694,-70.79896 -27.08381))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present"
 ]
}

 The dataset's 914 records were derived from 122 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0023765-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.cbuzke
title: Occurrence Download

description: A dataset containing 29330 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Chile",
 "Geometry POLYGON((-70.79896 -27.08381,-70.34358 -27.2224,-70.17529 -25.45038,-70.61743 -25.49694,-70.79896 -27.08381))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present"
 ]
}

 The dataset includes 29330 records from 122 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0023766-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.34740/kaggle/dsv/8952050
title: Forex Exchange Rates Since 2004 (Updated Daily)
DOI: 10.5281/zenodo.10800866
title: LeanDojo Benchmark 4

description: Lean 4 version of the dataset in the paper:


LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Kaiyu Yang, Aidan Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, Anima Anandkumar
DOI: 10.5281/zenodo.10811281
title: LeanDojo Benchmark 4

description: Lean 4 version of the dataset in the paper:


LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Kaiyu Yang, Aidan Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, Anima Anandkumar
DOI: 10.5281/zenodo.10823489
title: LeanDojo Benchmark 4

description: Lean 4 version of the dataset in the paper:


LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Kaiyu Yang, Aidan Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, Anima Anandkumar
DOI: 10.5281/zenodo.10929138
title: LeanDojo Benchmark 4

description: Lean 4 version of the dataset in the paper:


LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Kaiyu Yang, Aidan Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, Anima Anandkumar
DOI: 10.5281/zenodo.12740403
title: LeanDojo Benchmark 4

description: Lean 4 version of the dataset in the paper:


LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Kaiyu Yang, Aidan Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, Anima Anandkumar
DOI: 10.5281/zenodo.10044516
title: LeanDojo Benchmark 4

description: Lean 4 version of the dataset in the paper:


LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Kaiyu Yang, Aidan Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, Anima Anandkumar
DOI: 10.5281/zenodo.10114185
title: LeanDojo Benchmark 4

description: Lean 4 version of the dataset in the paper:


LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Kaiyu Yang, Aidan Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, Anima Anandkumar
DOI: 10.5281/zenodo.10811294
title: LeanDojo Benchmark 4

description: Lean 4 version of the dataset in the paper:


LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Kaiyu Yang, Aidan Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, Anima Anandkumar
DOI: 10.5281/zenodo.8040109
title: LeanDojo Benchmark 4

description: Lean 4 version of the dataset in the paper:


LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Kaiyu Yang, Aidan Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, Anima Anandkumar
DOI: 10.5281/zenodo.8040110
title: LeanDojo Benchmark 4

description: Lean 4 version of the dataset in the paper: LeanDojo: Theorem Proving with Retrieval-Augmented Language Models<br> Kaiyu Yang, Aidan Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, Anima Anandkumar
DOI: 10.5281/zenodo.8242200
title: LeanDojo Benchmark 4

description: Lean 4 version of the dataset in the paper: LeanDojo: Theorem Proving with Retrieval-Augmented Language Models<br> Kaiyu Yang, Aidan Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, Anima Anandkumar
DOI: 10.34740/kaggle/dsv/8952092
title: Full TMDB Movies Dataset 2024 (1M Movies)
DOI: 10.34740/kaggle/dsv/8952091
title: Handwritten Schematics - CGHD
DOI: 10.6084/m9.figshare.25965286
title: plantar fasciitis.xlsx

description: We have assessed the efficacy of physiotherapy through stretching exercises and therapeutic ultrasound versus intralesional corticosteroids in treating plantar fasciitis throughout a 3-month follow-up using visual analogue score and foot and ankle ability measure score. Of the 60 study participants, 30 patients who underwent physiotherapy showed an improvement in the mean VAS score from 6.4 to 3 and a mean FAAM score of 50%. The remaining 30 individuals who were given intralesional corticosteroid injections showed an improvement in the mean VAS score from 6.8 to 2.5 and a mean FAAM score of 53% hence concluding that intralesional corticosteroid injection is a better treatment modality for short-term pain relief of plantar fasciitis.
DOI: 10.6084/m9.figshare.26198738.v2
title: Next-generation sequencing data of Cyrenidae species

description: Next-generation sequencing data of Cyrenidae species
DOI: 10.6084/m9.figshare.25673799.v2
title: A comparison of Human, GPT-3.5, and GPT-4 Performance in a University-Level Coding Course

description: Data from "A comparison of Human, GPT-3.5, and GPT-4 Performance in a University-Level Coding Course". <br><br>This study evaluates the performance of ChatGPT variants, GPT-3.5 and GPT-4, both with and without prompt engineering, against solely student work and a mixed category containing both student and GPT-4 contributions in university-level physics coding assignments using the Python language. Comparing 50 student submissions to 50 AI-generated submissions across different categories, and marked blindly by three independent markers, we amassed n = 300 data points. Students averaged 91.9% (SE:0.4), surpassing the highest performing AI submission category, GPT-4 with prompt engineering, which scored 81.1% (SE:0.8) - a statistically significant difference (p = 2.482 x 10<sup>-10</sup>). Prompt engineering significantly improved scores for both GPT-4 (p = 1.661 x 10<sup>-4</sup>) and GPT-3.5 (p = 4.967 x 10<sup>-9</sup>). Additionally, the blinded markers were tasked with guessing the authorship of the submissions on a four-point Likert scale from `Definitely AI' to `Definitely Human'. They accurately identified the authorship, with 92.1% of the work categorized as 'Definitely Human' being human-authored. Simplifying this to a binary `AI' or `Human' categorization resulted in an average accuracy rate of 85.3%. These findings suggest that while AI-generated work closely approaches the quality of university students' work, it often remains detectable by human evaluators.
DOI: 10.15468/dl.r2vxn7
title: Occurrence Download

description: A dataset containing 23 species occurrences available in GBIF matching the query:
{
 "and" : [
 "GadmGid is CHN.30_1",
 "TaxonKey is Dysphania ambrosioides (L.) Mosyakin & Clemants"
 ]
}

 The dataset includes 23 records from 10 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0023768-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.wamukx
title: Occurrence Download

description: A dataset containing 4530 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Continent is Africa",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Vitex doniana Sweet"
 ]
}

 The dataset includes 4530 records from 153 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0023770-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.34740/kaggle/dsv/8952143
title: Top Spotify Songs in 73 Countries (Daily Updated)
DOI: 10.15468/dl.27jmte
title: Occurrence Download

description: A dataset listing the 18795 species recorded in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((101.13837 -3.15808,104.57885 -3.2441,104.70028 -1.1515,103.99942 -0.27782,103.8362 0.46144,103.40416 1.19111,101.28238 2.46802,98.0153 2.03528,99.17019 -0.15301,101.13837 -3.15808))",
 "HasCoordinate is true"
 ]
}

 The dataset's 18795 records were derived from 421 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0023767-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.wg6uy8
title: Occurrence Download

description: A dataset listing the 1477 species recorded in GBIF matching the query:
{
 "and" : [
 "Country is Chile",
 "Geometry POLYGON((-71.37285 -28.78829,-70.81755 -28.80172,-70.76157 -28.79053,-70.56479 -28.00311,-71.09738 -27.91248,-71.16008 -28.04235,-71.37285 -28.78829))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present"
 ]
}

 The dataset's 1477 records were derived from 135 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0023769-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.hjubw8
title: Occurrence Download

description: A dataset containing 24905 species occurrences available in GBIF matching the query:
{
 "DatasetKey" : [
 "is Phenological Center - Plants"
 ]
}

 The dataset includes 24905 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0023771-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.swz7tv
title: Occurrence Download

description: A dataset containing 17099 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Glaucidium peruanum C.König, 1991"
 ]
}

 The dataset includes 17099 records from 27 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0023773-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.34740/kaggle/dsv/8952170
title: EAVDD Violence
DOI: 10.15468/dl.hvychb
title: Occurrence Download

description: A dataset containing 199 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Rattus pyctoris (Hodgson, 1845)",
 "Year 1970-2000"
 ]
}

 The dataset includes 199 records from 14 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0023774-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.kmhf5q
title: Occurrence Download

description: A dataset containing 46087 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Geospizopsis unicolor (d'Orbigny & Lafresnaye, 1837)"
 ]
}

 The dataset includes 46087 records from 107 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0023775-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.34740/kaggle/dsv/8952237
title: Mahanagar Yatayat Transport Dataset
DOI: 10.15468/dl.wkwt9e
title: Occurrence Download

description: A dataset containing 1842 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Brazil",
 "TaxonKey is Syagrus romanzoffiana (Cham.) Glassman"
 ]
}

 The dataset includes 1842 records from 120 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0023776-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.ueqtkq
title: Occurrence Download

description: A dataset containing 335178 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((101.13837 -3.15808,104.57885 -3.2441,104.70028 -1.1515,103.99942 -0.27782,103.8362 0.46144,103.40416 1.19111,101.28238 2.46802,98.0153 2.03528,99.17019 -0.15301,101.13837 -3.15808))",
 "HasCoordinate is true"
 ]
}

 The dataset includes 335178 records from 421 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0023772-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.y7br72
title: Occurrence Download

description: A dataset containing 7086 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Cordylophora caspia (Pallas, 1771)"
 ]
}

 The dataset includes 7086 records from 101 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0033893-250525065834625/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.kte8fb
title: Occurrence Download

description: A dataset containing 3 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "or" : [
 "BasisOfRecord is Specimen",
 "BasisOfRecord is Human Observation"
 ]
 },
 "Geometry POLYGON((91.87454 17.89536,107.173 17.89536,107.173 38.61969,91.87454 38.61969,91.87454 17.89536))",
 {
 "or" : [
 "Issue is Geodetic datum assumed WGS84",
 "Issue is Coordinate rounded",
 "Issue is Institution match fuzzy",
 "Issue is Collection match fuzzy",
 "Issue is Institution match none",
 "Issue is Institution collection mismatch"
 ]
 },
 "TaxonKey is Rhododendron preptum Balf.fil. & Forrest"
 ]
}

 The dataset includes 3 records from 2 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0136816-210914110416597/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.bvxjg7
title: Occurrence Download

description: A dataset containing 552 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Nasuella Hollister, 1915"
 ]
}

 The dataset includes 552 records from 46 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0243303-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.fabqry
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON ((-81.6223806999999937 38.3325227999999996, -81.6223806999999937 38.3332451300000017, -81.6223806999999937 38.3335460999999995, -81.6223806999999937 38.3340878400000022, -81.6223806999999937 38.3346596900000023, -81.6223806999999937 38.3355324999999993, -81.6216267799999997 38.3355324999999993, -81.6211442299999987 38.3355324999999993, -81.6205712099999943 38.3355324999999993, -81.6201188200000018 38.3355324999999993, -81.6192441999999971 38.3355324999999993, -81.6183394199999981 38.3355324999999993, -81.6177363000000042 38.3355324999999993, -81.6177363000000042 38.3349305599999965, -81.6177363000000042 38.3343587199999973, -81.6177363000000042 38.3339674599999967, -81.6177363000000042 38.3333956099999966, -81.6177363000000042 38.3331247400000024, -81.6177363000000042 38.3325227999999996, -81.6182489499999946 38.3325227999999996, -81.6187918100000047 38.3325227999999996, -81.6192441999999971 38.3325227999999996, -81.6199680200000017 38.3325227999999996, -81.6207220000000007 38.3325227999999996, -81.6212950299999989 38.3325227999999996, -81.6218982099999977 38.3325227999999996, -81.6223806999999937 38.3325227999999996))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1932",
 "BasisOfRecord is one of (Human Observation, Living Specimen, Observation, Specimen, Machine Observation)"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0102283-210914110416597/datasets/export for details.
DOI: 10.15468/dl.3dx7ew
title: Occurrence Download

description: A dataset containing 4 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON ((-82.4179326000000003 38.4309942000000007, -82.4179326000000003 38.4316592500000027, -82.4179326000000003 38.4320351400000035, -82.4179326000000003 38.4323821199999998, -82.4179326000000003 38.4329025899999976, -82.4179326000000003 38.4335098099999968, -82.4179326000000003 38.4338856999999976, -82.4174976500000014 38.4338856999999976, -82.4170336100000043 38.4338856999999976, -82.4162215300000014 38.4338856999999976, -82.4157284900000064 38.4338856999999976, -82.4150614299999944 38.4338856999999976, -82.4146553899999930 38.4338856999999976, -82.4141913499999959 38.4338856999999976, -82.4137853999999948 38.4338856999999976, -82.4137853999999948 38.4331917399999980, -82.4137853999999948 38.4328447600000018, -82.4137853999999948 38.4321218899999977, -82.4137853999999948 38.4315435899999969, -82.4137853999999948 38.4309942000000007, -82.4146263899999951 38.4309942000000007, -82.4151484399999958 38.4309942000000007, -82.4159315099999930 38.4309942000000007, -82.4165695599999992 38.4309942000000007, -82.4171206099999978 38.4309942000000007, -82.4179326000000003 38.4309942000000007))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1932",
 "BasisOfRecord is one of (Human Observation, Living Specimen, Observation, Specimen, Machine Observation)"
 ]
}

 The dataset includes 4 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0102377-210914110416597/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.dc5g65
title: Occurrence Download

description: A dataset containing 916 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Bromus kalmii A.Gray",
 "HasCoordinate is true"
 ]
}

 The dataset includes 916 records from 51 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0029192-220831081235567/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.gdtsyf
title: Occurrence Download

description: A dataset containing 213 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Histiobranchus bathybius (Günther, 1877)"
 ]
}

 The dataset includes 213 records from 21 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0014423-200127171203522/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.rnk97u
title: Occurrence Download

description: A dataset containing 108669 species occurrences available in GBIF matching the query:
{
 "DatasetKey" : [
 "is Royal Botanic Garden Edinburgh Living Plant Collections (E)"
 ]
}

 The dataset includes 108669 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0146217-210914110416597/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.4euhxz
title: Occurrence Download

description: A dataset containing 260 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Megaptera Gray, 1846"
 ]
}

 The dataset includes 260 records from 28 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0243305-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.ps8zlf
title: Occurrence Download

description: A dataset containing 1241 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Styrax leprosus Hook. & Arn."
 ]
}

 The dataset includes 1241 records from 90 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0017898-200127171203522/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.xzys49
title: Occurrence Download

description: A dataset containing 3600 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "or" : [
 "Country is Mexico",
 "Country is United States of America"
 ]
 },
 "TaxonKey is Leptonycteris yerbabuenae Martínez & Villa-R., 1940",
 "Year 1960-2022"
 ]
}

 The dataset includes 3600 records from 66 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0146198-210914110416597/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.