AI & ML interests

multi-agent networks, evolutionary optimization, security

Recent Activity

codelion  authored a paper about 4 hours ago
The Dynamics of Software Composition Analysis
codelion  authored a paper about 4 hours ago
End to End Verification and Validation with SPIN
codelion  authored a paper about 4 hours ago
Automated Verification of Integer Overflow
View all activity

Articles

Organization Card

Dria is an inference lab dedicated to accessibility, coding, and agentic behavior science.

  • See the network.
  • Use our SDK for Batch Inference API.
  • Run a node.
  • Join waitlist for Kai-evolutionary coding agents.