mitnamin/codeparrot-ds
Text Generation
•
0.1B
•
Updated
•
5
Nada Amin
mitnamin
AI & ML interests
Formal Verification
Recent Activity
liked
a model
14 days ago
gpoesia/finetuned_Meta-Llama-3.1-8B_dafnybench-100-peft
upvoted
an
article
about 2 months ago
Argunauts: Open LLMs that Master Argument Analysis with Argdown
upvoted
an
article
2 months ago
TinyAgents: A Minimal Experiment with Code Agents and MCP Tools
Organizations
datasets
0
None public yet