🚀 Research Opportunity: Reinforcement Learning for Verified Code Generation
I’m Livia (Chuyue) Sun, a Stanford CS PhD student working on AI-for-formal-verification and verifiable code-generation systems (https://web.stanford.edu/~chuyues/). I’m recruiting undergraduate or graduate students to join a project applying Reinforcement Learning to build self-improving agents for generating and verifying Rust/Verus code.
Project highlights:
• Develop RL policies that guide an automated multi-stage code + proof pipeline
• Use verifier and compiler feedback as structured reward signals
• Work with real Rust/Verus verification tasks and LLM-based reasoning agents
Compensation:
Part-time, paid research position.
Ideal for students interested in:
Reinforcement learning, AI agents, program synthesis, formal verification, or ML for systems.
If you’re excited about RL-driven reasoning agents, I’d love to hear from you!
contact: chuyues@stanford.edu
