Validation Set: We have shared 3 CSV files containing human-annotated validation sets of our paper (Validation Data.zip). AST and Student Code Correction: For generating AST and code correction, please check the two files, AST.py and Top1.py ( in AST & Top-1.zip ). In AST.py, we present the output of different parts of the program with an example. Please read that one before Top1.py. We follow the implementation of https://github.com/Lsdefine/attention-is-all-you-need-keras. Please check the remaining code in the above link. We made a minor correction in the dataloader.py to use two separate vocabulary cutoffs for input and output. dataloader1.py, transformer1.py, etc. are an exact replication of dataloader.py and transformer.py. Since we...
This patch fixes "from_type()" on a "TypedDict" with complex annotations, defined in a file using "f...
Introductory courses usually only teach a small subset of a programming language and its library, in...
use dataclass_transform for better typing/autocomplete use one time validation on user-defined trace...
Validation Set: We have shared 3 CSV files containing human-annotated validation sets of our paper (...
A lightning talk delivered at the Library Research and Innovative Practice Forum, McKeldin Library, ...
Replication package for the paper: "Automatic Creation of Acceptance Tests by Extracting Conditional...
This is the replication package for the paper: "Code Reviewer Recommendation for Architecture Violat...
The codes show an example of our algorithm ASP on the 9th action (fris-catch) of THUMOS2014 dataset....
Large language models (LLMs), such as Codex, hold great promise in enhancing programming education b...
Supplementary information for the preprint (Struct2IUPAC: A transformer-based model for chemical nam...
These are data and analysis files from the paper "Reading Proofs for Validation and Comprehension: A...
Cleaned_Dataset.csv – The combined CSV files of all scraped documents from DABI, e-LiS, o-bib and Sp...
ASpecD is a Python framework for handling spectroscopic data focussing on reproducibility. In short:...
This paper investigates model checking Object-Z classes via their translation to the input notation ...
© 2021, The Author(s).Several automatic verification tools have been recently developed to verify su...
This patch fixes "from_type()" on a "TypedDict" with complex annotations, defined in a file using "f...
Introductory courses usually only teach a small subset of a programming language and its library, in...
use dataclass_transform for better typing/autocomplete use one time validation on user-defined trace...
Validation Set: We have shared 3 CSV files containing human-annotated validation sets of our paper (...
A lightning talk delivered at the Library Research and Innovative Practice Forum, McKeldin Library, ...
Replication package for the paper: "Automatic Creation of Acceptance Tests by Extracting Conditional...
This is the replication package for the paper: "Code Reviewer Recommendation for Architecture Violat...
The codes show an example of our algorithm ASP on the 9th action (fris-catch) of THUMOS2014 dataset....
Large language models (LLMs), such as Codex, hold great promise in enhancing programming education b...
Supplementary information for the preprint (Struct2IUPAC: A transformer-based model for chemical nam...
These are data and analysis files from the paper "Reading Proofs for Validation and Comprehension: A...
Cleaned_Dataset.csv – The combined CSV files of all scraped documents from DABI, e-LiS, o-bib and Sp...
ASpecD is a Python framework for handling spectroscopic data focussing on reproducibility. In short:...
This paper investigates model checking Object-Z classes via their translation to the input notation ...
© 2021, The Author(s).Several automatic verification tools have been recently developed to verify su...
This patch fixes "from_type()" on a "TypedDict" with complex annotations, defined in a file using "f...
Introductory courses usually only teach a small subset of a programming language and its library, in...
use dataclass_transform for better typing/autocomplete use one time validation on user-defined trace...