ayushchakravarthy/dafny-annotator-8B
Updated
Ayush Chakravarthy
ayushchakravarthy
AI & ML interests
None yet
Recent Activity
published
a model
about 2 months ago
ayushchakravarthy/dafny-annotator-8B
updated
a dataset
3 months ago
ayushchakravarthy/maze_rw_handover
published
a dataset
3 months ago
ayushchakravarthy/maze_rw_handover
Organizations
ayushchakravarthy/phi4-mini-instruct-s1-sft
Text Generation
•
4B
•
Updated
ayushchakravarthy/qwen3-0.6b-base-s1-sft
Text Generation
•
0.6B
•
Updated
ayushchakravarthy/qwen3-1.7b-base-s1-sft
Text Generation
•
2B
•
Updated
ayushchakravarthy/gist-gptneo-untrained
Text Generation
•
1B
•
Updated
•
1
ayushchakravarthy/gist_gptneo_untrained
Text Generation
•
1B
•
Updated