Gregor Betz PRO

ggbetz's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a model 15 days ago

ggbetz/xVerify-32B-I-Q8_0-GGUF

Text Generation • 33B • Updated 15 days ago • 78

published a model 15 days ago

ggbetz/xVerify-32B-I-Q8_0-GGUF

Text Generation • 33B • Updated 15 days ago • 78

published an article about 2 months ago

view article

Article

Argunauts Update: Learning Formal Argument Analysis with RLVF and HIRPO

• 

Dec 2, 2025

•

1

published a model about 2 months ago

DebateLabKIT/Phi-4-Argunaut-1-HIRPO

Text Generation • 415k • Updated Dec 2, 2025

updated a model about 2 months ago

DebateLabKIT/Phi-4-Argunaut-1-HIRPO

Text Generation • 415k • Updated Dec 2, 2025

published a dataset about 2 months ago

DebateLabKIT/argunauts-hirpo-preferences

Viewer • Updated Dec 1, 2025 • 136k • 1

updated a dataset about 2 months ago

DebateLabKIT/argunauts-hirpo-preferences

Viewer • Updated Dec 1, 2025 • 136k • 1

updated a collection 2 months ago

Critical Thinking 🤝 LLMs Papers

Collection

9 items • Updated Nov 23, 2025 • 2

upvoted a paper 2 months ago

Guided Reasoning: A Non-Technical Introduction

Paper • 2408.16331 • Published Aug 29, 2024 • 1

updated a collection 2 months ago

Critical Thinking 🤝 LLMs Papers

Collection

9 items • Updated Nov 23, 2025 • 2

upvoted a paper 2 months ago

JudgeBoard: Benchmarking and Enhancing Small Language Models for Reasoning Evaluation

Paper • 2511.15958 • Published Nov 20, 2025 • 1

upvoted a collection 2 months ago

Critical Thinking 🤝 LLMs Papers

Collection

9 items • Updated Nov 23, 2025 • 2

updated a collection 3 months ago

Critical Thinking 🤝 LLMs Papers

Collection

9 items • Updated Nov 23, 2025 • 2

upvoted a paper 3 months ago

VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks

Paper • 2511.04662 • Published Nov 6, 2025 • 35

updated a model 3 months ago

DebateLabKIT/Phi-4-Argunaut-1-HIRPO

Text Generation • 415k • Updated Dec 2, 2025

upvoted an article 3 months ago

view article

Article

Building the Open Agent Ecosystem Together: Introducing OpenEnv

• 
• 
• +8

Oct 23, 2025

•

147

updated a model 3 months ago

DebateLabKIT/Phi-4-Argunaut-1-HIRPO

Text Generation • 415k • Updated Dec 2, 2025