wanyu/IteraTeR_v2 huggingface dataset:
Original: We explain how Anderson Acceleration (AA) speeds up the Alternating Direction Method of Multipliers (ADMM) , for the case where ADMM by itself converges linearly.
Revised: We explain how Anderson Acceleration (AA) speeds up the Alternating Direction Method of Multipliers (ADMM) when ADMM by itself converges linearly.
Edit intent: clarity
Original:  Numerical tests show that this allows us to quantify the improved linear asymptotic convergence speed of AA-ADMM as compared to the convergence factor of ADMM used by itself.
Revised:  The optimal linear convergence factors of this stationary AA-ADMM as compared to the convergence factor of ADMM used by itself.
Edit intent: clarity
Original:  This paper analyzes the dataset and explains one major data quality issue that was discovered.
Revised:  This note examines the dataset and explains one major data quality issue that was discovered.
Edit intent: clarity
Original:  Findings suggest that this issue is attributed to systemic errors in the data collection process.
Revised:  Findings suggest that this issue can be attributed to systemic errors in the data collection process.
Edit intent: clarity
Original:  An application on assigning refugees to geographic areas in the United States is presented to illustrate the methods  .
Revised:  Real-world refugee resettlement data in the United States is presented to illustrate the methods .
Edit intent: clarity
Original:  An application on assigning refugees to geographic areas in the United States is presented to illustrate the methods  .
Revised:  An application on assigning refugees to geographic areas in the United States are used to illustrate the methods .
Edit intent: clarity
Original:  While most research in search engines is performed in the academic field of information retrieval (IR), most academic search engines--though rigorously evaluated--are x2013 sparsely utilized, while major commercial web search engines (e.g., Google, Bing) dominate.
Revised:  While most research in search engines is performed in the academic field of information retrieval (IR), most academic search engines x2013 sparsely utilized, while major commercial web search engines (e.g., Google, Bing) dominate.
Edit intent: clarity
Original:  While most research in search engines is performed in the academic field of information retrieval (IR), most academic search engines--though rigorously evaluated--are x2013 sparsely utilized, while major commercial web search engines (e.g., Google, Bing) dominate.
Revised:  While most research in search engines is performed in the academic field of information retrieval (IR), most academic search engines--though rigorously evaluated--are x2013are sparsely utilized, while major commercial web search engines (e.g., Google, Bing) dominate.
Edit intent: clarity
Original: The coronavirus disease 2019 (COVID-19) outbreak has swept more than 180 countries and territories since late January 2020.
Revised: The outbreak of coronavirus disease (COVID-19) outbreak has swept more than 180 countries and territories since late January 2020.
Edit intent: clarity
Original: The coronavirus disease 2019 (COVID-19) outbreak has swept more than 180 countries and territories since late January 2020.
Revised: The coronavirus disease 2019 (COVID-19) has swept across more than 180 countries and territories since late January 2020.
Edit intent: clarity
Original:  As a worldwide emergency response, governments have taken various measures and policies such as self-quarantine, travel restriction, work at home, and region lockdown, to control the rapid spread of this epidemic.
Revised:  As a worldwide emergency response, governments have taken various measures and implemented policies, such as self-quarantine, travel restriction, work at home, and region lockdown, to control the rapid spread of this epidemic.
Edit intent: clarity
Original:  As a worldwide emergency response, governments have taken various measures and policies such as self-quarantine, travel restriction, work at home, and region lockdown, to control the rapid spread of this epidemic.
Revised:  As a worldwide emergency response, governments have taken various measures and policies such as self-quarantine, travel restrictions, work from home, and region lockdown, to control the rapid spread of this epidemic.
Edit intent: clarity
Original:  As a worldwide emergency response, governments have taken various measures and policies such as self-quarantine, travel restriction, work at home, and region lockdown, to control the rapid spread of this epidemic.
Revised:  As a worldwide emergency response, governments have taken various measures and policies such as self-quarantine, travel restriction, work at home, and regional lockdown, to control the rapid spread of this epidemic.
Edit intent: fluency
Original:  The common concept of these countermeasures is to conduct human mobility restrictions as COVID-19 is a highly contagious disease with human-to-human transmission.
Revised:  The common intention of these countermeasures is to conduct human mobility restrictions as COVID-19 is a highly contagious disease with human-to-human transmission.
Edit intent: clarity
Original:  The common concept of these countermeasures is to conduct human mobility restrictions as COVID-19 is a highly contagious disease with human-to-human transmission.
Revised:  The common concept of these countermeasures is to restrict human mobility because COVID-19 is a highly contagious disease with human-to-human transmission.
Edit intent: coherence
Original:  The common concept of these countermeasures is to conduct human mobility restrictions as COVID-19 is a highly contagious disease with human-to-human transmission.
Revised:  The common concept of these countermeasures is to conduct human mobility restrictions as COVID-19 is a highly contagious disease that is spread by human-to-human transmission.
Edit intent: clarity
Original:  It becomes an urgent request from medical experts and policymakers to effectively evaluate the effects of human restriction policies with the aid of big data and information technology.
Revised:  Medical experts and policy makers have expressed the urgency of being able to effectively evaluate the effects of human restriction policies with the aid of big data and information technology.
Edit intent: clarity
Original:  As a worldwide emergency response, governments have taken various measures and implemented policies, such as self-quarantine, travel restrictions, work from home, and regional lockdown, to control the rapid spread of this epidemic.
Revised:  As a worldwide emergency response, governments have implemented various measures and implemented policies, such as self-quarantine, travel restrictions, work from home, and regional lockdown, to control the rapid spread of this epidemic.
Edit intent: style
Original:  As a worldwide emergency response, governments have taken various measures and implemented policies, such as self-quarantine, travel restrictions, work from home, and regional lockdown, to control the rapid spread of this epidemic.
Revised:  As a worldwide emergency response, governments have taken various measures and policies, such as self-quarantine, travel restrictions, work from home, and regional lockdown, to control the rapid spread of this epidemic.
Edit intent: clarity
Original:  Medical experts and policy makers have expressed the urgency of being able to effectively evaluate the effects of human restriction policies with the aid of big data and information technology.
Revised:  Medical experts and policymakers have expressed the urgency of being able to effectively evaluate the effects of human restriction policies with the aid of big data and information technology.
Edit intent: clarity
Original:  Medical experts and policy makers have expressed the urgency of being able to effectively evaluate the effects of human restriction policies with the aid of big data and information technology.
Revised:  Medical experts and policy makers have expressed the urgency to effectively evaluate the effects of human restriction policies with the aid of big data and information technology.
Edit intent: clarity
Original:  Medical experts and policy makers have expressed the urgency of being able to effectively evaluate the effects of human restriction policies with the aid of big data and information technology.
Revised:  Medical experts and policy makers have expressed the urgency of being able to effectively evaluate the outcome of human restriction policies with the aid of big data and information technology.
Edit intent: clarity
Original:  Thus, in this study, based on big human mobility data and city POI data, we designed an interactive visual analytics system named EpiMob (Epidemic Mobility ) .
Revised:  Thus, based on big human mobility data and city POI data, we designed an interactive visual analytics system named EpiMob (Epidemic Mobility ) .
Edit intent: clarity
Original:  Thus, in this study, based on big human mobility data and city POI data, we designed an interactive visual analytics system named EpiMob (Epidemic Mobility ) .
Revised:  Thus, in this study, based on big human mobility data and city POI data, an interactive visual analytics system named EpiMob (Epidemic Mobility ) .
Edit intent: clarity
Original:  Thus, in this study, based on big human mobility data and city POI data, we designed an interactive visual analytics system named EpiMob (Epidemic Mobility ) .
Revised:  Thus, in this study, based on big human mobility data and city POI data, we designed an interactive visual analytics system called Epidemic Mobility (EpiMob) was designed in this study .
Edit intent: coherence
Original:  The system interactively simulates the changes in human mobility and the number of infected people in response to the implementation of a certain restriction policy or  combination of policies (e.g., regional lockdown, telecommuting, screening).
Revised:  The system interactively simulates the changes in human mobility and infection status in response to the implementation of a certain restriction policy or combination of policies (e.g., regional lockdown, telecommuting, screening).
Edit intent: clarity
Original:  The system interactively simulates the changes in human mobility and the number of infected people in response to the implementation of a certain restriction policy or  combination of policies (e.g., regional lockdown, telecommuting, screening).
Revised:  The system interactively simulates the changes in human mobility and the number of infected people in response to the implementation of a certain restriction policy or a combination of policies (e.g., regional lockdown, telecommuting, screening).
Edit intent: fluency
Original:  Users can conveniently designate the spatial and temporal ranges for different mobility restriction policies , and the result reflecting the infection situation under different policies is dynamically displayed and can be flexibly compared .
Revised:  Users can conveniently designate the spatial and temporal ranges for different mobility restriction policies . Then, the results reflecting the infection situation under different policies is dynamically displayed and can be flexibly compared .
Edit intent: coherence
Original:  Users can conveniently designate the spatial and temporal ranges for different mobility restriction policies , and the result reflecting the infection situation under different policies is dynamically displayed and can be flexibly compared .
Revised:  Users can conveniently designate the spatial and temporal ranges for different mobility restriction policies , and the result reflecting the infection situation under different policies are dynamically displayed and can be flexibly compared .
Edit intent: fluency
Original:  We completed multiple case studies of the largest metropolitan area in Japan (i.e., Greater Tokyo Area) and conducted interviews with domain experts to demonstrate that our system can provide illustrative insight by measuring and comparing the effects of different human mobility restriction policies for epidemic control  .
Revised:  We completed multiple case studies of the largest metropolitan area of Japan (i.e., Greater Tokyo Area) and conducted interviews with domain experts to demonstrate that our system can provide illustrative insight by measuring and comparing the effects of different human mobility restriction policies for epidemic control .
Edit intent: clarity
Original:  We completed multiple case studies of the largest metropolitan area in Japan (i.e., Greater Tokyo Area) and conducted interviews with domain experts to demonstrate that our system can provide illustrative insight by measuring and comparing the effects of different human mobility restriction policies for epidemic control  .
Revised:  We completed multiple case studies of the largest metropolitan area in Japan (i.e., Greater Tokyo Area) to demonstrate that our system can provide illustrative insight by measuring and comparing the effects of different human mobility restriction policies for epidemic control .
Edit intent: clarity
Original:  We completed multiple case studies of the largest metropolitan area in Japan (i.e., Greater Tokyo Area) and conducted interviews with domain experts to demonstrate that our system can provide illustrative insight by measuring and comparing the effects of different human mobility restriction policies for epidemic control  .
Revised:  We completed multiple case studies of the largest metropolitan area in Japan (i.e., Greater Tokyo Area) and conducted interviews with domain experts to demonstrate that the system can provide illustrative insight by measuring and comparing the effects of different human mobility restriction policies for epidemic control .
Edit intent: fluency
Original:  We completed multiple case studies of the largest metropolitan area in Japan (i.e., Greater Tokyo Area) and conducted interviews with domain experts to demonstrate that our system can provide illustrative insight by measuring and comparing the effects of different human mobility restriction policies for epidemic control  .
Revised:  We completed multiple case studies of the largest metropolitan area in Japan (i.e., Greater Tokyo Area) and conducted interviews with domain experts to demonstrate that our system can provide insight into the effects of different human mobility restriction policies for epidemic control .
Edit intent: clarity
Original:  The approach is underpinned by an inductive framework: this is structured as a sequential loop between a learner, which manipulates a candidate BC  as a neural network, and a sound verifier, which either certifies through algorithmic proofs the candidate's validity or generates counter-examples to further guide the learner.
Revised:  The approach is underpinned by an inductive framework: this is structured as a sequential loop between a learner, which manipulates a candidate BC as a neural network, and a sound verifier, which either certifies the candidate's validity or generates counter-examples to further guide the learner.
Edit intent: clarity
Original:  We derive conditions for the epidemic threshold of the first strain and the threshold of coexistence of the second strain.
Revised:  We derive conditions for the threshold of coexistence of the second strain.
Edit intent: clarity
Original: Although significant effort has been applied to fact-checking, the prevalence of fake news over social media, which has profound impact on justice, public trust and our society as a whole , remains a serious problem.
Revised: Although significant effort has been applied to fact-checking, the prevalence of fake news over social media, which has profound impact on justice, public trust and our society , remains a serious problem.
Edit intent: clarity
Original:  If it achieves unsatisfactory performance, how do we solve the problem without re-training the model on the entire data from scratch , which would become prohibitively expensive in practice as the data volumes grow ?
Revised:  If it achieves unsatisfactory performance, how do we solve the problem without re-training the model on the entire data from scratch ?
Edit intent: clarity
Original: Deep neural networks (DNNs) have achieved the state of the art performance in numerous fields .
Revised: Deep neural networks (DNNs) have garnered remarkable success in a diverse range of real-world applications .
Edit intent: clarity
Original:  Therefore, we study the human somatosensory system and design a neural network (SpinalNet ) to achieve higher accuracy with lower computation time.
Revised:  Therefore, we study the human somatosensory system and propose the SpinalNet to achieve higher accuracy with lower computation time.
Edit intent: clarity
Original:  Input segmentation enables each hidden layer to receive a part of the input and outputs of the previous layer.
Revised:  Input segmentation enables each hidden layer to receive a part of the inputs and outputs of the previous layer.
Edit intent: fluency
Original:  As the network directly contributes to outputs in each layer , the vanishing gradient problem of DNN does not exist.
Revised:  As the network directly contributes to outputs in each layer , the vanishing gradient problem does not exist.
Edit intent: clarity
Original:  We integrate the SpinalNet as the fully-connected layer of the convolutional neural network (CNN), residual neural network (ResNet), and Dense Convolutional Network (DenseNet), Visual Geometry Group (VGG) network .
Revised:  We also investigate the SpinalNet fully-connected layer of the convolutional neural network (CNN), residual neural network (ResNet), and Dense Convolutional Network (DenseNet), Visual Geometry Group (VGG) network .
Edit intent: clarity
Original:  We observe a significant error reduction with lower computation in most situations .
Revised:  We observe significant error reductions with lower computational costs in most of the DNNs .
Edit intent: clarity
Original:  We have received state-of-the-art performance for the QMNIST, Kuzushiji-MNIST, and EMNIST (digits)datasets.
Revised:  We have also obtained the state-of-the-art performance for the QMNIST, Kuzushiji-MNIST, and EMNIST (digits)datasets.
Edit intent: clarity
Original:  Scripts of the proposed SpinalNet is available at the following link: URL
Revised:  Scripts of the proposed SpinalNet are available with the following link: URL
Edit intent: clarity
Original:  We present an extension of the temporal logic rPATL (probabilistic alternating-time temporal logic with rewards)  and a corresponding model checking algorithm for a variant of stopping games to synthesise such equilibria for any number of distinct coalitions .
Revised:  We present an extension of the temporal logic rPATL (probabilistic alternating-time temporal logic with rewards) and a corresponding model checking algorithm for a variant of stopping games .
Edit intent: clarity
Original:  Originally intended for the analysis of time series from neuronal spiking activity, our toolbox is applicable to a wide range of systems where subsampling - the difficulty to observe the whole system in full detail - limits our capability to record.
Revised:  Originally intended for the analysis of time series from neuronal spiking activity, our toolbox is applicable to a wide range of systems where subsampling -- the difficulty to observe the whole system in full detail - limits our capability to record.
Edit intent: fluency
Original:  Originally intended for the analysis of time series from neuronal spiking activity, our toolbox is applicable to a wide range of systems where subsampling - the difficulty to observe the whole system in full detail - limits our capability to record.
Revised:  Originally intended for the analysis of time series from neuronal spiking activity, our toolbox is applicable to a wide range of systems where subsampling - the difficulty to observe the whole system in full detail -- limits our capability to record.
Edit intent: fluency
Original:  We then introduce two Hybrid High-Order methods for the approximation of the magnetostatic model, in both its (first-order) field and (second-order) vector potential formulations.
Revised:  We then introduce two Hybrid High-Order methods for the approximation of the magnetostatics model, in both its (first-order) field and (second-order) vector potential formulations.
Edit intent: fluency
Original: In the 90's Clark, Colbourn and Johnson wrote a seminal paper , where they proved that maximum clique can be solved in polynomial time in unit disk graphs.
Revised: In the 90's Clark, Colbourn and Johnson wrote a seminal paper where they proved that maximum clique can be solved in polynomial time in unit disk graphs.
Edit intent: fluency
Original:  Since then, the complexity of maximum clique in intersection graphs of  (unit) d-dimensional balls has been investigated.
Revised:  Since then, the complexity of maximum clique in intersection graphs of (unit) balls has been investigated.
Edit intent: clarity
Original:  They also gave an efficient polynomial time approximation scheme (EPTAS) for disk graphs , however the complexity of maximum clique in this setting remains unknown.
Revised:  They also gave an efficient polynomial time approximation scheme (EPTAS) for disk graphs . However, the complexity of maximum clique in this setting remains unknown.
Edit intent: fluency
Original:  In this paper, we show the existence of a polynomial time algorithm for solving maximum clique in a geometric superclass of unit disk graphs.
Revised:  In this paper, we show the existence of a polynomial time algorithm for a geometric superclass of unit disk graphs.
Edit intent: clarity
Original:  The  implementation is demonstrated to be significantly faster than multi-threaded LAPACK and ScaLAPACK on both single-node and multi-node environments .
Revised:  The implementation is demonstrated to be significantly faster than multi-threaded LAPACK and ScaLAPACK in both single-node and multi-node environments .
Edit intent: fluency
Original:  This paper proposes Structure Probing Neural Network Deflation (SP-NND) to make deep learning capable of identifying multiple solutions that are ubiquitous and important in nonlinear physical models.
Revised:  This paper proposes a network-based structure probing deflation method to make deep learning capable of identifying multiple solutions that are ubiquitous and important in nonlinear physical models.
Edit intent: clarity
Original:  Numerical experiments also demonstrate that SP-NND could find more solutions than exiting methods.
Revised:  Numerical experiments also demonstrate that the proposed method could find more solutions than exiting methods.
Edit intent: clarity
Original: Abrupt changes in the environment, such as increasingly frequent and intense weather events due to climate change or the extreme disruption caused by the coronavirus pandemic , have triggered massive and precipitous human mobility changes .
Revised: Abrupt changes in the environment, such as unforeseen events due to climate change or the extreme disruption caused by the coronavirus pandemic , have triggered massive and precipitous human mobility changes .
Edit intent: clarity
Original: Abrupt changes in the environment, such as increasingly frequent and intense weather events due to climate change or the extreme disruption caused by the coronavirus pandemic , have triggered massive and precipitous human mobility changes .
Revised: Abrupt changes in the environment, such as increasingly frequent and intense weather events due to climate change , have triggered massive and precipitous human mobility changes .
Edit intent: clarity
Original: Abrupt changes in the environment, such as increasingly frequent and intense weather events due to climate change or the extreme disruption caused by the coronavirus pandemic , have triggered massive and precipitous human mobility changes .
Revised: Abrupt changes in the environment, such as increasingly frequent and intense weather events due to climate change or the extreme disruption caused by the coronavirus pandemic , have triggered massive and precipitous changes in human mobility .
Edit intent: fluency