11 citations · 16 across the 8 of their papers we have counts for
8 papers
From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier
Eric Jiang, Xiao Liang, Yikai Zhang +16
Recent developments in AI for Mathematics (AI4Math), especially Large Language Model (LLM)-driven theorem provers, has achieved remarkable success in formal proof generation for we…
Loss of community identity in opinion dynamics models as a function of inter-group interaction strength
Hossein Noorazar, Matthew Sottile, Kevin Vixie
Recent technological changes have increased connectivity between individuals around the world leading to higher frequency interactions between members of communities that would be…
An energy-based interaction model for population opinion dynamics with topic coupling
Hossein Noorazar, Matthew J. Sottile, Kevin R. Vixie
We introduce a new, and quite general variational model for opinion dynamics based on pairwise interaction potentials and a range of opinion evolution protocols ranging from random…
Locally-Oriented Programming: A Simple Programming Model for Stencil-Based Computations on Multi-Level Distributed Memory Architectures
Craig Rasmussen, Matthew Sottile, Daniel Nagle +1
Emerging hybrid accelerator architectures for high performance computing are often suited for the use of a data-parallel programming model. Unfortunately, programmers of these arch…
Blob indentation identification via curvature measurement
Matthew Sottile
This paper presents a novel method for identifying indentations on the boundary of solid 2D shape. It uses the signed curvature at a set of points along the boundary to identify in…
Identifying change patterns in software history
Jason Dagit, Matthew Sottile
Traditional algorithms for detecting differences in source code focus on differences between lines. As such, little can be learned about abstract changes that occur over time withi…