Dria

company

https://dria.co

AI & ML interests

multi-agent networks, evolutionary optimization, security

Recent Activity

codelion authored a paper about 2 months ago

An Empirical Study of Path Feasibility Queries

codelion authored a paper about 2 months ago

The Dynamics of Software Composition Analysis

codelion authored a paper about 2 months ago

End to End Verification and Validation with SPIN

View all activity

Articles

mem-agent: Equipping LLM Agents with Memory Using RL

mem-agent: Persistent, Human Readable Memory Agent Trained with Online RL

Towards Open Evolutionary Agents

LLM Routing for Batched Instructions

View all articles

driaforall 's models 14

driaforall/verifier-sdft-v7-9b

9B • Updated Apr 20 • 3

driaforall/verifier-sdft-v3-9b

9B • Updated Apr 16 • 5

driaforall/mem-agent

Text Generation • 4B • Updated Sep 17, 2025 • 45 • 98

driaforall/mem-agent-mlx-bf16

Text Generation • 4B • Updated Sep 9, 2025 • 20 • 1

driaforall/mem-agent-mlx-8bit

Text Generation • 4B • Updated Sep 9, 2025 • 12 • 2

driaforall/mem-agent-mlx-4bit

Text Generation • 4B • Updated Sep 9, 2025 • 109 • 5

driaforall/Tiny-Agent-a-3B

Text Generation • 3B • Updated Sep 8, 2025 • 631 • 24

driaforall/Tiny-Agent-a-0.5B

Text Generation • 0.5B • Updated Mar 13, 2025 • 1.06k • 11

driaforall/Tiny-Agent-a-1.5B

Text Generation • 2B • Updated Feb 17, 2025 • 143 • 8

driaforall/Tiny-Agent-a-0.5B-Q8-mlx

0.5B • Updated Feb 12, 2025 • 20 • 3

driaforall/Tiny-Agent-a-1.5B-Q8-mlx

2B • Updated Feb 11, 2025 • 16 • 3

driaforall/Tiny-Agent-a-3B-Q8-mlx

3B • Updated Feb 11, 2025 • 24 • 4

driaforall/Dria-Agent-a-7B

Text Generation • 8B • Updated Jan 27, 2025 • 24 • 48

driaforall/Dria-Agent-a-3B

Text Generation • 3B • Updated Jan 16, 2025 • 32 • 54