wanyu/IteraTeR_v2 huggingface dataset:
Original:  This passage to a lambda algebra also manifests itself in our construction of a cartesian closed category with a reflexive object from an algebraic combinatory model.
Edit intent: coherence
Original:  Programming, 12(6), 549-566 , 2002], which would clarify the origin and the role of each axiom in his axiomatisation.
Revised:  Programming, 12(6), 549--566 , 2002], which would clarify the origin and the role of each axiom in his axiomatisation.
Edit intent: fluency
Original:  Recent works show that learning to incentivize other agents can promote cooperation in SSDs. However,  with these incentivizing mechanisms, the team cooperation level does not converge and regularly oscillates between cooperation and defection during learning.
Revised:  Recent works show that learning to incentivize other agents can promote cooperation in SSDs. However, we find that, with these incentivizing mechanisms, the team cooperation level does not converge and regularly oscillates between cooperation and defection during learning.
Edit intent: coherence
Original:  We show that a second-order social dilemma resulting from these incentive mechanisms is the main reason for such fragile cooperation.
Revised:  We show that a second-order social dilemma resulting from the incentive mechanisms is the main reason for such fragile cooperation.
Edit intent: fluency
Original:  We  analyze the dynamics of this second-order social dilemma and find that a typical tendency of humans, called homophily, can solve the problem .
Revised:  We analyze the dynamics of second-order social dilemma and find that a typical tendency of humans, called homophily, can solve the problem .
Edit intent: coherence
Original:  We  analyze the dynamics of this second-order social dilemma and find that a typical tendency of humans, called homophily, can solve the problem .
Revised:  We analyze the dynamics of this second-order social dilemmas and find that a typical tendency of humans, called homophily, can solve the problem .
Edit intent: fluency
Original:  We  analyze the dynamics of this second-order social dilemma and find that a typical tendency of humans, called homophily, can solve the problem .
Revised:  We analyze the dynamics of this second-order social dilemma and find that a typical tendency of humans, called homophily, provides a promising solution .
Edit intent: clarity
Original:  We propose a novel learning framework to encourage incentive homophily and show that it achieves stable cooperation in both public goods dilemma and tragedy of the commons dilemma .
Revised:  We propose a novel learning framework to encourage homophilic incentives and show that it achieves stable cooperation in both public goods dilemma and tragedy of the commons dilemma .
Edit intent: clarity
Original:  We propose a novel learning framework to encourage incentive homophily and show that it achieves stable cooperation in both public goods dilemma and tragedy of the commons dilemma .
Revised:  We propose a novel learning framework to encourage incentive homophily and show that it achieves stable cooperation in both SSDs of public goods and tragedy of the commons dilemma .
Edit intent: clarity
Original:  We propose a novel learning framework to encourage incentive homophily and show that it achieves stable cooperation in both public goods dilemma and tragedy of the commons dilemma .
Revised:  We propose a novel learning framework to encourage incentive homophily and show that it achieves stable cooperation in both public goods dilemma and tragedy of the commons .
Edit intent: fluency
Original:  The short-term forecast shows a close affinity with realised rates (  95\% accuracy  ).
Revised:  The short-term forecast shows a close affinity with realised rates ( over 95\% accuracy ).
Edit intent: clarity
Original:  This renders difficult the objective comparison between SSL approaches and the evaluation of their impact on building speech systems.
Revised:  This questions the objective comparison between SSL approaches and the evaluation of their impact on building speech systems.
Edit intent: clarity
Original:  This renders difficult the objective comparison between SSL approaches and the evaluation of their impact on building speech systems.
Revised:  This renders difficult the objective comparison of SSL approaches and the evaluation of their impact on building speech systems.
Edit intent: fluency
Original:  We also target speech technologies in a language different than English: French.
Revised:  We also focus on speech technologies in a language different than English: French.
Edit intent: clarity
Original: In today's connected society, many people rely on mHealth and self-tracking (ST) technology to help them break their sedentary lifestyle and stay fit.
Revised: In today's connected society, many people rely on mHealth and self-tracking (ST) technology to help them break their sedentary lifestyle and staying fit.
Edit intent: fluency
Original:  However, there is scarce evidence of such technological interventions' effectiveness, and there are no standardized methods to evaluate the short- and long-term impact of such technologies on people's physical activity  and health.
Revised:  However, there is scarce evidence of such technological interventions' effectiveness, and there are no standardized methods to evaluate their impact on people's physical activity and health.
Edit intent: clarity
Original:  However, there is scarce evidence of such technological interventions' effectiveness, and there are no standardized methods to evaluate the short- and long-term impact of such technologies on people's physical activity  and health.
Revised:  However, there is scarce evidence of such technological interventions' effectiveness, and there are no standardized methods to evaluate the short- and long-term impact of such technologies on people's physical activity (PA) and health.
Edit intent: clarity
Original:  we conduct a literature review of 117 papers between 2008 and 2020, which identifies the core ST HCI design methods and their efficacy, as well as and the most comprehensive list to date of user engagement evaluation metrics for ST. Based on the review's findings, we propose the PAST SELFend-to-end framework to facilitate the classification, design , and evaluation of ST technology . PAST SELF systematically organizes common methods and guidelines from existing works in ubiquitous ST research.
Revised:  we conduct a literature review of 117 papers between 2008 and 2020, which identifies the core ST HCI design methods and their efficacy, as well as and the most comprehensive list to date of UE evaluation metrics for ST. Based on the review's findings, we propose the PAST SELFend-to-end framework to facilitate the classification, design , and evaluation of ST technology . PAST SELF systematically organizes common methods and guidelines from existing works in ubiquitous ST research.
Edit intent: clarity
Original:  we conduct a literature review of 117 papers between 2008 and 2020, which identifies the core ST HCI design methods and their efficacy, as well as and the most comprehensive list to date of user engagement evaluation metrics for ST. Based on the review's findings, we propose the PAST SELFend-to-end framework to facilitate the classification, design , and evaluation of ST technology . PAST SELF systematically organizes common methods and guidelines from existing works in ubiquitous ST research.
Revised:  we conduct a literature review of 117 papers between 2008 and 2020, which identifies the core ST HCI design methods and their efficacy, as well as and the most comprehensive list to date of user engagement evaluation metrics for ST. Based on the review's findings, we propose PAST SELF, a framework to guide the design and evaluation of ST technology . PAST SELF systematically organizes common methods and guidelines from existing works in ubiquitous ST research.
Edit intent: clarity
Original:  After augmenting this dataset, we develop and train TOT models that operate sequentially on low and mid-level features produced by computer vision algorithms operating on different driver-facing camera views.
Revised:  We then develop and train TOT models that operate sequentially on low and mid-level features produced by computer vision algorithms operating on different driver-facing camera views.
Edit intent: clarity
Original:  After augmenting this dataset, we develop and train TOT models that operate sequentially on low and mid-level features produced by computer vision algorithms operating on different driver-facing camera views.
Revised:  After augmenting this dataset, we develop and train TOT models that operate sequentially on mid to high-level features produced by computer vision algorithms operating on different driver-facing camera views.
Edit intent: clarity
Original:  The proposed TOT model produces continuous estimates of take-over times without delay, and shows promising qualitative and quantitative results in complex real-world scenarios.
Revised:  The proposed TOT model produces continuous predictions of take-over times without delay, and shows promising qualitative and quantitative results in complex real-world scenarios.
Edit intent: clarity
Original:  Numerical results of synchronization phenomena, studied by the Kuramoto model, are also shown, leading to a continuous analog of the GP, termed frustrated synchronization in Chimera states .
Revised:  Numerical results of synchronization phenomena, studied by the Kuramoto model, are also shown, leading to a continuous analog of the GP, termed frustrated synchronization .
Edit intent: clarity
Original:  The models presented here exhibit avalanche scaling behaviour with exponents in agreement with brain experimental data if local homeostasis is provided.
Revised:  The models presented here exhibit dynamical scaling behaviour with exponents in agreement with brain experimental data if local homeostasis is provided.
Edit intent: clarity
Original:  We believe learning category interactions helps to improve the performance of category mapping on minority classes,tail andtorso queries.
Revised:  We believe learning category interactions helps to improve the performance of category mapping on classes,tail andtorso queries.
Edit intent: clarity
Original:  We believe learning category interactions helps to improve the performance of category mapping on minority classes,tail andtorso queries.
Revised:  We believe learning category interactions helps to improve the performance of category mapping on minority tail andtorso queries.
Edit intent: clarity
Original:  We believe learning category interactions helps to improve the performance of category mapping on minority classes,tail andtorso queries.
Revised:  We believe learning category interactions helps to improve the performance of category mapping on minority classes, andtorso queries.
Edit intent: fluency
Original:  We believe learning category interactions helps to improve the performance of category mapping on minority classes,tail andtorso queries.
Revised:  We believe learning category interactions helps to improve the performance of category mapping on minority classes,tail torso queries.
Edit intent: fluency
Original:  We believe learning category interactions helps to improve the performance of category mapping on minority classes,tail andtorso queries.
Revised:  We believe learning category interactions helps to improve the performance of category mapping on minority classes,tail andminority classes, tail and torso queries.
Edit intent: fluency
Original: Form 10-Q, the quarterly financial statement,  is one of the most crucial filings for US public firms to disclose their financial and other relevant business operation information.
Revised: The quarterly financial statement, is one of the most crucial filings for US public firms to disclose their financial and other relevant business operation information.
Edit intent: clarity
Original: Form 10-Q, the quarterly financial statement,  is one of the most crucial filings for US public firms to disclose their financial and other relevant business operation information.
Revised: Form 10-Q, the quarterly financial statement, or Form 10-Q, is one of the most crucial filings for US public firms to disclose their financial and other relevant business operation information.
Edit intent: clarity
Original: Form 10-Q, the quarterly financial statement,  is one of the most crucial filings for US public firms to disclose their financial and other relevant business operation information.
Revised: Form 10-Q, the quarterly financial statement, is one of the most frequently required filings for US public firms to disclose their financial and other relevant business operation information.
Edit intent: clarity
Original: Form 10-Q, the quarterly financial statement,  is one of the most crucial filings for US public firms to disclose their financial and other relevant business operation information.
Revised: Form 10-Q, the quarterly financial statement, is one of the most crucial filings for US public companies to disclose financial and other relevant business operation information.
Edit intent: clarity
Original: Form 10-Q, the quarterly financial statement,  is one of the most crucial filings for US public firms to disclose their financial and other relevant business operation information.
Revised: Form 10-Q, the quarterly financial statement, is one of the most crucial filings for US public firms to disclose their financial and other important business information.
Edit intent: clarity
Original: Motivated by the need for social distancing{\em  during a pandemic, we consider an approach to schedule the visitors of a facility .
Revised: Motivated by the need of{\em during a pandemic, we consider an approach to schedule the visitors of a facility .
Edit intent: clarity
Original:  The algorithm takes input from citizens and schedules the store's  time-slots based on their importance to visit the facility (e. g., a general store).
Revised:  The algorithm takes input from citizens and schedules the store's time-slots based on their importance to visit the facility .
Edit intent: clarity
Original:  We consider the single slot and multiple slot demands of the requests {\em   .
Revised:  We consider {\em .
Edit intent: clarity
Original:  it (a)  ensures social distancing by ensuring a maximum population in a given time-slot at the facility, (b) prioritizes individuals based on the users' importance of the jobs, (c)  maintains truthfulness of the reported importance by adding a {\em cooling-off period after their allocated time-slot, during which the individual cannot re-access the same facility, (d)  guarantees voluntary participation of the citizens, and yet (e)  is computationally tractable.
Revised:  it (a) ~ ensures social distancing by ensuring a maximum population in a given time-slot at the facility, (b) prioritizes individuals based on the users' importance of the jobs, (c) maintains truthfulness of the reported importance by adding a {\em cooling-off period after their allocated time-slot, during which the individual cannot re-access the same facility, (d) guarantees voluntary participation of the citizens, and yet (e) is computationally tractable.
Edit intent: fluency
Original:  it (a)  ensures social distancing by ensuring a maximum population in a given time-slot at the facility, (b) prioritizes individuals based on the users' importance of the jobs, (c)  maintains truthfulness of the reported importance by adding a {\em cooling-off period after their allocated time-slot, during which the individual cannot re-access the same facility, (d)  guarantees voluntary participation of the citizens, and yet (e)  is computationally tractable.
Revised:  it (a) ensures social distancing by ensuring a maximum population in a given time-slot at the facility, (b) ~aims to prioritize individuals based on the users' importance of the jobs, (c) maintains truthfulness of the reported importance by adding a {\em cooling-off period after their allocated time-slot, during which the individual cannot re-access the same facility, (d) guarantees voluntary participation of the citizens, and yet (e) is computationally tractable.
Edit intent: clarity
Original:  it (a)  ensures social distancing by ensuring a maximum population in a given time-slot at the facility, (b) prioritizes individuals based on the users' importance of the jobs, (c)  maintains truthfulness of the reported importance by adding a {\em cooling-off period after their allocated time-slot, during which the individual cannot re-access the same facility, (d)  guarantees voluntary participation of the citizens, and yet (e)  is computationally tractable.
Revised:  it (a) ensures social distancing by ensuring a maximum population in a given time-slot at the facility, (b) prioritizes individuals based on the importance of the jobs, (c) maintains truthfulness of the reported importance by adding a {\em cooling-off period after their allocated time-slot, during which the individual cannot re-access the same facility, (d) guarantees voluntary participation of the citizens, and yet (e) is computationally tractable.
Edit intent: clarity
Original:  it (a)  ensures social distancing by ensuring a maximum population in a given time-slot at the facility, (b) prioritizes individuals based on the users' importance of the jobs, (c)  maintains truthfulness of the reported importance by adding a {\em cooling-off period after their allocated time-slot, during which the individual cannot re-access the same facility, (d)  guarantees voluntary participation of the citizens, and yet (e)  is computationally tractable.
Revised:  it (a) ensures social distancing by ensuring a maximum population in a given time-slot at the facility, (b) prioritizes individuals based on the users' importance of the jobs, (c) ~ maintains truthfulness of the reported importance by adding a {\em cooling-off period after their allocated time-slot, during which the individual cannot re-access the same facility, (d) guarantees voluntary participation of the citizens, and yet (e) is computationally tractable.
Edit intent: fluency
Original:  it (a)  ensures social distancing by ensuring a maximum population in a given time-slot at the facility, (b) prioritizes individuals based on the users' importance of the jobs, (c)  maintains truthfulness of the reported importance by adding a {\em cooling-off period after their allocated time-slot, during which the individual cannot re-access the same facility, (d)  guarantees voluntary participation of the citizens, and yet (e)  is computationally tractable.
Revised:  it (a) ensures social distancing by ensuring a maximum population in a given time-slot at the facility, (b) prioritizes individuals based on the users' importance of the jobs, (c) maintains truthfulness of the reported importance by adding a {\em cooling-off period after their allocated time-slot, during which the individual cannot re-access the same facility, (d) ~ guarantees voluntary participation of the citizens, and yet (e) is computationally tractable.
Edit intent: fluency
Original:  it (a)  ensures social distancing by ensuring a maximum population in a given time-slot at the facility, (b) prioritizes individuals based on the users' importance of the jobs, (c)  maintains truthfulness of the reported importance by adding a {\em cooling-off period after their allocated time-slot, during which the individual cannot re-access the same facility, (d)  guarantees voluntary participation of the citizens, and yet (e)  is computationally tractable.
Revised:  it (a) ensures social distancing by ensuring a maximum population in a given time-slot at the facility, (b) prioritizes individuals based on the users' importance of the jobs, (c) maintains truthfulness of the reported importance by adding a {\em cooling-off period after their allocated time-slot, during which the individual cannot re-access the same facility, (d) guarantees voluntary participation of the citizens, and yet (e) ~ is computationally tractable.
Edit intent: fluency
Original:   We show that the problem becomes NP-complete as soon as the multi-slot demands are indivisible and provide a polynomial-time mechanism that is truthful, individually rational, and approximately optimal.
Revised:  We show that the problem becomes NP-complete for indivisible multi-slot demands are indivisible and provide a polynomial-time mechanism that is truthful, individually rational, and approximately optimal.
Edit intent: clarity
Original:   We show that the problem becomes NP-complete as soon as the multi-slot demands are indivisible and provide a polynomial-time mechanism that is truthful, individually rational, and approximately optimal.
Revised:  We show that the problem becomes NP-complete as soon as the multi-slot demands , and provide a polynomial-time mechanism that is truthful, individually rational, and approximately optimal.
Edit intent: clarity
Original:  For the multi-slot indivisible jobs, our approximately optimal mechanism performs well in practice .
Revised:  For the multi-slot jobs, our approximately optimal mechanism performs well in practice .
Edit intent: clarity
Original: In this paper we investigate a tightly coupled Lidar-Inertia Odometry and Mapping (LIOM) scheme, with the capability to incorporate multiple lidars with complementary field of view (FOV).
Revised: In this letter we investigate a tightly coupled Lidar-Inertia Odometry and Mapping (LIOM) scheme, with the capability to incorporate multiple lidars with complementary field of view (FOV).
Edit intent: clarity
Original: In many multi-agent spatiotemporal systems, the agents are under the influence of shared, unobserved variables (e.g., the play a team is executing in a game of basketball).
Revised: In many multi-agent spatiotemporal systems, agents operate under the influence of shared, unobserved variables (e.g., the play a team is executing in a game of basketball).
Edit intent: clarity
Original:  However, most of them are applied to a single embedding space, which might not characterize complex user-item interactions well.
Revised:  However, most of them are applied to a single representation space, which might not characterize complex user-item interactions well.
Edit intent: clarity
Original:  We argue that  user-item interactions should be observed from multiple views and characterized in an adaptive way.
Revised:  We argue that the user-item interactions should be observed from multiple views and characterized in an adaptive way.
Edit intent: fluency
Original:  To address this issue, we leveraged the relation between global space and local clusters to construct multiple embedding spaces by learning variant training datasets and loss functions.
Revised:  To address this issue, we leveraged the global and local properties to construct multiple embedding spaces by learning variant training datasets and loss functions.
Edit intent: clarity
Original:  To address this issue, we leveraged the relation between global space and local clusters to construct multiple embedding spaces by learning variant training datasets and loss functions.
Revised:  To address this issue, we leveraged the relation between global space and local clusters to construct multiple representation spaces by learning variant training datasets and loss functions.
Edit intent: clarity
Original:  To address this issue, we leveraged the relation between global space and local clusters to construct multiple embedding spaces by learning variant training datasets and loss functions.
Revised:  To address this issue, we leveraged the relation between global space and local clusters to construct multiple embedding spaces by learning various training datasets and loss functions.
Edit intent: clarity
Original:  An attention model was then built to provide a dynamic blended representation according to the relative importance of the embedding spaces for each user-item pair, forming a flexible measure to characterize variant user-item interactions.
Revised:  An attention network was built to generate a blended representation according to the relative importance of the embedding spaces for each user-item pair, forming a flexible measure to characterize variant user-item interactions.
Edit intent: clarity