Szymon Tworkowski
syzymon
AI & ML interests
Language models, theorem proving and much more!
Organizations
None yet
syzymon's activity
Adding `safetensors` variant of this model
#4 opened 9 months ago
by
SFconvertbot
Add complete example of prompt format used
1
#1 opened 10 months ago
by
player1537