←BackMmicrosoft/fortune0Copy as MarkdownView on GitHub↗0 stars·0 forks·0 viewsFortuneFeaturesCode and Formal Reasoning - Formula-driven reinforcement learning for symbolic table reasoning.