Gregor Betz PRO

ggbetz

AI & ML interests

Reasoning, AGI, AI Safety, AI Reliability

Recent Activity

updated a model about 2 hours ago
DebateLabKIT/argunaut-llama-3-1-8b-dev0
updated a model about 4 hours ago
DebateLabKIT/argunaut-llama-3-1-8b-dev0
View all activity

Articles

Organizations

Logikon AI's profile picture DebateLab at KIT's profile picture Open CoT Leaderboard's profile picture

Posts 3

view post
Post
1454
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
view post
Post
1179
🧭 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.

datasets

None public yet