Gregor Betz PRO
ggbetz
AI & ML interests
Reasoning, AGI, AI Safety, AI Reliability
Recent Activity
published
an
article
6 days ago
Argunauts Update: Learning Formal Argument Analysis with RLVF and HIRPO
published
a model
6 days ago
DebateLabKIT/Phi-4-Argunaut-1-HIRPO
updated
a model
6 days ago
DebateLabKIT/Phi-4-Argunaut-1-HIRPO