lean-standard-prover-qwen3-8b-grpo/chat_template.jinja

{% for message in messages %}{% if message["role"] == "user" %}{{ message["content"] }}{% endif %}{% endfor %}