DebateLab at KIT

Enterprise

university

https://debatelab.github.io/

debatelab

Activity Feed

AI & ML interests

computational philosophy, formal argumentation theory, normative models of reasoning

Recent Activity

ggbetz published a dataset 20 days ago

DebateLabKIT/argdown_line-by-line

ggbetz published a dataset 20 days ago

DebateLabKIT/argument_mapping_dpo_pairs

ggbetz published a model 26 days ago

DebateLabKIT/Llama-3.3-Argunaut-1-70B-SPIN-GGUF

View all activity

DebateLabKIT's activity

ggbetz

published 2 datasets 20 days ago

DebateLabKIT/argdown_line-by-line

Viewer • Updated Jan 24 • 42.1k • 227

DebateLabKIT/argument_mapping_dpo_pairs

Viewer • Updated Jan 14 • 11.8k • 119

ggbetz

published 4 models 26 days ago

ggbetz

updated 5 models 26 days ago

DebateLabKIT/Llama-3.3-Argunaut-1-70B-SPIN

Text Generation • Updated 26 days ago • 91

DebateLabKIT/Llama-3.3-Argunaut-1-70B-SPIN-GGUF

Text Generation • Updated 26 days ago • 58

DebateLabKIT/Llama-3.1-Argunaut-1-8B-SPIN-GGUF

Text Generation • Updated 26 days ago • 56

DebateLabKIT/Llama-3.1-Argunaut-1-8B-SPIN

Text Generation • Updated 26 days ago • 153 • 1

DebateLabKIT/Llama-3.1-Argunaut-1-8B-SFT

Text Generation • Updated 26 days ago • 78 • 6

ggbetz

posted an update about 1 month ago

Post

1867

We've just released syncIALO -- a multi-purpose synthetic debate and argument mapping corpus with more than 600k arguments:

📝 Blog article: https://huggingface.co/blog/ggbetz/introducing-syncialo
🛢️ Dataset: DebateLabKIT/syncialo-raw
👩‍💻 Code: https://github.com/debatelab/syncIALO

🤗 Hugging Face has sponsored the syncIALO project through inference time / compute credits. 🙏 We gratefully acknowledge the generous support. 🫶

ggbetz

posted an update 6 months ago

Post

1499

Hi, just a brief follow-up on our Guided Reasoning (GuiR) system:

I've created a template space that facilitates testing:

1. Duplicate space logikon/guir-chat
2. Setup your own inference servers and provide details in config file
3. Add api keys as secrets
4. Your personal GuiR playground is ready

Cheers, Gregor

ggbetz

posted an update 6 months ago

Post

1203

🧭 Guided Reasoning

👋Hi everyone,

We've been releasing Guided Reasoning:

Our AI guides walk your favorite LLM through complex reasoning problems.

🎯 Goals:

1️⃣ Reliability. AIs consistently follow reasoning methods.
2️⃣ Self-explainability. AIs see reasoning protocols and can explain internal deliberation.
3️⃣ Contestability. Users may amend AI reasoning and revise plausibility assessments.

Try out Guided Reasoning with our light demo chatbot, powered by 🤗 HuggingFace's free Inference Api and small LLMs. (Sorry for poor latency and limited availability -- we are currently searching for 💸 compute sponsors to run more powerful models, faster, and optimize guided reasoning performance.)

Built on top of Logikon's open-source AI reasoning analytics.

Demo chat app: logikon/benjamin-chat
Github: https://github.com/logikon-ai/logikon
Technical report: https://arxiv.org/abs/2408.16331

➡️ Check it out and get involved! Looking forward to hearing from you.

ggbetz

posted an update 12 months ago

Post

1446

🥇Open CoT Leaderboard

We're delighted to announce the [Open CoT Leaderboard]( logikon/open_cot_leaderboard) on 🤗 Spaces.

Unlike other LLM performance leaderboards, the Open CoT Leaderboard is not tracking absolute benchmark accuracies, but relative **accuracy gains** due to **chain-of-thought**.

Eval datasets that underpin the leaderboard are hosted [here](https://huggingface.co/cot-leaderboard).

Feedback and suggestions more than welcome.

@clefourrier