Student Researcher Program (Formal Reasoning, LLM Post-Training)

Reasonable is the applied AI research company building formal verification for post-human software development. Thanks to super-human AI capabilities, code generated by AI can be provably correct, resilient to failures and cyberattacks. At Reasonable, we are doing the research, training the models,