Lewis Tunstall PRO
AI & ML interests
LLMs, LLMs, LLMs
Recent Activity
updated
a model
about 4 hours ago
lm-provers/QED-Nano
upvoted
a
paper
about 6 hours ago
Towards Robust Mathematical Reasoning
submitted
a paper
about 20 hours ago
Single-minus gluon tree amplitudes are nonzero