BertilBraun/lean4-prover-qwen3.5-4b-grpo-lora
Reinforcement Learning • Updated
Bertil Braun
BertilBraun
AI & ML interests
LLM Inference and Finetuning
Recent Activity
updated a dataset 7 days ago
BertilBraun/lean4-search-grpo-qwen3.5-4b updated a model 7 days ago
BertilBraun/lean4-prover-qwen3.5-4b-grpo-lora published a model 7 days ago
BertilBraun/lean4-prover-qwen3.5-4b-grpo-loraOrganizations
None yet
models 6
BertilBraun/alphazero-chess
Updated
BertilBraun/qwen3-1.7b-voice-light-tool-use-lora
Text Generation • Updated • 19
BertilBraun/qwen3-1.7b-voice-light-tool-use-merged
Text Generation • 2B • Updated • 39
BertilBraun/competency-extraction-finetune-v2
Text Generation • 47B • Updated • 19
BertilBraun/competency-extraction-finetune
Text Generation • Updated
datasets 9
BertilBraun/lean4-search-grpo-qwen3.5-4b
Updated • 272
BertilBraun/qwen-paired-emotional-speech
Viewer • Updated • 10k • 242
BertilBraun/neu-paired-emotional-speech
Viewer • Updated • 10k • 153
BertilBraun/alphazero-chess-runs
Updated • 196
BertilBraun/voice-light-synthetic-audio
Viewer • Updated • 11.8k • 920
BertilBraun/voice-light-tool-use-synthetic
Viewer • Updated • 3.99k • 141
BertilBraun/TinyPython
Viewer • Updated • 8.78M • 167 • 2
BertilBraun/competency-extraction-dpo-v2
Viewer • Updated • 4.43k • 89
BertilBraun/competency-extraction-dpo
Viewer • Updated • 6.18k • 15