wanyu/IteraTeR_v2 huggingface dataset:
Original:  The Julia package GraphMatFun.jl offers the tools to generate and manipulate computational graphs, to optimize their coefficients, and to generate Julia, MATLAB, and C code to evaluate them efficiently  .
Revised:  The Julia package GraphMatFun.jl offers the tools to generate and manipulate computational graphs, optimize their coefficients, and to generate Julia, MATLAB, and C code to evaluate them efficiently .
Edit intent: fluency
Original:  The Julia package GraphMatFun.jl offers the tools to generate and manipulate computational graphs, to optimize their coefficients, and to generate Julia, MATLAB, and C code to evaluate them efficiently  .
Revised:  The Julia package GraphMatFun.jl offers the tools to generate and manipulate computational graphs, to optimize their coefficients, and generate Julia, MATLAB, and C code to evaluate them efficiently .
Edit intent: fluency
Original:  The software also provides the means to estimate the accuracy of an algorithm and thus obtain numerically reliable methods.
Revised:  The software also provides tools to estimate the accuracy of an algorithm and thus obtain numerically reliable methods.
Edit intent: clarity
Original:  For the matrix exponential, for example, using a particular form (degree-optimal) of polynomials produces algorithms that are cheaper, in terms of computational cost, than the Pad\'e-based techniques typically used in mathematical software.
Revised:  For the exponential, for example, using a particular form (degree-optimal) of polynomials produces algorithms that are cheaper, in terms of computational cost, than the Pad\'e-based techniques typically used in mathematical software.
Edit intent: clarity
Original:  For the matrix exponential, for example, using a particular form (degree-optimal) of polynomials produces algorithms that are cheaper, in terms of computational cost, than the Pad\'e-based techniques typically used in mathematical software.
Revised:  For the matrix exponential, for example, using a particular form (degree-optimal) of polynomials produces implementations that in many cases are cheaper, in terms of computational cost, than the Pad\'e-based techniques typically used in mathematical software.
Edit intent: clarity
Original:  There are two types of stress: distress refers to harmful stimuli, while eustress refers to healthy, euphoric stimuli that create a sense of fulfillment and achievement.
Revised:  There are two types of stress: distress refers to harmful stimuli, while eustress refers to healthy, euphoric stimuli that create a sense of fulfillment and achievement.
Edit intent: fluency
Original:  We proposed a new methodology that places each company on a stress-by-rating quadrant (based on its overall stress score and overall rating on the site), and accordingly scores the company to be, on average, either a low stress ,passive ,negative stress , or\emph{positive stress company.
Revised:  We proposed a new methodology that places each company on a stress-by-rating quadrant (based on its overall stress score and overall rating on the site), and accordingly scores the company to be, on average, either a ,passive ,negative stress , or\emph{positive stress company.
Edit intent: clarity
Original:  We proposed a new methodology that places each company on a stress-by-rating quadrant (based on its overall stress score and overall rating on the site), and accordingly scores the company to be, on average, either a low stress ,passive ,negative stress , or\emph{positive stress company.
Revised:  We proposed a new methodology that places each company on a stress-by-rating quadrant (based on its overall stress score and overall rating on the site), and accordingly scores the company to be, on average, either a low stress passive ,negative stress , or\emph{positive stress company.
Edit intent: fluency
Original:  We proposed a new methodology that places each company on a stress-by-rating quadrant (based on its overall stress score and overall rating on the site), and accordingly scores the company to be, on average, either a low stress ,passive ,negative stress , or\emph{positive stress company.
Revised:  We proposed a new methodology that places each company on a stress-by-rating quadrant (based on its overall stress score and overall rating on the site), and accordingly scores the company to be, on average, either a low stress , ,negative stress , or\emph{positive stress company.
Edit intent: clarity
Original:  We proposed a new methodology that places each company on a stress-by-rating quadrant (based on its overall stress score and overall rating on the site), and accordingly scores the company to be, on average, either a low stress ,passive ,negative stress , or\emph{positive stress company.
Revised:  We proposed a new methodology that places each company on a stress-by-rating quadrant (based on its overall stress score and overall rating on the site), and accordingly scores the company to be, on average, either a low stress ,passive negative stress , or\emph{positive stress company.
Edit intent: fluency
Original:  We proposed a new methodology that places each company on a stress-by-rating quadrant (based on its overall stress score and overall rating on the site), and accordingly scores the company to be, on average, either a low stress ,passive ,negative stress , or\emph{positive stress company.
Revised:  We proposed a new methodology that places each company on a stress-by-rating quadrant (based on its overall stress score and overall rating on the site), and accordingly scores the company to be, on average, either a low stress ,passive , , or\emph{positive stress company.
Edit intent: fluency
Original:  We proposed a new methodology that places each company on a stress-by-rating quadrant (based on its overall stress score and overall rating on the site), and accordingly scores the company to be, on average, either a low stress ,passive ,negative stress , or\emph{positive stress company.
Revised:  We proposed a new methodology that places each company on a stress-by-rating quadrant (based on its overall stress score and overall rating on the site), and accordingly scores the company to be, on average, either a low stress ,passive ,negative stress \emph{positive stress company.
Edit intent: fluency
Original:  The effectiveness of each module is shown through a carefully conducted ablation study and the demonstration of the state-of-the-art performance on two indoor datasets, \ie, EuRoC and NYUv2  .
Revised:  The effectiveness of each module is shown through a carefully conducted ablation study and the demonstration of the state-of-the-art performance on two indoor datasets, \ie, EuRoC , NYUv2 .
Edit intent: coherence
Original:  In this model the option time-value can be represented as an integral of the form V(T) = 0^\infty e^{-u^2{2T}} g(u) du with g(u) a ``payoff function'' which is given by an integral over the McKean kernel G(s,t).
Revised:  In this model the option time-value can be represented as an integral of the form V(T) = 0^\infty e^{-u^2{2T}} g(u) du with g(u) a "payoff function" which is given by an integral over the McKean kernel G(s,t).
Edit intent: fluency
Original:  When viewing mice on the shelf, the number of buttons or presence of a wire may not be visible from certain angles or positions.
Edit intent: coherence
Original:  Flat images of candidate mice may not provide the discriminative information needed for "wireless ".
Revised:  Flat images of candidate mice may not provide the discriminative information needed for "wireless ."
Edit intent: fluency
Original:  Our new benchmark, ShapeNet Annotated with Referring Expressions (SNARE) , requires a model to choose which of two objects is being referenced by a natural language description.
Revised:  Our new benchmark, ShapeNet Annotated with Referring Expressions (SNARE) requires a model to choose which of two objects is being referenced by a natural language description.
Edit intent: fluency
Original:  We introduce several CLIP-based models for distinguishing objects and demonstrate that while recent advances in jointly modeling vision and language are useful for robotic language understanding, it is still the case that these  models are weaker at understanding the 3D nature of objects -- properties which play a key role in manipulation.
Revised:  We introduce several CLIP-based models for distinguishing objects and demonstrate that while recent advances in jointly modeling vision and language are useful for robotic language understanding, it is still the case that these image-based models are weaker at understanding the 3D nature of objects -- properties which play a key role in manipulation.
Edit intent: clarity
Original:  In particular, we find that adding view estimation to language grounding models improves accuracy on both SNARE and when identifying objects referred to in language on a robot platform  .
Revised:  We find that adding view estimation to language grounding models improves accuracy on both SNARE and when identifying objects referred to in language on a robot platform .
Edit intent: coherence
Original:  In our work, we use pretrained StyleGAN2 ~\mbox{ karras2020analyzing generative model: clustering in the feature space of the generative model allows to discover semantic classes.
Revised:  In our work, we use pretrained StyleGAN2 generative model: clustering in the feature space of the generative model allows to discover semantic classes.
Edit intent: clarity
Original:  Additionally, by using CLIP ~\mbox{ radford2021learning we are able to use prompts defined in a natural language to discover some desired semantic classes.
Revised:  Additionally, by using CLIP we are able to use prompts defined in a natural language to discover some desired semantic classes.
Edit intent: coherence
Original: We propose a self-supervised spatio-temporal matching method  coined Motion-Aware Mask Propagation (MAMP) for semi-supervised video object segmentation.
Revised: We propose a self-supervised spatio-temporal matching method , coined Motion-Aware Mask Propagation (MAMP) for semi-supervised video object segmentation.
Edit intent: fluency
Original: We propose a self-supervised spatio-temporal matching method  coined Motion-Aware Mask Propagation (MAMP) for semi-supervised video object segmentation.
Revised: We propose a self-supervised spatio-temporal matching method coined Motion-Aware Mask Propagation (MAMP) , for video object segmentation.
Edit intent: clarity
Original:  During training, MAMP leverages the frame reconstruction task to train the model without the need for annotations.
Revised:  MAMP leverages the frame reconstruction task to train the model without the need for annotations.
Edit intent: clarity
Original:  During training, MAMP leverages the frame reconstruction task to train the model without the need for annotations.
Revised:  During training, MAMP leverages the frame reconstruction task for training without the need for annotations.
Edit intent: clarity
Original:  also proposed in this paper . Evaluation on DAVIS-2017 and YouTube-VOS datasets show that MAMP achieves state-of-the-art performance with stronger generalization ability compared to existing self-supervised methods, i.e. 4.9%DIFDELCMD < \\%%% %DIF < higher mean \mathcal{J\&F }   on DAVIS-2017 and 4.85 %DIFDELCMD < \\%%% %DIF < higher mean \mathcal{J\&F }   on the unseen categories of YouTube-VOS than the nearest competitor.
Revised:  also proposed in this paper . Evaluation on DAVIS-2017 and YouTube-VOS datasets show that MAMP achieves state-of-the-art performance with stronger generalization ability compared to existing self-supervised methods, i.e. %DIFDELCMD < \\%%% %DIF < higher mean \mathcal{J\&F } on DAVIS-2017 and 4.85 %DIFDELCMD < \\%%% %DIF < higher mean \mathcal{J\&F } on the unseen categories of YouTube-VOS than the nearest competitor.
Edit intent: clarity
Original:  also proposed in this paper . Evaluation on DAVIS-2017 and YouTube-VOS datasets show that MAMP achieves state-of-the-art performance with stronger generalization ability compared to existing self-supervised methods, i.e. 4.9%DIFDELCMD < \\%%% %DIF < higher mean \mathcal{J\&F }   on DAVIS-2017 and 4.85 %DIFDELCMD < \\%%% %DIF < higher mean \mathcal{J\&F }   on the unseen categories of YouTube-VOS than the nearest competitor.
Revised:  also proposed in this paper . Evaluation on DAVIS-2017 and YouTube-VOS datasets show that MAMP achieves state-of-the-art performance with stronger generalization ability compared to existing self-supervised methods, i.e. 4.9%DIFDELCMD < \\%%% %DIF < higher mean \&F } on DAVIS-2017 and 4.85 %DIFDELCMD < \\%%% %DIF < higher mean \mathcal{J\&F } on the unseen categories of YouTube-VOS than the nearest competitor.
Edit intent: fluency
Original:  also proposed in this paper . Evaluation on DAVIS-2017 and YouTube-VOS datasets show that MAMP achieves state-of-the-art performance with stronger generalization ability compared to existing self-supervised methods, i.e. 4.9%DIFDELCMD < \\%%% %DIF < higher mean \mathcal{J\&F }   on DAVIS-2017 and 4.85 %DIFDELCMD < \\%%% %DIF < higher mean \mathcal{J\&F }   on the unseen categories of YouTube-VOS than the nearest competitor.
Revised:  also proposed in this paper . Evaluation on DAVIS-2017 and YouTube-VOS datasets show that MAMP achieves state-of-the-art performance with stronger generalization ability compared to existing self-supervised methods, i.e. 4.9%DIFDELCMD < \\%%% %DIF < higher mean \mathcal{J\&F } on DAVIS-2017 and 4.85 %DIFDELCMD < \\%%% %DIF < higher mean \&F } on the unseen categories of YouTube-VOS than the nearest competitor.
Edit intent: fluency
Original:  Moreover, MAMP performs on par with many supervised video object segmentation methods.
Revised:  Moreover, MAMP performs at par with many supervised video object segmentation methods.
Edit intent: fluency
Original:  The approach presents accuracy performances comparable to state-of-the-art techniques, but with additional benefit to be real-time.
Revised:  The approach presents accuracy performances comparable to state-of-the-art techniques, but with the additional benefit of being real-time.
Edit intent: fluency
Original: Acoustic and visual sensing can support the contactless estimation of the weight of a container and the amount of its content when the container is manipulated by a person .
Revised: Acoustic and visual sensing can support the contactless estimation of the weight of a container and the amount of its content when a person manipulate them .
Edit intent: clarity
Original:  In this paper, we present an open benchmarking framework and an in-depth comparative analysis of recent methods that estimate the capacity of a container, as well as the type, mass, and amount of its content.
Revised:  In this paper, we present an open framework to benchmark methods for the estimation of the capacity of a container, as well as the type, mass, and amount of its content.
Edit intent: clarity
Original:  In this paper, we present an open benchmarking framework and an in-depth comparative analysis of recent methods that estimate the capacity of a container, as well as the type, mass, and amount of its content.
Revised:  In this paper, we present an open benchmarking framework and an in-depth comparative analysis of recent methods that estimate the capacity of a container, and the type, mass, and amount of its content.
Edit intent: coherence
Original:  These methods use learned and handcrafted features, such as mel-frequency cepstrum coefficients, zero-crossing rate, spectrograms, with different types of classifiers to estimate the type and amount of the content with acoustic data, and geometric approaches with visual data  to determine the capacity of the container.
Revised:  These methods use learned and handcrafted features, such as mel-frequency cepstrum coefficients, zero-crossing rate, spectrograms, with different types of classifiers to estimate the type and amount of the content with acoustic data, and geometric approaches with visual data are preferred to determine the capacity of the container.
Edit intent: clarity
Original:  Results on a newly distributed dataset show that audio alone is a strong modality and methods achieves a weighted average F1-score up to 81\% and 97\% for content type and level classification , respectively.
Revised:  Results show that classifying the content type and level with methods that use only audio as input modality achieves a weighted average F1-score up to 81\% and 97\% for content type and level classification , respectively.
Edit intent: clarity
Original:  Results on a newly distributed dataset show that audio alone is a strong modality and methods achieves a weighted average F1-score up to 81\% and 97\% for content type and level classification , respectively.
Revised:  Results on a newly distributed dataset show that audio alone is a strong modality and methods achieves a weighted average F1-score up to 81\% and 97\% , respectively.
Edit intent: clarity
Original: Quantum attacks on Feistel constructions have attracted much more attention from worldwide cryptologists.
Revised: Quantum attacks on Feistel constructions have attracted much attention from worldwide cryptologists.
Edit intent: clarity
Original:  Compared with quantum attacks in Q2 model, our attack reduce the time complexity from O({2 ^n }) to O({2^{ 7n / 8 }})  . Moreover, our attack belongs to Q1 model, which is more practical than Q2 model .
Revised:  Compared with quantum attacks in Q2 model, our attack reduces the time complexity from O({2 ^n }) to O({2^{ 7n / 8 }}) . Moreover, our attack belongs to Q1 model, which is more practical than Q2 model .
Edit intent: fluency
Original:  When compared with best classical attacks, our attack not only reduces the time complexity, but also reduces the data and memory complexity by 2^{n/2}%DIFDELCMD < } %%% and 2^{n/4}%DIFDELCMD < } %DIFDELCMD < %%% respectively .
Revised:  When compared with best classical attacks, our attack not only reduces the time complexity, but also reduces the data and memory complexity by }%DIFDELCMD < } %%% and 2^{n/4}%DIFDELCMD < } %DIFDELCMD < %%% respectively .
Edit intent: coherence
Original:  When compared with best classical attacks, our attack not only reduces the time complexity, but also reduces the data and memory complexity by 2^{n/2}%DIFDELCMD < } %%% and 2^{n/4}%DIFDELCMD < } %DIFDELCMD < %%% respectively .
Revised:  When compared with best classical attacks, our attack not only reduces the time complexity, but also reduces the data and memory complexity by 2^{n/2}%DIFDELCMD < } %%% 2^{n/4}%DIFDELCMD < } %DIFDELCMD < %%% respectively .
Edit intent: coherence
Original:  When compared with best classical attacks, our attack not only reduces the time complexity, but also reduces the data and memory complexity by 2^{n/2}%DIFDELCMD < } %%% and 2^{n/4}%DIFDELCMD < } %DIFDELCMD < %%% respectively .
Revised:  When compared with best classical attacks, our attack not only reduces the time complexity, but also reduces the data and memory complexity by 2^{n/2}%DIFDELCMD < } %%% and 2^{n/4}%DIFDELCMD < } %DIFDELCMD < %%% .
Edit intent: clarity
Original: Quantum attacks on Feistel constructions have attracted much attention from worldwide cryptologists .
Revised: Quantum attacks on Feistel constructions have attracted much attention from worldwide crytologists .
Edit intent: clarity
Original:  Inspired by Hosoyamada et al.'s work Hosoyamada2018A%DIFDELCMD < ]%%% , we have introduced quantum computing in the offline computation of the classic meet-in-the-middle (MITM) attack [Guo2016] .
Revised:  Inspired by Hosoyamada et al.'s work %DIFDELCMD < ]%%% , we have introduced quantum computing in the offline computation of the classic meet-in-the-middle (MITM) attack [Guo2016] .
Edit intent: clarity
Original:  Moreover, our attack belongs to Q1 model, which is more practical than Q2 model .
Revised:  Moreover, our attack belongs to Q1 model, which is more practical .
Edit intent: coherence
Original:  If true this is tight for all values of the parameters .
Revised:  We noted that if true this is tight for all values of the parameters .
Edit intent: coherence
Original:  The case r=2 is Kneser's conjecture, proved by Lov\'asz . Here we observe that the assertion also holds provided r is either a prime number or a power of 2. 
Revised:  The case r=2 is Kneser's conjecture, proved by Lov\'asz , and observed that the assertion also holds provided r is either a prime number or a power of 2. 
Edit intent: coherence
Original: With the rapid increase in digital technologies, most fields of study include recognition of human activity and intention recognition, which are important in smart environments.
Revised: With the rapid increase in digital technologies, most fields of study include recognition of human activity and intention recognition, which are essential in smart environments.
Edit intent: clarity
Original:  In this research, we introduce a real-time activity recognition to recognize people's intentions to pass or not pass a door .
Revised:  In this study, we equipped the activity recognition system with the ability to recognize intentions by affecting the pace of movement of individuals in the representation of images. Using this technology in various environments such as elevators and automatic doors will lead to identifying those who intend to pass the automatic door from those who are passing by .
Edit intent: coherence
Original:  This system, if applied in elevators and automatic doors  will save energy and increase efficiency.
Revised:  This system, if applied in elevators and automatic doors , will save energy and increase efficiency.
Edit intent: fluency
Original:  Our embedded system was implemented with an accuracy of 98.78\% on our Intention Recognition dataset.
Revised:  Our embedded system was implemented with an accuracy of 98.78\% on our intention recognition dataset.
Edit intent: fluency
Original:  The image recognition and neural network models were simulated and implemented using Xilinx simulators for  ZCU102 board.
Revised:  The image recognition and neural network models were simulated and implemented using Xilinx simulators for the Xilinx ZCU102 board.
Edit intent: fluency
Original: Reconfigurable intelligent surfaces (RISs) have attracted attention in the last year as nearly-passive, planar structures that can dynamically change their reflection or refraction characteristics , and therefore realize anomalous reflection, focalization, or other radiowave or signal transformations, to engineer and optimize complex propagation environments.
Revised: Reconfigurable Intelligent Surfaces (RISs) have attracted attention in the last year as nearly-passive, planar structures that can dynamically change their reflection or refraction characteristics , and therefore realize anomalous reflection, focalization, or other radiowave or signal transformations, to engineer and optimize complex propagation environments.
Edit intent: fluency
Original: Reconfigurable intelligent surfaces (RISs) have attracted attention in the last year as nearly-passive, planar structures that can dynamically change their reflection or refraction characteristics , and therefore realize anomalous reflection, focalization, or other radiowave or signal transformations, to engineer and optimize complex propagation environments.
Revised: Reconfigurable intelligent surfaces (RISs) have attracted attention in the last year for their characteristics of nearly-passive, planar structures that can dynamically change their reflection or refraction characteristics , and therefore realize anomalous reflection, focalization, or other radiowave or signal transformations, to engineer and optimize complex propagation environments.
Edit intent: clarity