NeurIPS 2025 Explorer
Concepts
Authors
Glossary
johnsanterre.github.io
Kechi Zhang
4 papers
Peking University
Fourier Analysis Network
Improving Formal Reasoning of Transformer with State Stack
Reasoning is Periodicity? Improving Large Language Models Through Effective Periodicity Modeling
SATURN: SAT-based Reinforcement Learning to Unleash LLMs Reasoning