Nayda Farnsworth

Papers

Thesis

• A Computational Approach to Improving Bounds on the Hales--Jewett Numbers
  Mathematics Thesis, Colgate University, Dec 2025
• Structure-Aware SAT Heuristics for Hales--Jewett Instances
  Computer Science Thesis, Colgate University, May 2026

Mathematics

• On Hales–Jewett and Related Numbers
  N. Conlon, N. Farnsworth, A. Robertson
  Submitted for publication, 2026 · arXiv:2607.18111
• Elimination Without Eliminating: Computing Complements of Real Hypersurfaces Using Pseudo-Witness Sets
  P. Breiding, J. Cobb, A. K. Englander, N. Farnsworth, J. D. Hauenstein, O. Henriksson, D. K. Johnson, J. Lopez Garcia, D. Mundayur
  Submitted for publication, 2026 · arXiv:2601.04383

Computer Science

• Do Neural Networks Learn Algebraic Worlds? An Investigation into the Group-theoretic Structures Learned by Narrow Models Trained to Predict Group Operations
  H. Kvinge, A. Aguilar, N. Farnsworth, G. O’Brien, R. Jasper, S. Scullen, H. Jenne
  Accepted to TAG-DS 2025 · arXiv:2601.21150