Use theorem provers to ensure the correctness of your LLM's reasoning

https://github.com/DebarghaG/proofofthought

#HackerNews #theoremprovers #LLM #correctness #reasoning #AIresearch #proofsofthought

Jan-Willem Romeijn on päivittänyt SEP-entryään tilastotieteen filosofiasta,

https://plato.stanford.edu/entries/statistics/

#tilastotiede #tiede #tieteenfilosofia #filosofia #statistics #philosophyofScience #epistemology #probability #induction #confirmation #evidence #learning #reasoning #paattely #bayesianism #models

Proud of Vahid's use of #computational #CogSci to identify and compare #reasoning errors in #Reddit users and communities.

He's presenting it at an #AI + #decisionSci workshop at #CMU : https://www.cmu.edu/ai-sdm/research/human-ai-workshop/2025-programming/index.html

Follow him for alerts about this and more: https://www.researchgate.net/profile/Vahid-Ashrafi

Don't be 'just' right. Be logical.

#reasoning #logic

🎲 Pokerbattle.ai: Giải đấu poker kéo dài một tuần với các LLM hàng đầu tranh tài!
📅 Từ 27/10 đến 3/11, các mô hình AI sẽ tham gia Texas Hold'em no-limit, chỉ sử dụng lý luận thuần túy, không công cụ hỗ trợ.
🎯 Mục tiêu: So sánh khả năng ra quyết định, thích nghi và tạo dữ liệu reasoning để ứng dụng vào giảng dạy poker.
👀 Theo dõi trực tiếp reasoning công khai, hoàn toàn miễn phí!

#AITournament #PokerAI #LLM #Reasoning #TexasHoldem
#GiảiĐấuAI #PokerTríTuệNhânTạo #LLM #LýLuận #Poker

Agents turn simple keyword search into compelling search experiences

https://softwaredoug.com/blog/2025/09/22/reasoning-agents-need-bad-search

#HackerNews #Agents #keyword #search #compelling #search #experiences #reasoning #agents

Облачные технологии в контексте агентских AI-систем

В настоящее время процветает разработка агентов — приложений на базе Generative AI, реализующих автономные рабочие процессы . Извлечение и анализ данных, управление детерминированными программами и так далее. Массу вещей можно автоматизировать с помощью LLM и вызова функций , отсюда и спрос на такие системы. Как и традиционное ПО, агенты обычно реализуют принцип разделения логики на специализированные узлы обработки конкретных задач , например, один парсит данные по определенной инструкции, другой их анализирует, третий формирует конечный результат. Необходимость применения такого подхода диктуется не только архитектурным принципом единой ответственности , который делает систему более предсказуемой, но и ограничениями самого ИИ . При попытке выполнить несколько задач вызовом одного промпта ограничивающим фактором является механизм внимания , который лучше справляется, если его не слишком перегружать вводными данными. А при использовании разных промптов для разных задач главное ограничение — в том, на сколько доменов модель успешно генерализуется без дообучения под каждый из них .

https://habr.com/ru/articles/949650/

#ai_агенты #generative_ai #llm #reasoning #reasoning_models #эмбеддинги

MARIC: Multi-Agent Reasoning for Image Classification

Um framework multi-agente para classificação de imagens que promove um raciocínio colaborativo. Utiliza um Agente de Resumo para analisar o tema da imagem e gerar prompts. 3 outros agentes extraem descrições de diferentes dimensões visuais, enquanto um Agente de Raciocínio sintetiza essas informações numa representação unificada. Testes demonstram que supera métodos existentes em 4 conjuntos de dados de referência.

#Reasoning #AI