Low-Entropy Discrete Flow (LEDFlow), a training-free sampler that adaptively orders absorption by local entropy, is proposed, and it is shown that, under entropy-error regularity, selecting the lowest-entropy positions under a fixed absorption count minimizes an upper bound on the conditional term.
Tung Sum Thomas Kwok, Yi-Dong Ouyang, Yingjia Wan et al.· 0 citations
The findings provide the first empirical evidence that seemingly"objective"physical descriptions can retain systematic gender associations in human interpretation, and uncover systematic patterns of model-human misalignment.
Yingjia Wan, Lin L. Lin, Elisa Kreiss· 0 citations
FormalRx is introduced, a comprehensive diagnostic evaluation framework that transforms autoformalization assessment from black-box judgments into actionable feedback, and enables systematic diagnosis and improvement of autoformalization systems.
Haocheng Wang, Baiyu Huang, Yingjia Wan et al.· arXiv.org· 1 citation
It is argued that the next leap in AI4Math systems requires a decisive shift from predefined problem-solvers to research agents that can address frontier mathematical challenges with rigorous formal mathematical reasoning, highlighting core limitations of existing systems in serving as mathematical research agents.
E. Jiang, Xiao Liang, Yikai Zhang et al.· 1 citation
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
