wanyu/IteraTeR_v2 huggingface dataset:
Original:  Of such logics we present typical axioms involving the relation between knowledge or belief and informative action, their relative expressivity, directions for applications, and what is known on the decidability and complexity of model checking and satisfiability  .
Revised:  Of such logics we present typical axioms involving the interaction between knowledge and such quantifiers, we report on their relative expressivity, directions for applications, and what is known on the decidability and complexity of model checking and satisfiability .
Edit intent: clarity
Original:  Of such logics we present typical axioms involving the relation between knowledge or belief and informative action, their relative expressivity, directions for applications, and what is known on the decidability and complexity of model checking and satisfiability  .
Revised:  Of such logics we present typical axioms involving the relation between knowledge or belief and informative action, their relative expressivity, on decidability and on the complexity of model checking and satisfiability .
Edit intent: clarity
Original:  Of such logics we present typical axioms involving the relation between knowledge or belief and informative action, their relative expressivity, directions for applications, and what is known on the decidability and complexity of model checking and satisfiability  .
Revised:  Of such logics we present typical axioms involving the relation between knowledge or belief and informative action, their relative expressivity, directions for applications, and what is known on the decidability and complexity of model checking and satisfiability , and on applications .
Edit intent: coherence
Original:  ArCOV-19 is designed to enable research under several domains including natural language processing, information retrieval, and social computing, among others.
Revised:  ArCOV-19 is designed to enable research under several domains including natural language processing, information retrieval, and social computing, among others.
Edit intent: fluency
Original:  Preliminary analysis shows that ArCOV-19 captures rising discussions associated with the first reported cases of the disease as they appeared in the Arab world.
Revised:  Preliminary analysis shows that ArCOV-19 captures rising discussions associated with the first reported cases of the disease as they appeared in the Arab world.
Edit intent: fluency
Original:  In addition to the source tweets and the propagation networks, we also release the search queries and the language-independent crawler used to collect the tweets to encourage the curation of similar datasets.
Revised:  In addition to the source tweets and propagation networks, we also release the search queries and the language-independent crawler used to collect the tweets to encourage the curation of similar datasets.
Edit intent: fluency
Original:  In addition to the source tweets and the propagation networks, we also release the search queries and the language-independent crawler used to collect the tweets to encourage the curation of similar datasets.
Revised:  In addition to the source tweets and the propagation networks, we also release the search queries and language-independent crawler used to collect the tweets to encourage the curation of similar datasets.
Edit intent: fluency
Original: In this paper, we explore some stylized facts in the Bitcoin market using the BTC-USD exchange rate time series of historical intraday data from 2013 to 2018.
Revised: In this paper, we explore some stylized facts of the Bitcoin market using the BTC-USD exchange rate time series of historical intraday data from 2013 to 2018.
Edit intent: clarity
Original:  We also present analysis on the stability of the procedure when noise pollutes data.
Revised:  We also present analysis on the robustness of the procedure when noise pollutes data.
Edit intent: clarity
Original:  We introduce control mechanisms for reachability sets that are based on two natural operations of delaying time events which significantly affecting the chains of these events .
Revised:  We introduce control mechanisms for reachability sets that are based on two natural operations of delaying .
Edit intent: clarity
Original:  Our main result moreover answers several open questions about Ramsey expansions: in particular, if a structure has an \omega-categorical  Ramsey expansion, then so do its model companion and its model-complete core.
Revised:  Our main result moreover answers several open questions about Ramsey expansions: in particular, if a structure has an \omega-categorical Ramsey expansion, then so does its model-complete core.
Edit intent: clarity
Original:  We apply our approximation result to obtain a number of new approximation results.
Revised:  We apply this to obtain a number of new approximation results.
Edit intent: clarity
Original:  Thus, a major issue for the distribution system operator (DSO), responsible of the good operation of the distribution network, is to ensure that the decentralized decisions taken do not violate the grid constraints and do not increase the global system costs.
Revised:  This is an important issue for a distribution system operator (DSO), responsible of the good operation of the distribution network, is to ensure that the decentralized decisions taken do not violate the grid constraints and do not increase the global system costs.
Edit intent: clarity
Original:  Thus, a major issue for the distribution system operator (DSO), responsible of the good operation of the distribution network, is to ensure that the decentralized decisions taken do not violate the grid constraints and do not increase the global system costs.
Revised:  Thus, a major issue for the distribution system operator (DSO), in charge of the reliability of the distribution network, is to ensure that the decentralized decisions taken do not violate the grid constraints and do not increase the global system costs.
Edit intent: clarity
Original:  Thus, a major issue for the distribution system operator (DSO), responsible of the good operation of the distribution network, is to ensure that the decentralized decisions taken do not violate the grid constraints and do not increase the global system costs.
Revised:  Thus, a major issue for the distribution system operator (DSO), responsible of the good operation of the distribution network, it has to ensure that the decentralized decisions taken do not violate the grid constraints and do not increase the global system costs.
Edit intent: clarity
Original:  Thus, a major issue for the distribution system operator (DSO), responsible of the good operation of the distribution network, is to ensure that the decentralized decisions taken do not violate the grid constraints and do not increase the global system costs.
Revised:  Thus, a major issue for the distribution system operator (DSO), responsible of the good operation of the distribution network, is to ensure that decentralized decisions taken do not violate the grid constraints and do not increase the global system costs.
Edit intent: fluency
Original:  The problem is also challenging from the information point of view as the network state and characteristics usually constitute confidential information for the DSO . To address this issue, we propose a decentralized coordination procedure between the DSO and multiple aggregators  .
Revised:  From the information point of view as the network state and characteristics usually constitute confidential information for the DSO . To address this issue, we propose a decentralized coordination procedure between the DSO and multiple aggregators .
Edit intent: coherence
Original:  The problem is also challenging from the information point of view as the network state and characteristics usually constitute confidential information for the DSO . To address this issue, we propose a decentralized coordination procedure between the DSO and multiple aggregators  .
Revised:  The problem is also challenging from the information point of view , the network state and characteristics usually constitute confidential information for the DSO . To address this issue, we propose a decentralized coordination procedure between the DSO and multiple aggregators .
Edit intent: coherence
Original:  The problem is also challenging from the information point of view as the network state and characteristics usually constitute confidential information for the DSO . To address this issue, we propose a decentralized coordination procedure between the DSO and multiple aggregators  .
Revised:  The problem is also challenging from the information point of view as the network state and characteristics usually constitute confidential information for the DSO . To address this issue, we propose a decentralized coordination mechanism between the DSO and multiple aggregators .
Edit intent: clarity
Original:  The procedure, based on distribution locational marginal prices (DLMP), preserves the decentralized structure of information and decisions, and lead to a feasible and optimal solution for  the aggregators and the DSO  .
Revised:  The procedure, based on distribution locational marginal prices (DLMP), preserves the decentralized structure of information and decisions, and lead to a feasible and optimal solution for both the aggregators and the DSO .
Edit intent: clarity
Original:  One of the finding is that the aggressive imposing the most significant measures followed by equally aggressive reducing them when the spread diminishes will effectively reduce the number of new infections to zero;
Revised:  In the most aggressive mode, the saturation of the number of new infections to zero;
Edit intent: clarity
Original:  Our 2-phase formula matches very well the  total numbers of infections for Covid-19  in many countries;
Revised:  Our 2-phase formula matches very well the total numbers of the Covid-19 in many countries;
Edit intent: clarity
Original:  modeling the first phase is based on Bessel functions.
Revised:  the first phase is based on Bessel functions.
Edit intent: coherence
Original:  modeling the first phase is based on Bessel functions.
Revised:  modeling the first phase is described by Bessel functions.
Edit intent: clarity
Original:  Our 2-phase formula matches very well the curves of the total numbers of the Covid-19 infection in many countries;
Revised:  Our 2-phase formula matches very well the curves of the total numbers of the Covid-19 infections in many countries;
Edit intent: fluency
Original:  The first, the test-negative case-control design (TND) is the easiest to set up, since all symptomatic persons will be tested ;
Revised:  The first, the test-negative case-control design (TND) is the easiest to implement ;
Edit intent: clarity
Original:  The second, standard matched case-control studies (CC) demands that one person who accompanies the symptomatic persons to the test facility is asked the same information .
Revised:  The second, standard case-control studies (CC) demands that one person who accompanies the symptomatic persons to the test facility is asked the same information .
Edit intent: clarity
Original:  We first summarize the TND and explain how to add it to large-scale testing of persons with signs and symptoms .
Revised:  We first summarize the TND and explain how to add it to large-scale testing of symptomatic persons .
Edit intent: clarity
Original:  The TND shows differences in risk factors between symptomatic persons with COVID-19 and persons with other respiratory infections .
Revised:  The TND will detect differences in risk factors between symptomatic persons with COVID-19 and persons with other respiratory infections .
Edit intent: clarity
Original:  The TND shows differences in risk factors between symptomatic persons with COVID-19 and persons with other respiratory infections .
Revised:  The TND shows differences in risk factors between symptomatic persons who have COVID-19 and persons with other respiratory infections .
Edit intent: fluency
Original:  We first summarize the TND and explain how to add it to large-scale testing of symptomatic persons.
Edit intent: coherence
Original:  Second , we discuss how to add population controls to compare with the test-positives and the test-negatives separately , yielding two additional case-control studies.
Revised:  Therefore , we discuss how to add population controls to compare with the test-positives and the test-negatives separately , yielding two additional case-control studies.
Edit intent: coherence
Original:  Second , we discuss how to add population controls to compare with the test-positives and the test-negatives separately , yielding two additional case-control studies.
Revised:  Second , we discuss how to add population controls to compare with the test-positives and the test-negatives , yielding two additional case-control studies.
Edit intent: coherence
Original:  We describe two different types of population control groups: one composed of accompanying persons to the test facilities, the other drawn from existing country-wide health care databases.
Revised:  We describe two options for population control groups: one composed of accompanying persons to the test facilities, the other drawn from existing country-wide health care databases.
Edit intent: clarity
Original: With the rapidly growing number of research publications, there is a vast amount of scholarly information that needs to be organized in digital libraries.
Revised: With the rapid growth of research publications, there is a vast amount of scholarly information that needs to be organized in digital libraries.
Edit intent: clarity
Original: With the rapidly growing number of research publications, there is a vast amount of scholarly information that needs to be organized in digital libraries.
Revised: With the rapidly growing number of research publications, there is a vast amount of scholarly knowledge that needs to be organized in digital libraries.
Edit intent: clarity
Original:  While advanced automated techniques have been developed for relation extraction , many of these techniques were evaluated under different scenarios, which limits their comparability.
Revised:  While advanced automated techniques have been developed for relation extraction , many of these methods were evaluated under different scenarios, which limits their comparability.
Edit intent: clarity
Original:  To this end, this study presents a thorough empirical evaluation of eight Bert-based classification models by exploring two factors: 1) Bert model variants, and 2) classification strategies.
Revised:  To this end, we present a thorough empirical evaluation of eight Bert-based classification models by exploring two factors: 1) Bert model variants, and 2) classification strategies.
Edit intent: clarity
Original:  To this end, this study presents a thorough empirical evaluation of eight Bert-based classification models by exploring two factors: 1) Bert model variants, and 2) classification strategies.
Revised:  To this end, this study presents a thorough empirical evaluation on eight Bert-based classification models by exploring two factors: 1) Bert model variants, and 2) classification strategies.
Edit intent: fluency
Original:  To this end, this study presents a thorough empirical evaluation of eight Bert-based classification models by exploring two factors: 1) Bert model variants, and 2) classification strategies.
Revised:  To this end, this study presents a thorough empirical evaluation of eight Bert-based classification models by focusing on two key factors: 1) Bert model variants, and 2) classification strategies.
Edit intent: clarity
Original:  The strategy of classifying a single relation each time is preferred in the corpus consisting of abundant scientific relations, while the strategy of identifying multiple relations at one time is beneficial to the corpus with sparse relations.
Revised:  The strategy of classifying a single relation each time achieves a higher classification accuracy than the strategy of identifying multiple relations at one time is beneficial to the corpus with sparse relations.
Edit intent: clarity
Original:  Our results offer recommendations to the stakeholders of digital libraries for selecting the appropriate technique to build a structured knowledge-based system for the ease of scholarly information organization.
Revised:  Our results offer recommendations to the stakeholders of digital libraries for selecting the appropriate technique to build knowledge-graph-based systems for enhanced scholarly information organization.
Edit intent: clarity
Original:  We pre-train an Oscar model on the public corpus of 6.5 million text-image pairs, and fine-tune it to downstream tasks, creating new state-of-the-arts on six well-established vision-language understanding and generation tasks.
Revised:  We pre-train an Oscar model on the public corpus of 6.5 million text-image pairs, and fine-tune it on downstream tasks, creating new state-of-the-arts on six well-established vision-language understanding and generation tasks.
Edit intent: fluency
Original:  In this work we use COVID-19 as a use-case for investigating: (i) which toos and frameworkds are mostly used for early scholarly communication;
Revised:  In this work we use COVID-19 as a use-case for investigating: (i) which tools and frameworks are mostly used for early scholarly communication;
Edit intent: fluency
Original:  We use our brokerage tapes to conduct a natural experiment assuming that tapes correspond to randomly assigned, informed and uninformed traders  .
Revised:  Regulatory brokerage tapes were used to conduct a natural experiment assuming that tapes correspond to randomly assigned, informed and uninformed traders .
Edit intent: clarity
Original:  In this paper, we present a physics-incorporated deep learning framework to model and predict the spatiotemporal evolution of dynamical systems governed by partially-known inhomogenous PDEs with unobservable source dynamics .
Revised:  In this paper, we present a hybrid framework combining physics-based numerical models with deep learning for source identification and forecasting of spatio-temporal dynamical systems with unobservable time-varying external sources .
Edit intent: clarity
Original:  We formulate our model PhICNet as a convolutional recurrent neural network  which is end-to-end trainable for spatiotemporal evolution prediction of dynamical systems  . Experimental results show the long-term prediction capability of our model .
Revised:  We formulate our model PhICNet as a convolutional recurrent neural network (RNN) which is end-to-end trainable for spatiotemporal evolution prediction of dynamical systems . Experimental results show the long-term prediction capability of our model .
Edit intent: clarity
Original:  We formulate our model PhICNet as a convolutional recurrent neural network  which is end-to-end trainable for spatiotemporal evolution prediction of dynamical systems  . Experimental results show the long-term prediction capability of our model .
Revised:  We formulate our model PhICNet as a convolutional recurrent neural network which is end-to-end trainable for spatio-temporal evolution prediction of dynamical systems . Experimental results show the long-term prediction capability of our model .
Edit intent: fluency
Original: Given a collection of n points in R^d, the goal of the (k,z)-clustering problem is to find a subset of k ``centers'' that minimizes the sum of the z-th powers of the Euclidean distance of each point to the closest center.
Revised: Given a collection of n points in R^d, the goal of the (k,z)-clustering problem is to find a subset of k "centers" that minimizes the sum of the z-th powers of the Euclidean distance of each point to the closest center.
Edit intent: fluency
Original:  Optimal error estimates in L^2-norm for the stress and displacement are derived , which are uniform with respect to the Lam\'e constant \lambda .
Revised:  Optimal error estimates in L^2-norm for the stress and displacement are derived .
Edit intent: clarity
Original: The novel coronavirus SARS-CoV-2 and resulting COVID-19 disease have had an unprecedented spread and continue to cause a increasing number of fatalities worldwide.
Revised: The novel coronavirus SARS-CoV-2 and resulting COVID-19 disease have had an unprecedented spread and continue to cause an increasing number of fatalities worldwide.
Edit intent: fluency
Original:  While vaccines are still under development, social distancing, extensive testing, and quarantine of confirmed infected subjects remain the most effective measures to contain the pandemic.
Revised:  While vaccines are still under development, social distancing, extensive testing, and quarantining of confirmed infected subjects remain the most effective measures to contain the pandemic.
Edit intent: fluency
Original:  Group testing is a method in which multiple samples are pooled together in groups and fewer tests are performed tests on these groups to discern all the infected samples.
Revised:  Group testing is a method in which multiple samples are pooled together in groups and fewer tests are performed on these groups to discern all the infected samples.
Edit intent: fluency
Original: We provide a graphical treatment of SAT and \# SAT on equal footing.
Revised: We provide a graphical treatment of SAT and SAT on equal footing.
Edit intent: coherence
Original:  Instances of \# SAT can be represented as tensor networks in a standard way.
Revised:  Instances of SAT can be represented as tensor networks in a standard way.
Edit intent: clarity
Original:  These tensor networks are interpreted by diagrams of the ZH-calculus: a system to reason about tensors over \mathbb{C in terms of diagrams built from simple generators, in which computation may be carried out by \emph{transformations of diagrams alone .
Revised:  These tensor networks are interpreted by diagrams of the ZH-calculus: a system to reason about tensors over C in terms of diagrams built from simple generators, in which computation may be carried out by \emph{transformations of diagrams alone .
Edit intent: coherence
Original:  These tensor networks are interpreted by diagrams of the ZH-calculus: a system to reason about tensors over \mathbb{C in terms of diagrams built from simple generators, in which computation may be carried out by \emph{transformations of diagrams alone .
Revised:  These tensor networks are interpreted by diagrams of the ZH-calculus: a system to reason about tensors over \mathbb{C in terms of diagrams built from simple generators, in which computation may be carried out by \emph{transformations of diagrams alone .
Edit intent: fluency
Original:  for the standard representation of \# SAT instances, the coefficients take the value 0 or 1.
Revised:  for the standard representation of SAT instances, the coefficients take the value 0 or 1.
Edit intent: clarity
Original:  Thus, by interpreting a diagram either over the boolean semiring or the complex numbers, we instantiate either the decision orcounting version of the problem.
Revised:  Thus, by interpreting a diagram either over the boolean semiring or the complex numbers, we instantiate either the orcounting version of the problem.
Edit intent: clarity
Original:  Thus, by interpreting a diagram either over the boolean semiring or the complex numbers, we instantiate either the decision orcounting version of the problem.
Revised:  Thus, by interpreting a diagram either over the boolean semiring or the complex numbers, we instantiate either the decision counting version of the problem.
Edit intent: fluency
Original:  Thus, by interpreting a diagram either over the boolean semiring or the complex numbers, we instantiate either the decision orcounting version of the problem.
Revised:  Thus, by interpreting a diagram either over the boolean semiring or the complex numbers, we instantiate either the decision ordecision or counting version of the problem.
Edit intent: fluency