# [2022.04.30] Project Proposal

Now I understand that my RL prover is too far from the finish, so I
decided to frame it as a 'project proposal' to submit to another
conference this year. I'm getting the rhythm of these academic vibes.
Publish or perish, man.