{"url":"/dataset/aethel","name":"aethel","full_name":"Automatically Extracted Theorems from Lassy","description_markdown":"A dataset of approximately 75,000  phrases and sentences, syntactically analyzed as typelogical derivations (i.e. proofs of modal intuitionistic linear logic, or programs of the corresponding λ calculus). Analyses were obtained by transforming the dependency graphs of the Lassy-Small corpus.","description_withheld":null,"homepage":"https://github.com/konstantinosKokos/aethel","introduced_date":"2019-12-29","introduced_date_note":null,"introduced_by":{"paper":"/paper/thel-automatically-extracted-type-logical","title":"ÆTHEL: Automatically Extracted Typelogical Derivations for Dutch","first_author":"Konstantinos Kogkalidis","url":null},"license":null,"modalities":[],"tasks":[{"name":"Semantic Parsing","url":"/task/semantic-parsing","datasets_with_task":"/datasets/task/semantic-parsing"},{"name":"CCG Supertagging","url":"/task/ccg-supertagging","datasets_with_task":"/datasets/task/ccg-supertagging"}],"languages":[{"name":"Dutch","url":"/datasets/language/dutch"}],"variants":["aethel"],"data_loaders":[],"num_papers_in_archive":4,"source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28"},"benchmarks":[],"papers_with_a_benchmark_row":[],"syntology_totals":{"read_at":"2026-09-24T18:15:14+00:00","papers_with_samples":0,"samples_harvested":0,"samples_ran":0,"samples_unverified":0,"pointer_only_for_licence":0,"papers_with_no_sample_that_ran":0,"note":"the per-paper counts above, summed; not a rate"},"papers_note":"The archive never published its papers-using-dataset list; these are papers with a leaderboard row on this dataset's benchmarks."}