TY  - RPRT
TI  - Solver-Like Behavior in Large Language Models as Formalizers
AU  - Rikhil Amonkar
AU  - Stuti Mohan
AU  - Kevin Nguyen
AU  - Ceyhun Efe Kayan
AU  - Ronan Le Bras
AU  - Li Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2611.02395
ID  - 2611.02395
ER  -