wanyu/IteraTeR_v2 huggingface dataset:
Original:  Paper-level analysis reveals notable episodes of disagreement in science, and illustrates how methodological artefacts can confound analyses of scientific texts.
Revised:  Paper-level analysis reveals notable episodes of disagreement in science, and illustrates how methodological artifacts can confound analyses of scientific texts.
Edit intent: fluency
Original:  We show that the class of preorders for which these so-called injective monotones exist , lies in between the class of preorders with strict monotones and preorders with utility functions .
Revised:  We show that the class of preorders for which they exist lies in between the class of preorders with strict monotones and preorders with utility functions .
Edit intent: clarity
Original: Transformers have made much progress in dealing with visual tasks.
Revised: Transformers have made great progress in dealing with visual tasks.
Edit intent: clarity
Original: Transformers have made much progress in dealing with visual tasks.
Revised: Transformers have made much progress in dealing with computer vision tasks.
Edit intent: clarity
Original:  However, existing vision transformers still do not possess an ability that is important to visual input: building the attention among features of different scales  .
Revised:  However, existing vision transformers do not yet possess the ability of building the interactions among features of different scales .
Edit intent: clarity
Original:  The reasons for this problem are two-fold: (1) Input embeddings of each layer are equal-scale without cross-scale features ;
Revised:  The reasons are two-fold: (1) Input embeddings of each layer are equal-scale without cross-scale features ;
Edit intent: coherence
Original:  The reasons for this problem are two-fold: (1) Input embeddings of each layer are equal-scale without cross-scale features ;
Revised:  The reasons for this problem are two-fold: (1) Input embeddings of each layer are equal-scale , so no cross-scale features ;
Edit intent: clarity
Original:  (2) Some vision transformers sacrifice the small-scale features of embeddings to lower the cost of the self-attention module.
Revised:  (2) to lower the computational cost, some vision transformers merge adjacent embeddings inside the self-attention module.
Edit intent: clarity
Original:  In particular , CEL blends each embedding with multiple patches of different scales, providing the model with cross-scale embeddings.
Revised:  On the one hand , CEL blends each embedding with multiple patches of different scales, providing the model with cross-scale embeddings.
Edit intent: coherence
Original:  In particular , CEL blends each embedding with multiple patches of different scales, providing the model with cross-scale embeddings.
Revised:  In particular , CEL blends each embedding with multiple patches of different scales, providing the model with cross-scale features. On the other hand,
Edit intent: clarity
Original:  LSDA splits the self-attention module into a short-distance and long-distance one, also lowering the cost but keeping both small-scale and large-scale features in  embeddings.
Revised:  LSDA splits the self-attention module into a short-distance one and a long-distance one, also lowering the cost but keeping both small-scale and large-scale features in embeddings.
Edit intent: fluency
Original:  LSDA splits the self-attention module into a short-distance and long-distance one, also lowering the cost but keeping both small-scale and large-scale features in  embeddings.
Revised:  LSDA splits the self-attention module into a short-distance and long-distance counterpart, which not only reduces the computational burden but also keeps both small-scale and large-scale features in embeddings.
Edit intent: clarity
Original:  LSDA splits the self-attention module into a short-distance and long-distance one, also lowering the cost but keeping both small-scale and large-scale features in  embeddings.
Revised:  LSDA splits the self-attention module into a short-distance and long-distance one, also lowering the cost but keeping both small-scale and large-scale features in the embeddings.
Edit intent: fluency
Original:  Through these two designs, we achieve cross-scale attention.
Revised:  Through the above two designs, we achieve cross-scale attention.
Edit intent: clarity
Original:  Besides, we propose dynamic position bias for vision transformers to make the popular relative position bias apply to variable-sized images.
Revised:  Besides, we put forward a dynamic position bias for vision transformers to make the popular relative position bias apply to variable-sized images.
Edit intent: clarity
Original:  Experiments show that CrossFormer outperforms other transformers on several representative visual tasks, especially object detectionand segmentation .
Revised:  Experiments show that CrossFormer outperforms the other vision transformers on image classification, object detection, instance segmentation, and semantic segmentation tasks .
Edit intent: clarity
Original:  Since the face is a 3D deformation object, the occurrence of an expression can arouse spatial deformation of the face, but limited by the available databases are 2D videos, which lack the description of 3D spatial information of micro-expressions.
Revised:  Since the face is a 3D deformation object, the occurrence of an expression can arouse spatial deformation of the face, but limited by the available databases are 2D videos, lacking the description of 3D spatial information of micro-expressions.
Edit intent: coherence
Original:  We extracted facial 2D and 3D features using  local binary patterns on three orthogonal planes and curvature descriptors , respectively, and performed baseline evaluations of the two features and their fusion results with leave-one-subject-out (LOSO) and 10-fold cross-validation methods.
Revised:  We extracted 2D and 3D features using local binary patterns on three orthogonal planes and curvature descriptors , respectively, and performed baseline evaluations of the two features and their fusion results with leave-one-subject-out (LOSO) and 10-fold cross-validation methods.
Edit intent: clarity
Original:  We extracted facial 2D and 3D features using  local binary patterns on three orthogonal planes and curvature descriptors , respectively, and performed baseline evaluations of the two features and their fusion results with leave-one-subject-out (LOSO) and 10-fold cross-validation methods.
Revised:  We extracted facial 2D and 3D features using the local binary patterns on three orthogonal planes and curvature descriptors , respectively, and performed baseline evaluations of the two features and their fusion results with leave-one-subject-out (LOSO) and 10-fold cross-validation methods.
Edit intent: fluency
Original:  Besides, they only focus on homogeneous trajectory prediction , namely those among agents of the same category , while neglecting people's diverse reaction patterns toward traffic agents in different categories.
Revised:  Besides, they treat heterogeneous traffic agents the same , namely those among agents of the same category , while neglecting people's diverse reaction patterns toward traffic agents in different categories.
Edit intent: clarity
Original:  Besides, they only focus on homogeneous trajectory prediction , namely those among agents of the same category , while neglecting people's diverse reaction patterns toward traffic agents in different categories.
Revised:  Besides, they only focus on homogeneous trajectory prediction , namely those among agents of different categories , while neglecting people's diverse reaction patterns toward traffic agents in different categories.
Edit intent: clarity
Original:  Besides, they only focus on homogeneous trajectory prediction , namely those among agents of the same category , while neglecting people's diverse reaction patterns toward traffic agents in different categories.
Revised:  Besides, they only focus on homogeneous trajectory prediction , namely those among agents of the same category , while neglecting people's diverse reaction patterns toward traffic agents in ifferent categories.
Edit intent: clarity
Original:  To address these problems, we propose a simple yet effective Unlimited Neighborhood Interaction Network (UNIN), which predicts trajectories of heterogeneous agents in multiply categories.
Revised:  To address these problems, we propose a simple yet effective Unlimited Neighborhood Interaction Network (UNIN), which predicts trajectories of heterogeneous agents in multiple categories.
Edit intent: clarity
Original:  Meanwhile, a hierarchical graph attention module is proposed to obtain category-tocategory interaction and agent-to-agent interaction.
Revised:  Meanwhile, a hierarchical graph attention module is proposed to obtain category-to-category interaction and agent-to-agent interaction.
Edit intent: fluency
Original:  Extensive experimental results on benchmark datasets demonstrate a significant performance improvement of our method over the state-ofthe-art methods.
Revised:  Extensive experimental results on benchmark datasets demonstrate a significant performance improvement of our method over the state-of-the-art methods.
Edit intent: fluency
Original: The 6G vision is envisaged to enable agile network expansion and rapid deployment of new on-demand microservices ( i.e. , visibility services for data traffic management, mobile edge computing services) closer to the network's edge IoT devices.
Revised: The 6G vision is envisaged to enable agile network expansion and rapid deployment of new on-demand microservices ( e.g. , visibility services for data traffic management, mobile edge computing services) closer to the network's edge IoT devices.
Edit intent: fluency
Original:  Our result accurately predicts the statistical characteristics of data traffic and verify against the ground truth observations.
Revised:  Our result accurately predicts the statistical characteristics of data traffic and verifies the trained model against the ground truth observations.
Edit intent: clarity
Original:  Moreover, we validate our novel framework model with two performance metrics for each feature of the multivariate data.
Revised:  Moreover, we validate our novel framework with two performance metrics for each feature of the multivariate data.
Edit intent: clarity
Original:  This paper first shows that a type of weak white-box attacks can fail state-of-the-art methods.
Revised:  This paper first shows that a type of weak white-box attacks can overwhelm state-of-the-art methods.
Edit intent: clarity
Original:  This paper proposes to rethink the learnable DNN-based feature backbone towards adversarially-robust and domain generalizable stereo matching , either by completely removing it or by applying it only to the left reference image.
Revised:  This paper proposes to rethink the learnable DNN-based feature backbone towards adversarially-robust and domain generalizable stereo matching by completely removing it or by applying it only to the left reference image.
Edit intent: coherence
Original:  In the current study , we explored the cognitive ability structure derived from positive and negative networks reflected by the brain's anatomical properties (thickness, myelination, curvature, and sulcus depth) that were found to be associated with performance in 15 cognitive tasks .
Revised:  In the current study , we explored the cognitive ability structure derived from neuroanatomical networks associated with performance in 15 cognitive tasks .
Edit intent: clarity
Original:  Overall, we observed that the brain-derived ontological structures are partly consistent with each other, but also show interesting differences that complement the psychometric ontology.
Revised:  Overall, we observed that the brain-derived (neurometric) ontology is partly consistent with each other, but also show interesting differences that complement the psychometric ontology.
Edit intent: clarity
Original:  Moreover, we discovered that brain areas associated with the inferred abilities are segregated, with little or no overlap between abilities .
Revised:  Moreover, we discovered that brain areas associated with the inferred abilities are segregated, with little or no overlap .
Edit intent: clarity
Original:  Nevertheless, they are also integrated as they are densely connected by white matter projections with an average connection density higher than the brain connectome.
Revised:  Nevertheless, these spatially segregated cortical areas are integrated via denser white matter structural connections as compared with the general brain connectome.
Edit intent: clarity
Original:  The  consistency and differences between psychometric and neurometric ontologies are crucial for theory building, diagnostics, and neuropsychological therapy, which highlights the need for the simultaneous and complementary consideration .
Revised:  The consistency and differences between psychometric and neurometric ontologies represent crucial pieces of knowledge for theory building, diagnostics, and neuropsychological therapy, which highlights the need for the simultaneous and complementary consideration .
Edit intent: clarity
Original:  The  consistency and differences between psychometric and neurometric ontologies are crucial for theory building, diagnostics, and neuropsychological therapy, which highlights the need for the simultaneous and complementary consideration .
Revised:  The consistency and differences between psychometric and neurometric ontologies are crucial for theory building, clinical diagnostics and treatment .
Edit intent: clarity
Original: Massive Machine Type Communications (mMTC) are one of the three types of services that should be supported by 5G networks.
Revised: Massive Machine-Type Communications (mMTC) are one of the three types of services that should be supported by 5G networks.
Edit intent: fluency
Original:  What are the relationships among these uses of the term?
Revised:  What is the relationship among these uses of the term?
Edit intent: fluency
Original:  The evolution of the animals (metazoans) from unicellular holozoans was accompanied by the addition of novel gene products which mediated the constitution of the resulting cell clusters as liquid-, liquid crystal-, and solid-like materials with protean morphogenetic propensities.
Revised:  The evolution of the animals (metazoans) from unicellular holozoans was accompanied by the addition of novel gene products which mediated the constitution the resulting cell clusters as liquid-, liquid crystal-, and solid-like materials with protean morphogenetic propensities.
Edit intent: fluency
Original:  The evolution of the animals (metazoans) from unicellular holozoans was accompanied by the addition of novel gene products which mediated the constitution of the resulting cell clusters as liquid-, liquid crystal-, and solid-like materials with protean morphogenetic propensities.
Revised:  The evolution of the animals (metazoans) from unicellular holozoans was accompanied by the addition of novel gene products which mediated the constitution of the resulting cell clusters as liquid-, liquid crystal-, and solid-like materials with versatile morphogenetic propensities.
Edit intent: clarity
Original:  These effects provided evolutionary templates for embryonic forms and morphological motifs of diverse metazoan lineages.
Revised:  These effects provided evolutionary templates for embryonic forms and morphological motifs of metazoan lineages.
Edit intent: clarity
Original:  Using the examples of gastrulation, somitogenesis, and limb skeletal development, this chapter provides instances of, and a conceptual framework for understanding, the relationships between  physical and evolved types of developmental self-organization.
Revised:  Using the examples of gastrulation, somitogenesis, and limb skeletal development, I provide instances of, and a conceptual framework for understanding, the relationships between physical and evolved types of developmental self-organization.
Edit intent: coherence
Original: Recently, Information Retrieval community has witnessed fast-paced advances in Dense Retrieval (DR), which performs first-stage retrieval by encoding documents in a low-dimensional embedding space and querying them with embedding-based search.
Revised: Recently, Information Retrieval community has witnessed fast-paced advances in Dense Retrieval (DR), which performs first-stage retrieval with embedding-based search.
Edit intent: coherence
Original:  To overcome these problems, vector compression methods , a branch of Approximate Nearest Neighbor Search (ANNS), have been adopted in many practical embedding-based retrieval applications.
Revised:  To overcome these problems, vector compression methods have been adopted in many practical embedding-based retrieval applications.
Edit intent: coherence
Original:  Experimental results show that JPQ significantly outperforms existing popular vector compression methods in terms of different trade-off settings . Compared with previous DR models that use brute-force search, JPQ almost matches the best retrieval performance with 30x compression on index size.
Revised:  Experimental results show that JPQ significantly outperforms popular vector compression methods in terms of different trade-off settings . Compared with previous DR models that use brute-force search, JPQ almost matches the best retrieval performance with 30x compression on index size.
Edit intent: clarity
Original:  Experimental results show that JPQ significantly outperforms existing popular vector compression methods in terms of different trade-off settings . Compared with previous DR models that use brute-force search, JPQ almost matches the best retrieval performance with 30x compression on index size.
Revised:  Experimental results show that JPQ significantly outperforms existing popular vector compression methods . Compared with previous DR models that use brute-force search, JPQ almost matches the best retrieval performance with 30x compression on index size.
Edit intent: coherence
Original:  To begin with, we implement (constrained) zonotope techniques to partition the state space and further to verify whether the LTL specification can be satisfied .
Revised:  To begin with, we implement (constrained) zonotope techniques to partition the state space and further to verify whether the LTL specification can be achieved .
Edit intent: clarity
Original:  Once the LTL specification can be satisfied , the next step is to design a controller to guarantee the satisfaction of the LTL specification for dynamic systems.
Revised:  Once the LTL specification can be achieved , the next step is to design a controller to guarantee the satisfaction of the LTL specification for dynamic systems.
Edit intent: clarity
Original:  To begin with , we implement (constrained) zonotope techniques to partition the state space and further to verify whether the LTL specification can be achieved .
Revised:  First , we implement (constrained) zonotope techniques to partition the state space and further to verify whether the LTL specification can be achieved .
Edit intent: coherence
Original:  To begin with , we implement (constrained) zonotope techniques to partition the state space and further to verify whether the LTL specification can be achieved .
Revised:  To begin with , we implement (constrained) zonotope techniques to partition the state space and further to verify whether the LTL specification can be satisfied .
Edit intent: clarity
Original:  Once the LTL specification can be achieved , the next step is to design a controller to guarantee the satisfaction of the LTL specification for dynamic systems.
Revised:  Once the LTL specification can be satisfied , the next step is to design a controller to guarantee the satisfaction of the LTL specification for dynamic systems.
Edit intent: clarity
Original:  The proposed control design strategy is illustrated via a numerical example from autonomous robots.
Revised:  The proposed control strategy is illustrated via a numerical example from autonomous robots.
Edit intent: clarity
Original:  Accordingly, we formulate a new N-step nonblocking supervisory control problem , and characterize its solvability in terms of a new concept of N-step language completability .
Revised:  Accordingly, we formulate a new N-step nonblocking supervisory control problem , and characterize their solvabilities in terms of a new concept of N-step language completability .
Edit intent: fluency
Original:  It is proved that there exists a unique supremal N-step completable sublanguage of a given language, and we develop a generator-based algorithm to compute the supremal sublanguage .
Revised:  It is proved that there exists a unique supremal N-step completable sublanguage of a given language, and we develop generator-based algorithm to compute the supremal sublanguage .
Edit intent: fluency
Original:  It is proved that there exists a unique supremal N-step completable sublanguage of a given language, and we develop a generator-based algorithm to compute the supremal sublanguage .
Revised:  It is proved that there exists a unique supremal N-step completable sublanguage of a given language, and we develop a generator-based algorithms to compute the supremal sublanguage .
Edit intent: fluency
Original:  It is proved that there exists a unique supremal N-step completable sublanguage of a given language, and we develop a generator-based algorithm to compute the supremal sublanguage .
Revised:  It is proved that there exists a unique supremal N-step completable sublanguage of a given language, and we develop a generator-based algorithm to compute the supremal sublanguages .
Edit intent: fluency
Original:  Finally, together with the supremal controllable sublanguage, we design an algorithm to compute a maximally permissive supervisory control solution to the new N-step nonblocking supervisory control problem .
Revised:  Finally, combining with the algorithm of computing the supremal controllable sublanguage, we design an algorithm to compute a maximally permissive supervisory control solution to the new N-step nonblocking supervisory control problem .
Edit intent: clarity
Original:  Finally, together with the supremal controllable sublanguage, we design an algorithm to compute a maximally permissive supervisory control solution to the new N-step nonblocking supervisory control problem .
Revised:  Finally, together with the supremal controllable sublanguage, we design an algorithm to compute a maximally permissive supervisory control solution to the new N-step nonblocking supervisory control problems .
Edit intent: fluency
Original:  Code is available at URL 
Revised:  Code is available at URL .
Edit intent: fluency
Original: Echocardiography is a non-invasive diagnostic tool which can be performed on children of all ages including foetuses and new-borns, due to the fact that no radiation is involved  No historical bibliometric study of influential papers in paediatric echocardiography has been performed yet, so our study was aimed to close this gap.
Revised: Echocardiography is a non-invasive diagnostic tool which can be performed on children of all ages including foetuses and new-borns, due to the fact that no radiation is involved . No historical bibliometric study of influential papers in paediatric echocardiography has been performed yet, so our study was aimed to close this gap.
Edit intent: fluency
Original: Echocardiography is a non-invasive diagnostic tool which can be performed on children of all ages including foetuses and new-borns, due to the fact that no radiation is involved  No historical bibliometric study of influential papers in paediatric echocardiography has been performed yet, so our study was aimed to close this gap.
Revised: Echocardiography is a non-invasive diagnostic tool which can be performed on children of all ages including foetuses and new-borns, due to the fact that no radiation is involved No historical bibliometric study or influential papers in paediatric echocardiography has been performed yet, so our study was aimed to close this gap.
Edit intent: fluency
Original:   35 influential papers were identified.
Revised:  We identified 35 influential papers were identified.
Edit intent: clarity