output
20192026
most citedLPR: Large Language Models-Aided Program Reduction

15 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions

5 papers

cs.LG2026

SynQP: A Framework and Metrics for Evaluating the Quality and Privacy Risk of Synthetic Data

Bing Hu, Yixin Li, Asma Bahamyirou +1

The use of synthetic data in health applications raises privacy concerns, yet the lack of open frameworks for privacy evaluations has slowed its adoption. A major challenge is the…

cs.PL2023★ 15 cited

LPR: Large Language Models-Aided Program Reduction

Mengxiao Zhang, Yongqiang Tian, Zhenyang Xu +3

Program reduction is a prevalent technique to facilitate compilers' debugging by automatically minimizing bug-triggering programs. Existing program reduction techniques are either…

stat.AP2022★ 14 cited

Dynamics of Fecal Coliform Bacteria along Canada's Coast

Shuai You, Xiaolin Huang, Li Xing +7

The vast coastline provides Canada with a flourishing seafood industry including bivalve shellfish production. To sustain a healthy bivalve molluscan shellfish production, the Cana…

physics.ins-det2020★ 6 cited

Measurement of secondary cosmic-ray neutrons near the geomagnetic North Pole

Richard S. Woolf, Laurel E. Sinclair, Reid A. Van Brabant +4

The spectrum of cosmogenic neutrons at Earth's surface covers a wide energy range, from thermal to several GeV. The flux of secondary neutrons varies with latitude, elevation, sola…

cs.DM2019★ 2 cited

A Nonexistence Certificate for Projective Planes of Order Ten with Weight 15 Codewords

Curtis Bright, Kevin Cheung, Brett Stevens +3

Using techniques from the fields of symbolic computation and satisfiability checking we verify one of the cases used in the landmark result that projective planes of order ten do n…