wanyu/IteraTeR_v2 huggingface dataset:
Original:  The QBF-based technique allows HyperQube to  deal with quantifier alternation . Based on the selection of either bug hunting or find witnesses, the instances of counterexamples or witnesses are also provided back to the user .
Revised:  The QBF-based technique allows HyperQube to seamlessly deal with quantifier alternation . Based on the selection of either bug hunting or find witnesses, the instances of counterexamples or witnesses are also provided back to the user .
Edit intent: clarity
Original:  The QBF-based technique allows HyperQube to  deal with quantifier alternation . Based on the selection of either bug hunting or find witnesses, the instances of counterexamples or witnesses are also provided back to the user .
Revised:  The QBF-based technique allows HyperQube to deal with quantifier alternations . Based on the selection of either bug hunting or find witnesses, the instances of counterexamples or witnesses are also provided back to the user .
Edit intent: fluency
Original:  The QBF-based technique allows HyperQube to  deal with quantifier alternation . Based on the selection of either bug hunting or find witnesses, the instances of counterexamples or witnesses are also provided back to the user .
Revised:  The QBF-based technique allows HyperQube to deal with quantifier alternation . Based on the selection of either bug hunting or find witnesses, the instances of counterexamples or witnesses are returned .
Edit intent: clarity
Original:  We report on successful and efficient model checking using HyperQube, with a rich set of experiments on a variety of case studies, including  security, concurrent data structures, path planning for robots, and  testing.
Revised:  We report on successful and effective model checking for a rich set of experiments on a variety of case studies, including security, concurrent data structures, path planning for robots, and testing.
Edit intent: clarity
Original:  We first present a review of several application-oriented explorations of EMT in the literature, assimilating them into half a dozen broad categories according to their respective application areas.
Revised:  First, we present a review of several application-oriented explorations of EMT in the literature, assimilating them into half a dozen broad categories according to their respective application areas.
Edit intent: coherence
Original:  Within each category , the fundamental motivations for multitasking are discussed, together with an illustrative case study .
Revised:  Each category elaborates fundamental motivations to multitask, and presents a representative experimental study (referred from the literature) .
Edit intent: clarity
Original:  Second, we present a set of recipes by which general problem formulations of practical interest, those that cut across different disciplines, could be transformed in the new light of EMT.
Revised:  Second, we provide a set of recipes by which general problem formulations of practical interest, those that cut across different disciplines, could be transformed in the new light of EMT.
Edit intent: clarity
Original:  We intend our discussions to not only underscore the practical utility of existing EMT methods, but also spark future research toward novel algorithms crafted for real-world deployment.
Revised:  We intend our discussions to underscore the practical utility of existing EMT methods, but also spark future research toward novel algorithms crafted for real-world deployment.
Edit intent: fluency
Original:  We intend our discussions to not only underscore the practical utility of existing EMT methods, but also spark future research toward novel algorithms crafted for real-world deployment.
Revised:  We intend our discussions to not only underscore the practical utility of existing EMT methods, and spark future research toward novel algorithms crafted for real-world deployment.
Edit intent: fluency
Original:  Each category elaborates fundamental motivations to multitask, and presents a representative experimental study (referred from the literature).
Revised:  Each category elaborates fundamental motivations to multitask, and contains a representative experimental study (referred from the literature).
Edit intent: clarity
Original:  Second, we provide a set of recipes by which general problem formulations of practical interest, those that cut across different disciplines, could be transformed in the new light of EMT.
Revised:  Second, we present a set of recipes by which general problem formulations of practical interest, those that cut across different disciplines, could be transformed in the new light of EMT.
Edit intent: clarity
Original:  In this article, we show a model to implement this principle accurately with spatio-temporal local, spike-based, and continuous-time learning rules .
Revised:  In this article, we present a method to implement this principle accurately with spatio-temporal local, spike-based, and continuous-time learning rules .
Edit intent: clarity
Original:  In this article, we show a model to implement this principle accurately with spatio-temporal local, spike-based, and continuous-time learning rules .
Revised:  In this article, we show a model to implement this principle accurately with a local, spike-based, and continuous-time learning rules .
Edit intent: clarity
Original:  In this article, we show a model to implement this principle accurately with spatio-temporal local, spike-based, and continuous-time learning rules .
Revised:  In this article, we show a model to implement this principle accurately with spatio-temporal local, spike-based, and continuous-time learning rule .
Edit intent: fluency
Original:  The thief has as the objective to maximize the total profit of the stolen items while also paying for the rented knapsack .
Revised:  The thief has as the objective to maximize the total profit of the stolen items .
Edit intent: clarity
Original:  Our solution approach outperforms existing works on almost all of the 432 benchmarking instances, with significant improvements.
Revised:  Our solution approach outperforms existing works on almost all the 432 benchmarking instances, with significant improvements.
Edit intent: fluency
Original: We tackle the Thief Orienteering Problem (ThOP), which is academic multi-component problem : it combines two classical combinatorial problems, namely the Knapsack Problem (KP) and the Orienteering Problem (OP).
Revised: We tackle the Thief Orienteering Problem (ThOP), an academic multi-component problem : it combines two classical combinatorial problems, namely the Knapsack Problem (KP) and the Orienteering Problem (OP).
Edit intent: coherence
Original: We tackle the Thief Orienteering Problem (ThOP), which is academic multi-component problem : it combines two classical combinatorial problems, namely the Knapsack Problem (KP) and the Orienteering Problem (OP).
Revised: We tackle the Thief Orienteering Problem (ThOP), which is academic multi-component problem that combines two classical combinatorial problems, namely the Knapsack Problem (KP) and the Orienteering Problem (OP).
Edit intent: coherence
Original: We tackle the Thief Orienteering Problem (ThOP), which is academic multi-component problem : it combines two classical combinatorial problems, namely the Knapsack Problem (KP) and the Orienteering Problem (OP).
Revised: We tackle the Thief Orienteering Problem (ThOP), which is academic multi-component problem : it combines two classical combinatorial problems, namely the Knapsack Problem and the Orienteering Problem (OP).
Edit intent: clarity
Original: Continuous Integration (CI) requires efficient regression testing to ensure the software systems' quality without delaying the CI buildssignificantly .
Revised: Continuous Integration (CI) requires efficient regression testing to ensure software quality without significantly delaying its CI builds .
Edit intent: clarity
Original:  This warrants the need for techniques to reduce the regression testing time, such as Test Case Prioritization (TCP) techniques that prioritize the execution of test cases such that faults can be detected as early as possible.
Revised:  This warrants the need for techniques to reduce regression testing time, such as Test Case Prioritization (TCP) techniques that prioritize the execution of test cases such that faults can be detected as early as possible.
Edit intent: coherence
Original:  This warrants the need for techniques to reduce the regression testing time, such as Test Case Prioritization (TCP) techniques that prioritize the execution of test cases such that faults can be detected as early as possible.
Revised:  This warrants the need for techniques to reduce the regression testing time, such as Test Case Prioritization (TCP) techniques that prioritize the execution of test cases to detect faults as early as possible.
Edit intent: clarity
Original:  However, most of them use a limited number of features for training ML models and evaluate the models on subjects , for which the application of TCP is meaningless mainly due to the low regression testing time and the low number of failed builds.
Revised:  However, most of them use a limited number of features for training ML models and evaluate the models on subjects for which the application of TCP is meaningless mainly due to the low regression testing time and the low number of failed builds.
Edit intent: fluency
Original:  However, most of them use a limited number of features for training ML models and evaluate the models on subjects , for which the application of TCP is meaningless mainly due to the low regression testing time and the low number of failed builds.
Revised:  However, most of them use a limited number of features for training ML models and evaluate the models on subjects , for which the application of TCP makes little practical sense, due to their small regression testing time and the low number of failed builds.
Edit intent: clarity
Original:  However, most of them use a limited number of features for training ML models and evaluate the models on subjects , for which the application of TCP is meaningless mainly due to the low regression testing time and the low number of failed builds.
Revised:  However, most of them use a limited number of features for training ML models and evaluate the models on subjects , for which the application of TCP is meaningless mainly due to the low regression testing time and low number of failed builds.
Edit intent: fluency
Original:  Second,  we define a set of comprehensive features that account for the data model and cover all features previously used by the related studies.
Revised:  Second, based on this data model, we define a set of comprehensive features that account for the data model and cover all features previously used by the related studies.
Edit intent: clarity
Original:  Second,  we define a set of comprehensive features that account for the data model and cover all features previously used by the related studies.
Revised:  Second, we define a comprehensive set of features that covers all features previously used by the related studies.
Edit intent: clarity
Original:  Second,  we define a set of comprehensive features that account for the data model and cover all features previously used by the related studies.
Revised:  Second, we define a set of comprehensive features that account for the data model and cover all features previously used by related studies.
Edit intent: fluency
Original:  Third, we develop methods and tools to collect the defined features for 25 open-source software systems with enough failed builds  whose regression testing takes at least five minutes.
Revised:  Third, we develop methods and tools to collect the defined features for 25 open-source software systems with enough failed builds and whose regression testing takes at least five minutes.
Edit intent: coherence
Original:  Forth , relying on the collected dataset containing a comprehensive feature set, we answer four research questions concerning the cost of data collection time, the accuracy of ML-based TCP based on the comprehensive feature set , the impact of the features on the accuracy, decay of ML-based TCP model over time, and the trade-off between the cost of the data collection time and  accuracy of ML-based TCP techniques.
Revised:  Fourth , relying on the collected dataset containing a comprehensive feature set, we answer four research questions concerning the cost of data collection time, the accuracy of ML-based TCP based on the comprehensive feature set , the impact of the features on the accuracy, decay of ML-based TCP model over time, and the trade-off between the cost of the data collection time and accuracy of ML-based TCP techniques.
Edit intent: fluency
Original:  Forth , relying on the collected dataset containing a comprehensive feature set, we answer four research questions concerning the cost of data collection time, the accuracy of ML-based TCP based on the comprehensive feature set , the impact of the features on the accuracy, decay of ML-based TCP model over time, and the trade-off between the cost of the data collection time and  accuracy of ML-based TCP techniques.
Revised:  Forth , relying on the collected dataset containing a comprehensive feature set, we answer four research questions concerning data collection time, the accuracy of ML-based TCP based on the comprehensive feature set , the impact of the features on the accuracy, decay of ML-based TCP model over time, and the trade-off between the cost of the data collection time and accuracy of ML-based TCP techniques.
Edit intent: fluency
Original:  Forth , relying on the collected dataset containing a comprehensive feature set, we answer four research questions concerning the cost of data collection time, the accuracy of ML-based TCP based on the comprehensive feature set , the impact of the features on the accuracy, decay of ML-based TCP model over time, and the trade-off between the cost of the data collection time and  accuracy of ML-based TCP techniques.
Revised:  Forth , relying on the collected dataset containing a comprehensive feature set, we answer four research questions concerning the cost of data collection time, the accuracy of ML-based TCP , the impact of the features on the accuracy, decay of ML-based TCP model over time, and the trade-off between the cost of the data collection time and accuracy of ML-based TCP techniques.
Edit intent: coherence
Original:  Forth , relying on the collected dataset containing a comprehensive feature set, we answer four research questions concerning the cost of data collection time, the accuracy of ML-based TCP based on the comprehensive feature set , the impact of the features on the accuracy, decay of ML-based TCP model over time, and the trade-off between the cost of the data collection time and  accuracy of ML-based TCP techniques.
Revised:  Forth , relying on the collected dataset containing a comprehensive feature set, we answer four research questions concerning the cost of data collection time, the accuracy of ML-based TCP based on the comprehensive feature set , the impact of the features on accuracy, the decay of ML-based TCP model over time, and the trade-off between the cost of the data collection time and accuracy of ML-based TCP techniques.
Edit intent: fluency
Original:  Forth , relying on the collected dataset containing a comprehensive feature set, we answer four research questions concerning the cost of data collection time, the accuracy of ML-based TCP based on the comprehensive feature set , the impact of the features on the accuracy, decay of ML-based TCP model over time, and the trade-off between the cost of the data collection time and  accuracy of ML-based TCP techniques.
Revised:  Forth , relying on the collected dataset containing a comprehensive feature set, we answer four research questions concerning the cost of data collection time, the accuracy of ML-based TCP based on the comprehensive feature set , the impact of the features on the accuracy, decay of ML-based TCP models over time, and the trade-off between the cost of the data collection time and accuracy of ML-based TCP techniques.
Edit intent: fluency
Original:  Forth , relying on the collected dataset containing a comprehensive feature set, we answer four research questions concerning the cost of data collection time, the accuracy of ML-based TCP based on the comprehensive feature set , the impact of the features on the accuracy, decay of ML-based TCP model over time, and the trade-off between the cost of the data collection time and  accuracy of ML-based TCP techniques.
Revised:  Forth , relying on the collected dataset containing a comprehensive feature set, we answer four research questions concerning the cost of data collection time, the accuracy of ML-based TCP based on the comprehensive feature set , the impact of the features on the accuracy, decay of ML-based TCP model over time, and the trade-off between data collection time and accuracy of ML-based TCP techniques.
Edit intent: clarity
Original:  Forth , relying on the collected dataset containing a comprehensive feature set, we answer four research questions concerning the cost of data collection time, the accuracy of ML-based TCP based on the comprehensive feature set , the impact of the features on the accuracy, decay of ML-based TCP model over time, and the trade-off between the cost of the data collection time and  accuracy of ML-based TCP techniques.
Revised:  Forth , relying on the collected dataset containing a comprehensive feature set, we answer four research questions concerning the cost of data collection time, the accuracy of ML-based TCP based on the comprehensive feature set , the impact of the features on the accuracy, decay of ML-based TCP model over time, and the trade-off between the cost of the data collection time and the accuracy of ML-based TCP techniques.
Edit intent: fluency
Original:  The spread of Covid-19 is modelled as a differentiable game between the planner and population with appropriate disease spread dynamical equations.
Revised:  In this work, the spread of Covid-19 is modelled as a differentiable game between the planner and population with appropriate disease spread dynamical equations.
Edit intent: clarity
Original:  It is vital to model the true infected numbers within the context of choices made by individuals within the population.
Revised:  Therefore, it is vital to model the true infected numbers within the context of choices made by individuals within the population.
Edit intent: coherence
Original:  The individuals make their own estimates of the true infected from the detected numbers and base their strategies on those estimates.
Revised:  The individuals make their own estimates of the total infected from the detected numbers and base their strategies on those estimates.
Edit intent: clarity
Original:  We present some simulation results based on these results to demonstrate how the population choices , planner control, detection rates and trust in the reported numbers play a key role in how the disease spreads.
Revised:  We present some simulation results based on these results to demonstrate how population behavior , planner control, detection rates and trust in the reported numbers play a key role in how the disease spreads.
Edit intent: clarity
Original: Recent work investigated the potential of comics to support the teaching and learning of programming concepts and suggested several ways \mathit{coding strips , a form of comic strip with its corresponding code, can be used.
Revised: Recent work investigated the potential of comics to support the teaching and learning of programming concepts and suggested several ways coding strips , a form of comic strip with its corresponding code, can be used.
Edit intent: fluency
Original:  Building on this work, we tested the recommended use cases of \mathit{coding strip in an undergraduate introductory computer science course at a large comprehensive university.
Revised:  Building on this work, we tested the recommended use cases of coding strip in an undergraduate introductory computer science course at a large comprehensive university.
Edit intent: fluency
Original: Justice-centered approaches to equitable computer science (CS) education prioritize the development of students' CS disciplinary identities toward social justice rather than corporations, industry, empire, and militarism by emphasizing ethics, identity, and political vision .
Revised: Justice-centered approaches to equitable computer science (CS) education prioritize the development of students' CS disciplinary identities toward social justice rather than war, empire, and militarism by emphasizing ethics, identity, and political vision .
Edit intent: clarity
Original: Justice-centered approaches to equitable computer science (CS) education prioritize the development of students' CS disciplinary identities toward social justice rather than corporations, industry, empire, and militarism by emphasizing ethics, identity, and political vision .
Revised: Justice-centered approaches to equitable computer science (CS) education prioritize the development of students' CS disciplinary identities toward social justice rather than corporations, industry, empire, and corporations .
Edit intent: clarity
Original:  However, most research in justice-centered approaches to equitable CS education focus on K-12 learning environments.
Revised:  However, most research in justice-centered approaches in CS education focus on K-12 learning environments.
Edit intent: clarity
Original:  However, most research in justice-centered approaches to equitable CS education focus on K-12 learning environments.
Revised:  However, most research in justice-centered approaches to equitable CS education focus on K--12 learning environments.
Edit intent: fluency
Original:  In this position paper, we  problematize the lack of attention to justice-centered approaches to CS in higher education and then describe a justice-centered approach for undergraduate Data Structures and Algorithms that (1) critiques sociopolitical values of data structure and algorithm design and dominant computing epistemologies that approach social good without design justice ;
Revised:  In this position paper, we problematize the lack of justice-centered approaches to CS in higher education and then describe a justice-centered approach for undergraduate Data Structures and Algorithms that (1) critiques sociopolitical values of data structure and algorithm design and dominant computing epistemologies that approach social good without design justice ;
Edit intent: clarity
Original:  In this position paper, we  problematize the lack of attention to justice-centered approaches to CS in higher education and then describe a justice-centered approach for undergraduate Data Structures and Algorithms that (1) critiques sociopolitical values of data structure and algorithm design and dominant computing epistemologies that approach social good without design justice ;
Revised:  In this position paper, we problematize the lack of attention to justice-centered approaches to CS in higher education in particular, and describe a justice-centered approach for undergraduate Data Structures and Algorithms that (1) critiques sociopolitical values of data structure and algorithm design and dominant computing epistemologies that approach social good without design justice ;
Edit intent: clarity
Original:  In this position paper, we  problematize the lack of attention to justice-centered approaches to CS in higher education and then describe a justice-centered approach for undergraduate Data Structures and Algorithms that (1) critiques sociopolitical values of data structure and algorithm design and dominant computing epistemologies that approach social good without design justice ;
Revised:  In this position paper, we problematize the lack of attention to justice-centered approaches to CS in higher education and then describe a justice-centered approach for undergraduate Data Structures and Algorithms that (1) critiques sociopolitical values of data structure and algorithm design as well as the underlying logics of dominant computing culture ;
Edit intent: clarity