fosstodon.org is one of the many independent Mastodon servers you can use to participate in the fediverse.
Fosstodon is an invite only Mastodon instance that is open to those who are interested in technology; particularly free & open source software. If you wish to join, contact us for an invite.

Administered by:

Server stats:

8.6K
active users

#reasoning

8 posts7 participants0 posts today
Knowledge Zone<p>The Famous <a href="https://mstdn.social/tags/Rain" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rain</span></a> <a href="https://mstdn.social/tags/Problem" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Problem</span></a> and the Importance of <a href="https://mstdn.social/tags/Mathematical" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mathematical</span></a> <a href="https://mstdn.social/tags/Reasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Reasoning</span></a> Ability : Medium</p><p><a href="https://mstdn.social/tags/BlueWhales" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BlueWhales</span></a> are going eerily <a href="https://mstdn.social/tags/Silent" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Silent</span></a>—and <a href="https://mstdn.social/tags/Scientists" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Scientists</span></a> say it’s a <a href="https://mstdn.social/tags/Warning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Warning</span></a> sign : Nat Geo</p><p><a href="https://mstdn.social/tags/ChatGPT" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ChatGPT</span></a>’s new <a href="https://mstdn.social/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> study mode won’t just give you the <a href="https://mstdn.social/tags/Answer" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Answer</span></a> : Misc</p><p>Check our latest <a href="https://mstdn.social/tags/KnowledgeLinks" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>KnowledgeLinks</span></a></p><p><a href="https://knowledgezone.co.in/resources/bookmarks" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">knowledgezone.co.in/resources/</span><span class="invisible">bookmarks</span></a></p>
eicker.news ᳇ tech news<p><a href="https://eicker.news/tags/OpenAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OpenAI</span></a> releases <a href="https://eicker.news/tags/GPTOSS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GPTOSS</span></a>, a <a href="https://eicker.news/tags/free" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>free</span></a> <a href="https://eicker.news/tags/openweight" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>openweight</span></a> model available in 120-billion and 20-billion parameter versions. The model, designed to run on <a href="https://eicker.news/tags/laptops" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>laptops</span></a>, can perform <a href="https://eicker.news/tags/reasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>reasoning</span></a> tasks, <a href="https://eicker.news/tags/browse" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>browse</span></a> the web, <a href="https://eicker.news/tags/writecode" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>writecode</span></a>, and <a href="https://eicker.news/tags/operateagents" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>operateagents</span></a>. <a href="https://www.theverge.com/openai/718785/openai-gpt-oss-open-model-release?eicker.news" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theverge.com/openai/718785/ope</span><span class="invisible">nai-gpt-oss-open-model-release?eicker.news</span></a> <a href="https://eicker.news/tags/tech" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>tech</span></a> <a href="https://eicker.news/tags/media" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>media</span></a> <a href="https://eicker.news/tags/news" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>news</span></a></p>
eicker.news ᳇ tech news<p><a href="https://eicker.news/tags/Anthropic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Anthropic</span></a> released <a href="https://eicker.news/tags/ClaudeOpus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ClaudeOpus</span></a> 4.1, an upgrade to its flagship model, improving <a href="https://eicker.news/tags/coding" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>coding</span></a>, <a href="https://eicker.news/tags/reasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>reasoning</span></a>, and <a href="https://eicker.news/tags/autonomoustasks" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>autonomoustasks</span></a>. The new model, available to Claude Pro users and developers, outperforms Opus 4 in most <a href="https://eicker.news/tags/codingtasks" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>codingtasks</span></a> and is suitable for <a href="https://eicker.news/tags/AIagents" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AIagents</span></a>, advanced coding, data analysis, and content generation. <a href="https://www.searchenginejournal.com/claude-opus-4-1-improves-coding-agent-capabilities/553062/?eicker.news" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">searchenginejournal.com/claude</span><span class="invisible">-opus-4-1-improves-coding-agent-capabilities/553062/?eicker.news</span></a> <a href="https://eicker.news/tags/tech" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>tech</span></a> <a href="https://eicker.news/tags/media" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>media</span></a> <a href="https://eicker.news/tags/news" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>news</span></a></p>
Lupposofi<p>Vincenzo Crupi has revised his SEP-entry on Confirmation, <a href="https://plato.stanford.edu/entries/confirmation/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">plato.stanford.edu/entries/con</span><span class="invisible">firmation/</span></a></p><p><a href="https://mementomori.social/tags/confirmation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>confirmation</span></a> <a href="https://mementomori.social/tags/reasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>reasoning</span></a> <a href="https://mementomori.social/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://mementomori.social/tags/epistemology" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>epistemology</span></a> <a href="https://mementomori.social/tags/philosophy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>philosophy</span></a> <a href="https://mementomori.social/tags/sep" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sep</span></a> <a href="https://mementomori.social/tags/revised" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>revised</span></a> <a href="https://mementomori.social/tags/hypotheses" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>hypotheses</span></a> <a href="https://mementomori.social/tags/science" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>science</span></a> <a href="https://mementomori.social/tags/concepts" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>concepts</span></a> <a href="https://mementomori.social/tags/filosofia" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>filosofia</span></a> <a href="https://mementomori.social/tags/tiede" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>tiede</span></a> <a href="https://mementomori.social/tags/evidence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>evidence</span></a> <a href="https://mementomori.social/tags/induction" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>induction</span></a> <a href="https://mementomori.social/tags/probability" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>probability</span></a> <a href="https://mementomori.social/tags/bayesianism" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>bayesianism</span></a> <a href="https://mementomori.social/tags/statistics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>statistics</span></a></p>
Steve Dustcircle 🌹<p>Why <a href="https://masto.ai/tags/PowerSkills" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PowerSkills</span></a> – Formerly Known as ‘<a href="https://masto.ai/tags/SoftSkills" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SoftSkills</span></a>’ – Are the Key to <a href="https://masto.ai/tags/Business" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Business</span></a> Success </p><p>Effective <a href="https://masto.ai/tags/leadership" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>leadership</span></a> also requires <a href="https://masto.ai/tags/emotionalintelligence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>emotionalintelligence</span></a>, <a href="https://masto.ai/tags/ethical" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ethical</span></a> <a href="https://masto.ai/tags/reasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>reasoning</span></a> and human-centered <a href="https://masto.ai/tags/thinking" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>thinking</span></a>.</p><p><a href="https://goodmenproject.com/featured-content/why-power-skills-formerly-known-as-soft-skills-are-the-key-to-business-success/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">goodmenproject.com/featured-co</span><span class="invisible">ntent/why-power-skills-formerly-known-as-soft-skills-are-the-key-to-business-success/</span></a></p>
Nicole Hennig<p>Quantifying the algorithmic improvement from reasoning models <a href="https://epochai.substack.com/p/quantifying-the-algorithmic-improvement" rel="nofollow noopener" target="_blank">https://epochai.substack.com/p/quantifying-the-algorithmic-improvement</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23AI" target="_blank">#AI</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23reasoning" target="_blank">#reasoning</a> </p>
Nicole Hennig<p>Quantifying the algorithmic improvement from reasoning models <a href="https://epochai.substack.com/p/quantifying-the-algorithmic-improvement" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">epochai.substack.com/p/quantif</span><span class="invisible">ying-the-algorithmic-improvement</span></a> <a href="https://techhub.social/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://techhub.social/tags/reasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>reasoning</span></a></p>
Coach Pāṇini ®<p><a href="https://mastodon.world/tags/conspiracy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>conspiracy</span></a> <a href="https://mastodon.world/tags/stupidity" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>stupidity</span></a> <a href="https://mastodon.world/tags/reasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>reasoning</span></a> <a href="https://mastodon.world/tags/Goethe" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Goethe</span></a></p>
Habr<p>Новый метод поиска от Sakana: расширение inference-time scaling и коллективный разум</p><p>Аналитический центр red_mad_robot продолжает разбирать исследования японской лаборатории Sakana AI — в прошлый раз это была архитектура CTM, вдохновлённая внутренней динамикой человеческого мышления. Теперь — метод, который помогает языковым моделям мыслить точнее уже на этапе выполнения запроса. В работе представлены два подхода: AB‑MCTS и его расширение Multi‑LLM AB‑MCTS. Первый объединяет два принципа — уточнение уже готовых ответов и генерацию альтернативных, второй добавляет работу нескольких языковых моделей. Всё это чтобы научить модели «думать» одновременно глубже и шире.</p><p><a href="https://habr.com/ru/companies/redmadrobot/articles/933222/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">habr.com/ru/companies/redmadro</span><span class="invisible">bot/articles/933222/</span></a></p><p><a href="https://zhub.link/tags/ai" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ai</span></a> <a href="https://zhub.link/tags/llm" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>llm</span></a> <a href="https://zhub.link/tags/monte_carlo_tree_search" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>monte_carlo_tree_search</span></a> <a href="https://zhub.link/tags/abmcts" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>abmcts</span></a> <a href="https://zhub.link/tags/inference" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>inference</span></a> <a href="https://zhub.link/tags/reasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>reasoning</span></a> <a href="https://zhub.link/tags/thompson_sampling" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>thompson_sampling</span></a> <a href="https://zhub.link/tags/reinforcement_learning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>reinforcement_learning</span></a></p>
Nicole Hennig<p>Deep Cogito goes big, releasing 4 new open source hybrid reasoning models with self-improving ‘intuition’ <a href="https://venturebeat.com/ai/deep-cogito-goes-big-releasing-4-new-open-source-hybrid-reasoning-models-with-self-improving-intuition/" rel="nofollow noopener" target="_blank">https://venturebeat.com/ai/deep-cogito-goes-big-releasing-4-new-open-source-hybrid-reasoning-models-with-self-improving-intuition/</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23AI" target="_blank">#AI</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23reasoning" target="_blank">#reasoning</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23OpenSource" target="_blank">#OpenSource</a></p>
Nicole Hennig<p>Deep Cogito goes big, releasing 4 new open source hybrid reasoning models with self-improving ‘intuition’ <a href="https://venturebeat.com/ai/deep-cogito-goes-big-releasing-4-new-open-source-hybrid-reasoning-models-with-self-improving-intuition/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">venturebeat.com/ai/deep-cogito</span><span class="invisible">-goes-big-releasing-4-new-open-source-hybrid-reasoning-models-with-self-improving-intuition/</span></a> <a href="https://techhub.social/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://techhub.social/tags/reasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>reasoning</span></a> <a href="https://techhub.social/tags/OpenSource" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OpenSource</span></a></p>
Lupposofi<p>All-new in SEP, Algorithmic Fairness by Deborah Hellman</p><p><a href="https://plato.stanford.edu/entries/algorithmic-fairness/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">plato.stanford.edu/entries/alg</span><span class="invisible">orithmic-fairness/</span></a></p><p><a href="https://mementomori.social/tags/algorithm" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>algorithm</span></a> <a href="https://mementomori.social/tags/fairness" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fairness</span></a> <a href="https://mementomori.social/tags/llm" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>llm</span></a> <a href="https://mementomori.social/tags/ai" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ai</span></a> <a href="https://mementomori.social/tags/machinelearning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>machinelearning</span></a> <a href="https://mementomori.social/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://mementomori.social/tags/information" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>information</span></a> <a href="https://mementomori.social/tags/reasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>reasoning</span></a> <a href="https://mementomori.social/tags/epistemology" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>epistemology</span></a> <a href="https://mementomori.social/tags/filosofia" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>filosofia</span></a> <a href="https://mementomori.social/tags/philosophy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>philosophy</span></a> <a href="https://mementomori.social/tags/sep" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sep</span></a> <a href="https://mementomori.social/tags/concepts" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>concepts</span></a> <a href="https://mementomori.social/tags/moralPhilosophy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>moralPhilosophy</span></a> <a href="https://mementomori.social/tags/ethics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ethics</span></a> <a href="https://mementomori.social/tags/new" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>new</span></a></p>
Benjamin Han<p>Another example of low-probability query causing trouble. Math problems often fall into this category. </p><p><a href="https://sigmoid.social/tags/genAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>genAI</span></a> <a href="https://sigmoid.social/tags/reasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>reasoning</span></a> <a href="https://sigmoid.social/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://sigmoid.social/@conitzer/114932841683501218" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">sigmoid.social/@conitzer/11493</span><span class="invisible">2841683501218</span></a></p>
Victoria Stuart 🇨🇦 🏳️‍⚧️<p>[2506.21734] Hierarchical Reasoning Model<br><a href="https://arxiv.org/abs/2506.21734" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2506.21734</span><span class="invisible"></span></a><br><a href="https://news.ycombinator.com/item?id=44699452" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">news.ycombinator.com/item?id=4</span><span class="invisible">4699452</span></a></p><p><a href="https://mastodon.social/tags/arXiv" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>arXiv</span></a> <a href="https://mastodon.social/tags/LLM" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLM</span></a> <a href="https://mastodon.social/tags/LLM" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLM</span></a> <a href="https://mastodon.social/tags/MLmodels" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MLmodels</span></a> <a href="https://mastodon.social/tags/reasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>reasoning</span></a></p>
Nicole Hennig<p>New AI architecture delivers 100x faster reasoning than LLMs with just 1,000 training examples <a href="https://venturebeat.com/ai/new-ai-architecture-delivers-100x-faster-reasoning-than-llms-with-just-1000-training-examples/" rel="nofollow noopener" target="_blank">https://venturebeat.com/ai/new-ai-architecture-delivers-100x-faster-reasoning-than-llms-with-just-1000-training-examples/</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23AI" target="_blank">#AI</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23reasoning" target="_blank">#reasoning</a> </p>
Nicole Hennig<p>New AI architecture delivers 100x faster reasoning than LLMs with just 1,000 training examples <a href="https://venturebeat.com/ai/new-ai-architecture-delivers-100x-faster-reasoning-than-llms-with-just-1000-training-examples/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">venturebeat.com/ai/new-ai-arch</span><span class="invisible">itecture-delivers-100x-faster-reasoning-than-llms-with-just-1000-training-examples/</span></a> <a href="https://techhub.social/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://techhub.social/tags/reasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>reasoning</span></a></p>
Yavo<p>Turns out: sometimes the answer is in the opposite direction.</p><p><a href="https://fosstodon.org/tags/philosophy" class="mention hashtag" rel="tag">#<span>philosophy</span></a> <a href="https://fosstodon.org/tags/thoughts" class="mention hashtag" rel="tag">#<span>thoughts</span></a> <a href="https://fosstodon.org/tags/logic" class="mention hashtag" rel="tag">#<span>logic</span></a> <a href="https://fosstodon.org/tags/reasoning" class="mention hashtag" rel="tag">#<span>reasoning</span></a></p>
Nicole Hennig<p>Chain-of-Thought Is Not Explainability <a href="https://papers-pdfs.assets.alphaxiv.org/2025.02v1.pdf" rel="nofollow noopener" target="_blank">https://papers-pdfs.assets.alphaxiv.org/2025.02v1.pdf</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23AI" target="_blank">#AI</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23reasoning" target="_blank">#reasoning</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23explainability" target="_blank">#explainability</a></p>
Nicole Hennig<p>Chain-of-Thought Is Not Explainability <a href="https://papers-pdfs.assets.alphaxiv.org/2025.02v1.pdf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">papers-pdfs.assets.alphaxiv.or</span><span class="invisible">g/2025.02v1.pdf</span></a> <a href="https://techhub.social/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://techhub.social/tags/reasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>reasoning</span></a> <a href="https://techhub.social/tags/explainability" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>explainability</span></a></p>
José A. Alonso<p>Readings shared July 19, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/20-readings_shared_07-19-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/07/20-readings_shared_07-19-25</span></a> <a href="https://mathstodon.xyz/tags/CoqProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CoqProver</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Mathlib" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mathlib</span></a> <a href="https://mathstodon.xyz/tags/Reasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Reasoning</span></a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rocq</span></a></p>