3 papers
cs.LG2026
What Does an Observability Foundation Model Know?
Dhyey Dharmendrakumar Mavani, Rian Atri, Tairan Ji
A linear probe can show that a label is recoverable from a model's hidden states, but not whether that goes beyond what the input already reveals, or whether the model uses it. We…
math.CO2025
chipfiring: A Python Package for Efficient Mathematical Analysis of Chip-Firing Games on Multigraphs
Dhyey Dharmendrakumar Mavani, Tairan Ji, Nathan Pflueger
This paper presents `chipfiring`, a comprehensive Python package for the mathematical analysis of chip-firing games on finite graphs. The package provides a robust toolkit for defi…
cs.AI2025
Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles
Liam Davis, Tairan Ji
Modern SMT solvers have revolutionized the approach to constraint satisfaction problems by integrating advanced theory reasoning and encoding techniques. In this work, we evaluate…