Szymon Tworkowski
syzymon
AI & ML interests
Language models, theorem proving and much more!
Recent Activity
upvoted
a
paper
17 days ago
Organizations
None yet
syzymon's activity
Adding `safetensors` variant of this model
#4 opened about 1 year ago
by
SFconvertbot
Add complete example of prompt format used
1
#1 opened over 1 year ago
by
player1537