output
19932024
most citedOn Learning Meaningful Assert Statements for Unit Test Cases

106 citations

65 papers

cs.HC2024★ 5 cited

End User Authoring of Personalized Content Classifiers: Comparing Example Labeling, Rule Writing, and LLM Prompting

Leijie Wang, Kathryn Yurechko, Pranati Dani +2

Existing tools for laypeople to create personal classifiers often assume a motivated user working uninterrupted in a single, lengthy session. However, users tend to engage with soc…

nucl-th2024★ 3 cited

Worldline Monte Carlo method for few body nuclear physics

Shailesh Chandrasekharan, Son T. Nguyen, Thomas R. Richardson

In this work we introduce a worldline based fermion Monte Carlo algorithm for studying few body quantum mechanics of self-interacting fermions in the Hamiltonian lattice formulatio…

math.AC2023

Integrality relations for polygonal dissections

Aaron Abrams, Jamie Pommersheim

Given a trapezoid dissected into triangles, the area of any triangle determined by either diagonal of the trapezoid is integral over the ring generated by the areas of the triangle…

math.CO2022

Counting Unions of Schreier Sets

Kevin Beanland, Dmitriy Gorovoy, Jȩdrzej Hodor +1

A subset of positive integers is a Schreier set if it is non-empty and (here is the cardinality of ). For each positive integer , we define $k…

q-bio.PE2022★ 4 cited

Nitrogen-induced hysteresis in grassland biodiversity: a theoretical test of litter-mediated mechanisms

Katherine Meyer, James Broda, Andrew Brettin +6

The global rise in anthropogenic reactive nitrogen (N) and the negative impacts of N deposition on terrestrial plant diversity are well-documented. The R* theory of resource compet…

math.GT2022★ 2 cited

Linking number and folded ribbon unknots

Elizabeth Denne, Troy Larsen

We study Kauffman's model of folded ribbon knots: knots made of a thin strip of paper folded flat in the plane. The folded ribbonlength is the length to width ratio of such a folde…