-
Boolformer: Symbolic Regression of Logic Functions with Transformers
Paper • 2309.12207 • Published • 11 -
MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models
Paper • 2309.12284 • Published • 18 -
Generative AI for Math: Part I -- MathPile: A Billion-Token-Scale Pretraining Corpus for Math
Paper • 2312.17120 • Published • 27 -
Natural Language Reasoning, A Survey
Paper • 2303.14725 • Published • 1
Alun Cennyth Stokes
aluncstokes
AI & ML interests
Number theory, arithmetic on curves, dessins d'enfants
Recent Activity
liked
a model
19 days ago
nari-labs/Dia-1.6B
liked
a dataset
22 days ago
qingy2024/DeepMath-Reformatted
liked
a Space
about 2 months ago
Xenova/jinja-playground
Organizations
None yet
Collections
1
models
0
None public yet