Profiling TorchNeuron (Part 1): System-level profiling on AWS Trainium.
• 13
AI & ML interests
Scalable Artificial Intelligence
Recent Activity
Papers
Scaling Lean Theorem Proving for Real-World Code Verification
Lean4AgenticRL: Advancing Agentic RL with Verifiable Multi-level Process Rewards
