# Axiom Math explains its in-house training stack for mathematical formalization

> Original title: An in-house training stack for mathematical formalization.

- Source: LMSYS Org
- Published: 2026-11-07T02:08:56.000Z
- Bad Influence: https://badinfluence.news/items/s617ebw2o4c8vgn89e3n7beob
- Original: https://x.com/lmsysorg/status/2118888399793000738

## Summary

Axiom Math's Tobias Gessler describes how the team approaches building training infrastructure for mathematical formalization, a specialized domain. The post presents the in-house training stack without listing specific components, benchmarks, or figures.

## Post

An in-house training stack for mathematical formalization.

Tobias Gessler from @axiommathai shares how the team approaches building training infrastructure for this specialized domain.

![](https://badinfluence.news/api/img-proxy?u=https%3A%2F%2Fpbs.twimg.com%2Fmedia%2FHWfNCT4a4AAS9v5.jpg&mode=thumb&exp=1794268800&sig=f6fd021df4ddc413)