wanyu/IteraTeR_v2 huggingface dataset:
Original:  Merkle Tree 2 will make sure  the files are distributed balancedamong the service nodes  .
Revised:  Merkle Tree 2 will make sure that the files are distributed balancedamong the service nodes .
Edit intent: fluency
Original:  Merkle Tree 2 will make sure  the files are distributed balancedamong the service nodes  .
Revised:  Merkle Tree 2 will make sure the files are distributed among the service nodes .
Edit intent: fluency
Original:  The proposed MTFS can be used notonly for personal file storage and exchange but also for industryrequiring mutual trust in file uploading and downloading inmaking contracts like insurance .
Revised:  The proposed MTFS can be used not only for personal file storage and exchange but also for industryrequiring mutual trust in file uploading and downloading inmaking contracts like insurance .
Edit intent: fluency
Original:  The proposed MTFS can be used notonly for personal file storage and exchange but also for industryrequiring mutual trust in file uploading and downloading inmaking contracts like insurance .
Revised:  The proposed MTFS can be used notonly for personal file storage and exchange but also for industry requiring mutual trust in file uploading and downloading inmaking contracts like insurance .
Edit intent: fluency
Original:  The proposed MTFS can be used notonly for personal file storage and exchange but also for industryrequiring mutual trust in file uploading and downloading inmaking contracts like insurance .
Revised:  The proposed MTFS can be used notonly for personal file storage and exchange but also for industryrequiring mutual trust in file uploading and downloading in making contracts like insurances .
Edit intent: fluency
Original: We address the problem of predicting procedure names in stripped executables which contain no debug information.
Revised: We address the problem of reverse engineering of stripped executables which contain no debug information.
Edit intent: clarity
Original:  We present a novel approach that leverages static analysis of binaries with encoder-decoder-based neural networks .
Revised:  We present a novel approach that leverages static analysis of binaries with encoder-decoder-based models .
Edit intent: clarity
Original:  The main idea is to use static analysis to obtain enriched representations of API call sites;
Revised:  The main idea is to use static analysis to obtain augmented representations of call sites;
Edit intent: clarity
Original:  encode a set of sequences of these call sites by traversing the Control-Flow Graph;
Revised:  encode the structure of these call sites by traversing the Control-Flow Graph;
Edit intent: clarity
Original:  encode a set of sequences of these call sites by traversing the Control-Flow Graph;
Revised:  encode a set of sequences of these call sites using the control-flow graph (CFG)
Edit intent: clarity
Original: We address the problem of reverse engineering of stripped executables  which contain no debug information.
Revised: We address the problem of reverse engineering of stripped executables , which contain no debug information.
Edit intent: fluency
Original:  This is a challenging problem because of the low amount of syntactic information available in stripped executables, and due to the diverse assembly code patterns arising from compiler optimizations.
Revised:  This is a challenging problem because of the low amount of syntactic information available in stripped executables, and the diverse assembly code patterns arising from compiler optimizations.
Edit intent: coherence
Original:  We use our representation to drive graph-based, LSTM-based , and Transformer-based architectures  .
Revised:  We use our representation to drive graph-based, LSTM-based and Transformer-based architectures .
Edit intent: fluency
Original:  Besides, the convergences of the traditional sparse unmixing algorithms which are special cases of the primal alternating direction method of multipliers ( pADMM) have not been explained in details.
Revised:  Besides, the convergence of the primal alternating direction method of multipliers ( pADMM) have not been explained in details.
Edit intent: clarity
Original:  We also present the global convergence and local linear convergence rate analysis for the traditional sparse unmixing algorithm and our algorithm.
Revised:  We also present the global convergence and local linear convergence rate analysis for this algorithm.
Edit intent: coherence
Original: The international standard CityGML is both a data model and an exchange format to store digital 3D models of cities and landscapes .
Revised: The international standard CityGML is both a data model and an exchange format to store digital 3D models of cities .
Edit intent: clarity
Original:  Finally, we compare extractive with abstractive summaries, finding that the latter are less prone to semantic distortion.
Revised:  Finally, we compare abstractive with extractive summaries, finding that the latter are less prone to semantic distortion.
Edit intent: fluency
Original: Despite much recent interest in randomised testing (fuzzing) of compilers , the practical impact of fuzzer-found miscompilations on real-world applications has barely been assessed.
Revised: Despite much recent interest in compiler fuzzing , the practical impact of fuzzer-found miscompilations on real-world applications has barely been assessed.
Edit intent: clarity
Original:  (2) whether the effects of triggering a bug propagate to the binary code that is generated ;
Revised:  (2) the extent to which generated assembly code changes syntactically due to triggering of the bug ;
Edit intent: clarity
Original:  and (3) whether a binary-level propagation leads to observable differences in the application's test suite results .
Revised:  and (3) how likely such changes are to cause runtime divergences during execution .
Edit intent: clarity
Original:  The study is conducted with respect to the compilation of more than 11 million lines of C/C++ code from 318 Debian packages, using 45 historical bugs in the Clang/LLVM compiler, either found using four distinct fuzzers, the Alive formal verification tool , or human users.
Revised:  The study is conducted with respect to the compilation of more than 11 million lines of C/C++ code from 318 Debian packages, using 45 historical bugs in the Clang/LLVM compiler, either found using four distinct fuzzers, the Alive formal verification tool or human users.
Edit intent: fluency
Original: Despite much recent interest in compiler fuzzing , the practical impact of fuzzer-found miscompilations on real-world applications has barely been assessed.
Revised: Despite much recent interest in compiler fuzzing , the practical impact of fuzzer-found compiler bugs on real-world applications has barely been assessed.
Edit intent: clarity
Original:  We follow a novel methodology where the impact of a miscompilation bug is evaluated based on (1) whether the bug appears to trigger during compilation;
Revised:  We follow a rigorous methodology where the impact of a miscompilation bug is evaluated based on (1) whether the bug appears to trigger during compilation;
Edit intent: clarity
Original:  We follow a novel methodology where the impact of a miscompilation bug is evaluated based on (1) whether the bug appears to trigger during compilation;
Revised:  We follow a novel methodology where the bug impact over the compiled application is evaluated based on (1) whether the bug appears to trigger during compilation;
Edit intent: clarity
Original:  The study is conducted with respect to the compilation of more than 10 million lines of C/C++ code from 309 Debian packages, using 12\% of the historical and now fixed miscompilation bugs found by four state-of-the-art fuzzers in the Clang/LLVM compiler, as well as 18 other bugs found by the Alive formal verification tool or human users .
Revised:  The study is conducted with respect to the compilation of more than 10 million lines of C/C++ code from 309 Debian packages, using 12\% of the historical and now fixed miscompilation bugs found by four state-of-the-art fuzzers in the Clang/LLVM compiler, as well as 18 bugs found by the Alive formal verification tool or human users .
Edit intent: clarity
Original:  The study is conducted with respect to the compilation of more than 10 million lines of C/C++ code from 309 Debian packages, using 12\% of the historical and now fixed miscompilation bugs found by four state-of-the-art fuzzers in the Clang/LLVM compiler, as well as 18 other bugs found by the Alive formal verification tool or human users .
Revised:  The study is conducted with respect to the compilation of more than 10 million lines of C/C++ code from 309 Debian packages, using 12\% of the historical and now fixed miscompilation bugs found by four state-of-the-art fuzzers in the Clang/LLVM compiler, as well as 18 other bugs found by human users compiling real code or by formal verification .
Edit intent: clarity
Original:  The results show that almost half of the fuzzer-found bugs propagate to the generated binaries for some applications, but barely affect their syntax and only cause two failures in total when running their regression test suites.
Revised:  The results show that almost half of the fuzzer-found bugs propagate to the generated binaries for some packages, but rarely affect their syntax and only cause two failures in total when running their regression test suites.
Edit intent: clarity
Original:  The results show that almost half of the fuzzer-found bugs propagate to the generated binaries for some applications, but barely affect their syntax and only cause two failures in total when running their regression test suites.
Revised:  The results show that almost half of the fuzzer-found bugs propagate to the generated binaries for some applications, but barely affect their syntax and cause two failures in total when running their regression test suites.
Edit intent: clarity
Original:  The results show that almost half of the fuzzer-found bugs propagate to the generated binaries for some applications, but barely affect their syntax and only cause two failures in total when running their regression test suites.
Revised:  The results show that almost half of the fuzzer-found bugs propagate to the generated binaries for some applications, but barely affect their syntax and only cause two failures in total when running their test suites.
Edit intent: clarity
Original: Asymptotic expansions of eigenvalues are presented for both the Crouzeix--Raviart element and the enriched Crouzeix--Raviart element.
Revised: Asymptotic expansions are derived for eigenvalues produced by both the Crouzeix-Raviart element and the enriched Crouzeix--Raviart element.
Edit intent: clarity
Original:  One major idea here is to use a commuting property of the canonical interpolation operators of both nonconforming elements , which overcomes the difficulty caused by nonconformity of finite element functions.
Revised:  One major idea here is to use a commuting property of the canonical interpolation of both nonconforming elements , which overcomes the difficulty caused by nonconformity of finite element functions.
Edit intent: clarity
Original:  The proposed scheme takes advantage of 360^o video encoding in multiple tiles and layers to make fine-grained decisions regarding which tiles to cache in each Small Base Station (SBS), and from where to deliver them  to the end users, as users may reside in the coverage area of multiple SBSs.
Revised:  The proposed scheme takes advantage of 360^o video encoding in multiple tiles and layers to make fine-grained decisions regarding which tiles to cache in each Small Base Station (SBS), and where to deliver them to the end users, as users may reside in the coverage area of multiple SBSs.
Edit intent: clarity
Original:  The proposed scheme takes advantage of 360^o video encoding in multiple tiles and layers to make fine-grained decisions regarding which tiles to cache in each Small Base Station (SBS), and from where to deliver them  to the end users, as users may reside in the coverage area of multiple SBSs.
Revised:  The proposed scheme takes advantage of 360^o video encoding in multiple tiles and layers to make fine-grained decisions regarding which tiles to cache in each Small Base Station (SBS), and from where to deliver them from to the end users, as users may reside in the coverage area of multiple SBSs.
Edit intent: fluency
Original:  Each of the subproblems is then decoupled into their caching and routing components and solved with the method of Lagrange partial relaxation.
Revised:  Each of the subproblems is then solved with the method of Lagrange partial relaxation.
Edit intent: clarity
Original:  The results make clear the benefits coming from caching and delivery decisions on per tile basis  .
Revised:  The results showcase the benefits coming from caching and delivery decisions on per tile basis .
Edit intent: clarity
Original:  Our first main result is that the Membership Problem is decidable for fintely generated sub-semigroups of the Heisenberg group over integer numbers.
Revised:  Our first main result is that the Membership Problem is decidable for finitely generated sub-semigroups of the Heisenberg group over integer numbers.
Edit intent: fluency
Original: We consider the Membership and the Half-space Reachability Problems for matrices in dimensions two and three.
Revised: We consider the Membership and the Half-Space Reachability problems for matrices in dimensions two and three.
Edit intent: fluency
Original:  Furthermore, we prove two decidability results for the Half-space reachability problem . Namely, we show that this problem is decidable for sub-semigroups of GL(2,Z) and of the Heisenberg group over rational numbers.
Revised:  Furthermore, we prove two decidability results for the Half-Space Reachability Problem . Namely, we show that this problem is decidable for sub-semigroups of GL(2,Z) and of the Heisenberg group over rational numbers.
Edit intent: fluency
Original:  However, e-commerce search engines only support queries involving objective attributes such as location, price  and cuisine, and any experiential data is relegated to text reviews.
Revised:  However, e-commerce search engines only support queries involving objective attributes such as location, price , and cuisine, and any experiential data is relegated to text reviews.
Edit intent: fluency
Original:  We describe how Opine translates subjective queries against the subjective database schema, which is done through matching the user query phrases to the underlying schema.
Revised:  We describe how Opine translates subjective queries against the subjective database schema, which is done by matching the user query phrases to the underlying schema.
Edit intent: clarity
Original:  In this work, we provide a unifying framework that captures both of these operations, allowing one to simultaneously coarsen and sparsify a graph, while preserving its large-scale structure.
Revised:  In this work, we provide a unifying framework that captures both of these operations, allowing one to simultaneously sparsify and coarsen a graph while preserving its large-scale structure.
Edit intent: fluency
Original: Nonlinear parabolic equations are frequently encountered in applications and approximating their solutions require large scale computations .
Revised: Nonlinear parabolic equations are frequently encountered in applications and efficient approximating techniques for their solution are of great importance .
Edit intent: clarity
Original: UX designers use storyboards to visually capture a user experience (UX ) of an app . Lately, storyboarding is used by Android app development to conceptualize and design apps.
Revised: UX (user experience) designers visually capture the UX of an app . Lately, storyboarding is used by Android app development to conceptualize and design apps.
Edit intent: clarity
Original: UX designers use storyboards to visually capture a user experience (UX ) of an app . Lately, storyboarding is used by Android app development to conceptualize and design apps.
Revised: UX designers use storyboards to visually capture a user experience (UX ) of an app via storyboards. This method is also used in Android app development to conceptualize and design apps.
Edit intent: clarity
Original:  Therefore, it is imperative for app creators to ensure the security of their users .
Revised:  Therefore, securing user information is imperative in mobile apps .
Edit intent: clarity
Original:  This allows vulnerabilities that stem from design flaws to creep into apps.
Revised:  Hence, vulnerabilities stemming from design flaws to creep into apps.
Edit intent: clarity
Original:  This allows vulnerabilities that stem from design flaws to creep into apps.
Revised:  This allows vulnerabilities that stem from design flaws can often occur in apps.
Edit intent: clarity
Original:  To address this concern,  we propose a storyboard based design methodology that will enable specification and verification of security properties of an Android app at design time.
Revised:  To address this concern, we propose a storyboard based design methodology to enable the specification and verification of security properties of an Android app at design time.
Edit intent: coherence
Original:  Both the annotations and the baseline system will be made publicly available. 
Revised:  Both the annotations and the baseline system are made publicly available. 
Edit intent: clarity
Original:  Both the annotations and the baseline system will be made publicly available. 
Revised:  Both the annotations and the baseline system will be made publicly available. URL
Edit intent: clarity
Original: It is known that both linear and nonlinear optical phenomena can be produced as metallic nanostructures are excited by  external electromagnetic waves.
Revised: It is known that both linear and nonlinear optical phenomena can be produced as metallic nanostructures are excited by the external electromagnetic waves.
Edit intent: fluency
Original:  With the use of the coupled system and the presented numerical method , high order harmonic waves can be produced from the L-shape nanostructure and the rectangle nanostructure, the bulk plasmon resonance can be excited to produce the nonlocal effects for a metallic nanowire with scale down to sub-wavelength, and numerical results confirm that the quantum pressure term  is responsible for the bulk plasmon resonance  .
Revised:  With the use of the coupled system and the presented numerical method , high order harmonic generation and the nonlocal effect from metallic nanostructures. Based on the switch-on-and-off investigation, we can conclude that the quantum pressure term is responsible for the bulk plasmon resonance .
Edit intent: clarity
Original:  Another corollary is that the set of triples (m_1,m_2,m_3) for which the equation A_1^{m_1} A_2^{m_2} A_3^{m_3} equals the zero matrix is equal to a finite union of direct products of semilinear sets.
Revised:  Another consequence is that the set of triples (m_1,m_2,m_3) for which the equation A_1^{m_1} A_2^{m_2} A_3^{m_3} equals the zero matrix is equal to a finite union of direct products of semilinear sets.
Edit intent: clarity
Original:  We evaluate the proposed approach on tasks including node classification , edge classification, and link prediction .
Revised:  We evaluate the proposed approach on tasks including link prediction , edge classification, and link prediction .
Edit intent: clarity
Original:  We evaluate the proposed approach on tasks including node classification , edge classification, and link prediction .
Revised:  We evaluate the proposed approach on tasks including node classification , edge classification, and node classification .
Edit intent: clarity
Original:  However, off-chip memory accesses , being the most energy consuming operation in such architectures, limit the designs from achieving efficiency gains at the full potential.
Revised:  However, off-chip memory accesses are one of the most energy-consuming operations in deep neural network (DNN) accelerators, and thereby limit the designs from achieving efficiency gains at the full potential.
Edit intent: clarity
Original:   Towards this, we propose ROMANet, a methodology to investigate efficient dataflow patterns for reducing the number of the off-chip accesses.
Revised:  Towards this, we propose the ROMANet methodology that aims at reducing the number of the off-chip accesses.
Edit intent: clarity
Original:  Our experimental results show that ROMANet methodology is able to achieve up to 50\% dynamic energy savings in state-of-the-art DNN accelerators .
Revised:  Our experimental results show that ROMANet methodology is able to achieve up to 50\% dynamic energy savings in state-of-the-art .
Edit intent: clarity
Original: The application of machine learning (ML) techniques spans a vast spectrum of applications ranging from speech, face and character recognition to medical diagnosisto anomaly detection in data and the general classification, prediction  and regression problems.
Revised: The application of machine learning (ML) techniques span a vast spectrum of applications ranging from speech, face and character recognition to medical diagnosisto anomaly detection in data and the general classification, prediction and regression problems.
Edit intent: fluency
Original: The application of machine learning (ML) techniques spans a vast spectrum of applications ranging from speech, face and character recognition to medical diagnosisto anomaly detection in data and the general classification, prediction  and regression problems.
Revised: The application of machine learning (ML) techniques spans a vast spectrum ranging from speech, face and character recognition to medical diagnosisto anomaly detection in data and the general classification, prediction and regression problems.
Edit intent: clarity
Original: The application of machine learning (ML) techniques spans a vast spectrum of applications ranging from speech, face and character recognition to medical diagnosisto anomaly detection in data and the general classification, prediction  and regression problems.
Revised: The application of machine learning (ML) techniques spans a vast spectrum of applications ranging from speech, face and character recognition , medical diagnosis, anomaly detection in data and the general classification, prediction and regression problems.
Edit intent: fluency
Original: The application of machine learning (ML) techniques spans a vast spectrum of applications ranging from speech, face and character recognition to medical diagnosisto anomaly detection in data and the general classification, prediction  and regression problems.
Revised: The application of machine learning (ML) techniques spans a vast spectrum of applications ranging from speech, face and character recognition to medical diagnosisto anomaly detection in data to the general classification, prediction and regression problems.
Edit intent: fluency
Original: The application of machine learning (ML) techniques spans a vast spectrum of applications ranging from speech, face and character recognition to medical diagnosisto anomaly detection in data and the general classification, prediction  and regression problems.
Revised: The application of machine learning (ML) techniques spans a vast spectrum of applications ranging from speech, face and character recognition to medical diagnosisto anomaly detection in data and the general classification, prediction , and regression problems.
Edit intent: fluency
Original:  We aim to predict this quantity (R0 ) , based on the importance of complex networks structural properties using the regression techniques of ML , irrespective of the network type.
Revised:  We aim to predict this quantity (R0 ) , based on training the ML models with structural properties of complex networks , irrespective of the network type.
Edit intent: clarity