·
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