wanyu/IteraTeR_full_sent huggingface dataset:
Original:  We make these properties explicit by showing that the active inference agent's ability to carry out online planning, in a pure-belief setting, enables it to act optimally, given the non-stationary dynamics of an environment when compared to both Q-learning and Bayesian model-based reinforcement learning agents .
Revised:  We make these properties explicit by showing that the active inference agent's ability to carry out online planning, in a pure-belief setting, enables it to act optimally, given the non-stationary dynamics of an environment when compared to both Q-learning and Bayesian model-based RL agents; by placing zero prior preferences over rewards and by learning the prior preferences over the observations corresponding to reward .
Edit intent: meaning-changed
Original:  In short, we aim to demystify the behavior of active inference agents by presenting an accessible discrete state-space and time formulation, and demonstrate these behaviors in a OpenAI gym environment, alongside reinforcement learning agents.
Revised:  In short, we aim to demystify the behavior of active inference agents by presenting an accessible discrete state-space and time formulation, and demonstrate these behaviors in a OpenAI gym environment, alongside RL agents.
Edit intent: clarity
Original: We demonstrate that if all agents in an economy make time-consistent decisions and policies, then there exists no rational expectation equilibrium in a dynamic stochastic general equilibrium (DSGE) model, unless under very restrictive and special circumstances.
Revised: Under some initial conditions, it is shown that time consistency requirements prevent rational expectation equilibrium in a dynamic stochastic general equilibrium (DSGE) model, unless under very restrictive and special circumstances.
Edit intent: clarity
Original: We demonstrate that if all agents in an economy make time-consistent decisions and policies, then there exists no rational expectation equilibrium in a dynamic stochastic general equilibrium (DSGE) model, unless under very restrictive and special circumstances.
Revised: We demonstrate that if all agents in an economy make time-consistent decisions and policies, then there exists no rational expectation equilibrium (REE) existence for dynamic stochastic general equilibrium (DSGE) model, unless under very restrictive and special circumstances.
Edit intent: meaning-changed
Original: We demonstrate that if all agents in an economy make time-consistent decisions and policies, then there exists no rational expectation equilibrium in a dynamic stochastic general equilibrium (DSGE) model, unless under very restrictive and special circumstances. Some time-consistent interest rate rules, such as Taylor rule, worsen the equilibrium non-existence issue in general circumstances. Monetary policy needs to be lagged in order to avoid equilibrium non-existence due to agents making time-consistent decisions. We also show that due to the transversality condition issue , either fiscal-monetary coordination may need to be modeled, or it may be necessary to write a model such that bonds or money provides utility as medium of exchange or has liquidity roles .
Revised: We demonstrate that if all agents in an economy make time-consistent decisions and policies, then there exists no rational expectation equilibrium in a dynamic stochastic general equilibrium models induced by consumer heterogeneity, in contrast to static models. However, one can consider REE-prohibiting initial conditions as limits of other initial conditions. The REE existence issue then is overcome by using a limit of economies. This shows that significant care must be taken of when dealing with rational expectation equilibria .
Edit intent: meaning-changed
Original: With the online proliferation of hate URLanizations and governments are trying to tackle this issue, without upsetting the `freedom of speech '.
Revised: With the ongoing debate on 'freedom of speech' vs. 'hate speech' there is an urgent need to carefully understand the consequences of the inevitable culmination of the two, i.e., 'freedom of hate speech' over time. An ideal scenario to understand this would be to observe the effects of hate URLanizations and governments are trying to tackle this issue, without upsetting the `freedom of speech '.
Edit intent: meaning-changed
Original: With the online proliferation of hate URLanizations and governments are trying to tackle this issue, without upsetting the `freedom of speech '. In this paper, we try to understand the temporal effects of allowing hate speech on a platform (Gab) as a norm (protected as freedom of speech).We observe that the amount of hate speech  is steadily increasing , with new users being exposed to hate speech at a faster rate.
Revised: With the online proliferation of hate URLanizations and governments are trying to tackle this issue, without upsetting the `freedom of speech in an (almost) unrestricted environment. Hence, we perform the first temporal analysis of hate speech on Gab.com, a social media site with very loose moderation policy. We first generate temporal snapshots of Gab from millions of posts and users. Using these temporal snapshots, we compute an activity vector based on DeGroot model to identify hateful users. The amount of hate speech is steadily increasing , with new users being exposed to hate speech at a faster rate.
Edit intent: meaning-changed
Original:  We also observe that the language used by the Gab users are aligning more with the hateful users with time. We believe that the hate community is evolving a new language culture of their own in this unmoderated environment and the rest of the (benign) population is slowly getting adapted to this new language culture. Our workprovides empirical observations to the HCI questions regarding the freedom of hate speech .
Revised:  We also observe that the language used by the Gab users are aligning more with the hateful users as compared to the non-hateful ones. We discuss how, many crucial design questions in CSCW open up from our work .
Edit intent: meaning-changed
Original:  Sci. %DIFDELCMD < {\bf %%% 770 (2019), 88--94] and  provide a 2-tree which does not allow any drawing with such bounded ratio .
Revised:  Sci. %DIFDELCMD < {\bf %%% 770 (2019), 88--94] and , for any given constant r, we provide a 2-tree which does not allow any drawing with such bounded ratio .
Edit intent: meaning-changed
Original:  Sci. %DIFDELCMD < {\bf %%% 770 (2019), 88--94] and  provide a 2-tree which does not allow any drawing with such bounded ratio . On the other hand, when the ratio is restricted to adjacent edges only, we provide a procedure that for any 2-tree yields a drawing with the ratio arbitrarily close to 4.
Revised:  Sci. %DIFDELCMD < {\bf %%% 770 (2019), 88--94] and provide a 2-tree which does not admit a planar straight-line drawing with a ratio bounded by r. When the ratio is restricted to adjacent edges only, we provide a procedure that for any 2-tree yields a drawing with the ratio arbitrarily close to 4.
Edit intent: meaning-changed
Original:  On the other hand, when the ratio is restricted to adjacent edges only, we provide a procedure that for any 2-tree yields a drawing with the ratio arbitrarily close to 4.
Revised:  On the other hand, when the ratio is restricted to adjacent edges only, we provide a procedure that for any 2-tree admits a planar straight-line drawing whose edge-length ratio is at most 4 + \varepsilon for any arbitrarily small \varepsilon > 0, hence the upper bound on the local edge-length ratio of partial 2-trees is 4.
Edit intent: meaning-changed
Original:  Moreover, we identify features in the magnetic recording beyond that of the EMG , at time points which we further analyze in the EEG. This system demonstrates the value of biomagnetic signals in TMS-based clinical approaches and widens its availability and practical potential .
Revised:  Moreover, we identify features in the magnetic recording beyond that of the EMG . Significance: These results validate the viability of MMG recording with a compact OPM based setup in small-sized magnetic shielding, and provide proof-of-principle for a non-contact data channel for detection and analysis of TMS-evoked muscle activity from peripheral limbs .
Edit intent: meaning-changed
Original: A major goal of molecular evolutionary biology is to identify loci or regions of the genome under selection  . Correct identification allows further comprehension of the phenotypic changes responsible for adaptation and improves both our historical inference and predictive ability for understanding evolution from the past and into the future.
Revised: A major goal of molecular evolutionary biology is to identify loci or regions of the genome under selection versus those evolving in a neutral manner . Correct identification allows further comprehension of the phenotypic changes responsible for adaptation and improves both our historical inference and predictive ability for understanding evolution from the past and into the future.
Edit intent: meaning-changed
Original: A major goal of molecular evolutionary biology is to identify loci or regions of the genome under selection  . Correct identification allows further comprehension of the phenotypic changes responsible for adaptation and improves both our historical inference and predictive ability for understanding evolution from the past and into the future. To attain this goal, we need not only knowledge of the biological relevance of selective processes relative to neutral processes occurring in the genome, but also a concise and universal lexicon for discussing the relevant evidence. Neither selectionnor drift alone can explain levels of genomic diversity observed across the genome, emphasizing the importance of understanding how and when these disparate evolutionary forces may act. In fact, modern genomic insights have proven that more complex processes such as linkage, demography, and biased gene conversion further complicate our understanding of the roles of neutral versus selective processes in evolution.
Revised: A major goal of molecular evolutionary biology is to identify loci or regions of the genome under selection . Correct identification allows accurate inference of the evolutionary process and thus comprehension of historical and contemporary processes driving phenotypic change and adaptation. A fundamental difficulty lies in distinguishing sites targeted by selection from both sites linked to these targets and sites fully independent of selection. These three categories of sites necessitate attention in light of the debate over the relative importance of selection versus neutrality and the neutral theory. Modern genomic insights have proven that more complex processes such as linkage, demography, and biased gene conversion further complicate our understanding of the roles of neutral versus selective processes in evolution.
Edit intent: clarity
Original:  In this perspective, we aim to present and refine our definitions of selection and drift, as well as additional and important mechanisms that constrain evolution of the genome under certain contexts. We highlight that these processes need to be taken into account to correctly identify the targets of selection and stress that a major  field-wide goal in the future should be to quantify the absolute importance of these mechanisms.
Revised:  In this perspective, we first highlight the importance of the genomic and (a)biotic context of new mutations to identify the targets of natural selection. We then present mechanisms that may constrain the evolution of genomes and bias the inference of selection. We discuss these mechanisms within the two critical levels that they occur: the population level and the molecular level. We highlight that they should be taken into account to correctly identify the targets of selection and stress that a major field-wide goal in the future should be to quantify the absolute importance of these mechanisms.
Edit intent: meaning-changed
Original:  We highlight that these processes need to be taken into account to correctly identify the targets of selection and stress that a major  field-wide goal in the future should be to quantify the absolute importance of these mechanisms.
Revised:  We highlight that these processes need to be taken into account to correctly distinguish sites across the genome subject to selective or non-selective forces and stress that a major field-wide goal in the future should be to quantify the absolute importance of these mechanisms.
Edit intent: clarity
Original:  We highlight that these processes need to be taken into account to correctly identify the targets of selection and stress that a major  field-wide goal in the future should be to quantify the absolute importance of these mechanisms.
Revised:  We highlight that these processes need to be taken into account to correctly identify the targets of selection and stress that a major current field-wide goal in the future should be to quantify the absolute importance of these mechanisms.
Edit intent: meaning-changed
Original:  In this paper, we provide the accuracy of the multiscaling model reduction for a stochastic reaction network under a certain multiscaling regime. When a subset of chemical species in a reaction network has much higher abundance than others, the associated stochastic process can be modeled under multiscaling regime. Previous works in the literature showed that the original stochastic system can be approximated with a reduced limiting system, as the scaling parameter N tends to infinity.
Revised:  In this paper, we consider a particular multiscaling limit for a class of stochastic reaction systems, with the property that all reactions initially take place at an approximately constant rate. It is known that the model can be approximated with a reduced limiting system, as the scaling parameter N tends to infinity.
Edit intent: meaning-changed
Original:  Previous works in the literature showed that the original stochastic system can be approximated with a reduced limiting system, as the scaling parameter N tends to infinity. In general scaling regimes, the convergence to the limiting system can be studied by using the law of large numbers and the relative compactness in a measure space.
Revised:  Previous works in the literature showed that the original stochastic system can be approximated using an associated reduced system. In this paper, we establish an error bound for this approximation. We consider general chemical kinetics and allow for higher order reactions, which generalizes existing results in the literature. Our approach is based on a direct analysis of the convergence to the limiting system can be studied by using the law of large numbers and the relative compactness in a measure space.
Edit intent: meaning-changed
Original:  In general scaling regimes, the convergence to the limiting system can be studied by using the law of large numbers and the relative compactness in a measure space. In this work, by using the Kolmogorov equationwe study the convergence rate of a stochastic network system in the multiscaling nature to a reduce system assuming that each reaction has a constant order propensity. We also provide the convergence of the marginal probability distribution .
Revised:  In general scaling regimes, the Kolmogorov equation, in contrast to classical approaches in the existing literature .
Edit intent: coherence
Original: Computational fabrication is increasingly popular among end-users and makers in the form of 3D printing and laser cutting. Using Computer-Aided Design (CAD) tools to construct models from scratch is a significant barrier to entry for new users, so many online repositories provide ready-to-print though difficult-to-edit triangle meshes of popular designs. Recent work has proposed program synthesis techniques to automatically decompile triangle meshes to easier-to-edit Constructive Solid Geometry (CSG) designs.
Revised: Recent program synthesis techniques to automatically decompile triangle meshes to easier-to-edit Constructive Solid Geometry (CSG) designs.
Edit intent: coherence
Original:  Recent work has proposed program synthesis techniques to automatically decompile triangle meshes to easier-to-edit Constructive Solid Geometry (CSG) designs.
Revised:  Recent work has proposed program synthesis techniques help users customize CAD models(e.g., for 3D printing) by decompiling low-level triangle meshes to easier-to-edit Constructive Solid Geometry (CSG) designs.
Edit intent: meaning-changed
Original:  Recent work has proposed program synthesis techniques to automatically decompile triangle meshes to easier-to-edit Constructive Solid Geometry (CSG) designs. While these synthesized CSG designs simplify editing some models, they are flat, i.e., they do not contain loops or other forms of parameterization, which makes editing designs with repeated structurechallenging .
Revised:  Recent work has proposed program synthesis techniques to automatically decompile triangle meshes to easier-to-edit Constructive Solid Geometry (CSG) expressions. Without loops or functions, editing CSG can require many coordinated changes, and existing mesh decompilers use heuristics that can obfuscate high-level structure .
Edit intent: clarity
Original:  This paper presents an algorithm for lifting CSG designs to CAD programs , preserving equivalence to the original CSGs but parameterizing over repetitive structures. Our technique takes as input a flat CSG and infers parameters that capture the latent structure of the CSG using an equality-graph based rewrite mechanism combined with constraint solvers for inferring arithmetic operations. Our algorithm synthesizes CAD programs with (possibly nested) loops and arithmetic expressions including trigonometric functions. We implemented our algorithm in a tool called tool and evaluated it by running it on 16 designs collected from popular model-sharing websites and found that it reduces code size by 64\% on average, and exposes the underlying structure for 81\% of the models .
Revised:  This paper proposes a second decompilation stage to robustly "shrink" unstructured CSG expressions into more editable programs with map and fold operators. We present Szalinski, a tool that uses Equality Saturation with semantics-preserving CAD rewrites to efficiently search for smaller equivalent programs. Szalinski relies on inverse transformations, a novel way for solvers to speculatively add equivalences to an E-graph. We qualitatively evaluate Szalinski in case studies, show how it composes with an existing mesh decompiler, and demonstrate that Szalinski can shrink large models in seconds .
Edit intent: meaning-changed
Original:  However, these methods mainly assume multiple regions as one vast uniform region or several independent regions, ignoring connections among them .
Revised:  However, the critical assumption in these methods is that a priori different brain regions respond the same way to all the stimuli, that is, there is no modularity or specialization assumed for any region. This goes against the modularity theory, supported by many cognitive neuroscience investigations suggesting that there are functionally specialized regions in the brain .
Edit intent: meaning-changed
Original:  In this paper, we present a mixture of experts model for predicting brain activity patterns . Given a new stimulus, the model predicts the entire brain activation as a weighted linear combination of activation of multiple experts .
Revised:  In this paper, we achieve this by clustering similar regions together and for every cluster we learn a different linear regression model using a mixture of linear experts model. The key idea here is that each linear expert captures the behaviour of similar brain regions . Given a new stimulus, the model predicts the entire brain activation as a weighted linear combination of activation of multiple experts .
Edit intent: meaning-changed
Original:  In this paper, we present a mixture of experts model for predicting brain activity patterns . Given a new stimulus, the model predicts the entire brain activation as a weighted linear combination of activation of multiple experts .
Revised:  In this paper, we present a mixture of experts model for predicting brain activity patterns . Given a new stimulus, the utility of the proposed model is twofold (i) predicts the brain activation as a weighted linear combination of activation of multiple experts .
Edit intent: meaning-changed
Original:  In this paper, we present a mixture of experts model for predicting brain activity patterns . Given a new stimulus, the model predicts the entire brain activation as a weighted linear combination of activation of multiple experts .
Revised:  In this paper, we present a mixture of experts model for predicting brain activity patterns . Given a new stimulus, the model predicts the entire brain activation as a weighted linear combination of the activations of multiple linear experts and (ii) to learn multiple experts corresponding to different brain regions .
Edit intent: meaning-changed
Original:  Thus, the utility of the proposed model is twofold. It not only accurately predicts the brain activation for a given stimulus, but it also reveals the level of activation of individual brain regions. Results of our experiments highlight the importance of the proposed model for predicting brain activation. This study also helps in understanding which of the brain regions get activated together , given a certain kind of stimulus .
Revised:  This study helps in understanding which of the brain regions get activated together , given a certain kind of stimulus .
Edit intent: clarity
Original:  Importantly, we suggest that the mixture of regression experts (MoRE) framework successfully combines the two principles URLanization of function in the brain, namely that of specialization and integration  ] .
Revised:  Importantly, we suggest that the mixture of regression experts (MoRE) framework successfully combines the two principles URLanization of function in the brain, namely that of specialization and integration . Experiments on fMRI data from paradigm 1 ] .
Edit intent: meaning-changed
Original:  Importantly, we suggest that the mixture of regression experts (MoRE) framework successfully combines the two principles URLanization of function in the brain, namely that of specialization and integration  ] .
Revised:  Importantly, we suggest that the mixture of regression experts (MoRE) framework successfully combines the two principles URLanization of function in the brain, namely that of specialization and integration ]where participants view linguistic stimuli show that the proposed MoRE model has better prediction accuracy compared to that of conventional models .
Edit intent: meaning-changed
Original:  In 2016 the World Health Organisation (WHO) and the Pan-American Health Organization (PAHO) recommend to their constituent countries to test the new technologies proposed to control Aedes aegypti populations.
Revised:  In 2016 the World Health Organisation (WHO) and the Pan-American Health Organization (PAHO) recommend to their constituent countries to test the new technologies proposed to control Aedes aegypti populations.
Edit intent: fluency
Original:  Hybridisation levelsand release numbers of mosquitoes as a function of intervention duration and target are calculated  .
Revised:  Hybridisation levelsand release numbers of mosquitoes as a function of intervention duration and target are calculated under different hypotheses with regard to the fitness of hybrids and compared with two field studies of actual interventions. The minimal model should serve as a basis for detailed models when the necessary information to construct them is produced. For the time being, the model shows that nature will not clean the non-lethal introgressed genes .
Edit intent: meaning-changed