·
AI & ML interests
Formal Verification
Organizations
-
-
-
-
-
-
-
-
-
-
-
view article
DeepSeek-R1 Dissection: Understanding PPO & GRPO Without Any Prior Reinforcement Learning Knowledge
view article
Argunauts: Open LLMs that Master Argument Analysis with Argdown
view article
TinyAgents: A Minimal Experiment with Code Agents and MCP Tools