conftrace_

symbolic transformer

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

synthetic training (1) sequence-to-sequence transformer (1) polynomial system (1) global stability (1) dynamical system (1) lyapunov function (1) mathematical reasoning (1)

Papers

Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers NeurIPS 2024