Article
Argunauts: Open LLMs that Master Argument Analysis with Argdown
By
•
•
7Nada Amin
mitnamin
AI & ML interests
Formal Verification
Recent Activity
liked
a model
15 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
3 months ago
TinyAgents: A Minimal Experiment with Code Agents and MCP Tools
Organizations
upvoted
an
article
about 2 months ago
upvoted
an
article
3 months ago
Article
TinyAgents: A Minimal Experiment with Code Agents and MCP Tools
By
•
•
30