Sam Neaves

1.2K posts

Sam Neaves

Sam Neaves

@samwalrus

Bristol Katılım Şubat 2011
847 Takip Edilen154 Takipçiler
Sam Neaves retweetledi
Ming "Tommy" Tang
Ming "Tommy" Tang@tangming2005·
1/ You launched a long-running program... And forgot to use screen or tmux. Now you're terrified to close your terminal. I’ve been there. Here’s how to rescue it like a pro.
Ming "Tommy" Tang tweet media
English
5
15
116
12.3K
Sam Neaves retweetledi
The Lancet
The Lancet@TheLancet·
Parkinson's disease is the second most common neurodegenerative disease. A recent study investigated whether the GLP-1 receptor agonist, exenatide, could slow the rate of progression of Parkinson's disease: hubs.li/Q037XdV-0
The Lancet tweet media
English
4
38
97
11.3K
Sam Neaves retweetledi
BMC
BMC@BioMedCentral·
A Review published in Translational Neurodegeneration explores the connection between Parkinson’s disease and abnormal glucose metabolism, focusing on the underlying pathophysiological mechanisms. …alneurodegeneration.biomedcentral.com/articles/10.11…
English
0
2
2
694
Sam Neaves retweetledi
Ksenia_TuringPost
Ksenia_TuringPost@TheTuringPost·
In one of our first "A path towards AGI" posts we discussed Neuro-symbolic systems. Here's a new example of their implementation👇 Neuro-Symbolic Predicates (NSPs) are smart rules that help robots think by combining visual perception (neural) with logical rules (symbolic). With NSPs robots can easier plan and tackle complex tasks. NSPs use programming basics (conditions, loops) and can connect with VLMs that understand images and text. Here are the details about: - 2 types of NSPs - selecting NSPs - task planning with learning High-Level Actions (HLAs) 🧵
Ksenia_TuringPost tweet media
Ksenia_TuringPost@TheTuringPost

A path towards AGI: Neuro-symbolic systems Sometimes when you can't find the solution it's useful to look back and reflect on past approaches. Since 2015, various neuro-symbolic systems have emerged, including: - IBM's researches - MIT's Neuro-Symbolic Concept Learner (NS-CL) - Logic Tensor Networks (LTN) - Graph Neural Networks - Neural-symbolic visual question answering (NS-VQA) - Neuro-symbolic programming (NSP) and more. DeepMind was also working a lot with similar approaches and developed deep reinforcement learning in 2016, combining reinforcement learning with neural networks. And now, in 2024, we got significant achievement of AlphaProf and AlphaGeometry in the International Math Olympiad. AlphaGeometry notably solved 25/30 geometry problems within competition time limits. And what is also notable - it's a neuro-symbolic system. So how does neuro-symbolic system work? Neuro-symbolic AI systems are hybrid AI architectures that combine neural networks (neuro) with symbolic reasoning methods (symbolic). Neural Networks: - Excel at identifying patterns and relationships in large amount of data - Are strong in perception tasks like image and speech recognition, NLP and others - Are effective for generating predictions and “intuitive” ideas But they are bad at reasoning and explaining their decisions Symbolic Reasoning: - Emphasizes logic, rules, and structured knowledge - For reasoning tasks, it uses human-readable symbols to represent objects, concepts, and relationships in the world - Provide clear and interpretable explanations for their decisions However, they are slow and inflexible and can’t deal well with large amount of data. Advantages of neuro-symbolic hybrid AI: ▪️ Robustness: Combines neural learning with logical reasoning. ▪️ Versatility: Handles a wide range of tasks. ▪️ Interpretability: Enhances trust in model decisions. ▪️ Generalization: Integrates data-driven learning with rule-based reasoning Can this hybrid approach lead to AGI? While it's uncertain, neuro-symbolic systems deserve more exploration as they mimic the human use of both logic and intuition in decision-making. Here's a scheme of neuro-symbolic AI methods from "Neurosymbolic AI - Why, What, and How" paper:

English
1
12
50
10.6K
Sam Neaves retweetledi
Ming "Tommy" Tang
Ming "Tommy" Tang@tangming2005·
Moving to a World Beyond “p < 0.05” #d1e143" target="_blank" rel="nofollow noopener">tandfonline.com/doi/full/10.10…
English
0
2
9
2.2K
Sam Neaves retweetledi
Stephen Turner 🦋 @stephenturner.us
At the @nextflowio summit @EvanFloden & @SashaDagayev demonstrating @SeqeraLabs AI (seqera.io/ask-ai) for writing Nextflow code that generates DSL2 Nextflow code that actually runs, with a button to run in a sandbox with nf-core test data! Live: youtube.com/watch?v=LkQj1f…
YouTube video
YouTube
Stephen Turner 🦋 @stephenturner.us tweet mediaStephen Turner 🦋 @stephenturner.us tweet media
Stephen Turner 🦋 @stephenturner.us@strnr

@SeqeraLabs GPT-4o and Copilot both _really_ want to write NF code with DSL1, regardless of how aggressively my prompts are.

English
2
17
44
7.9K
Sam Neaves retweetledi
Christoph Bock Lab @ CeMM & MedUni Vienna
🗨️ WANNA TALK TO YOUR CELLS? Try out CellWhisperer – our new multimodal AI that turns single-cell RNA-seq analysis into a conversation. No coding needed, just chat in plain English. Short walkthrough below. Web app & bioRxiv preprint linked in the thread. Let's dive in! (1/9)
English
13
238
891
117.3K
Sam Neaves retweetledi
Ming "Tommy" Tang
Ming "Tommy" Tang@tangming2005·
ClusterDE: a post-clustering differential expression (DE) method robust to false-positive inflation caused by double dipping biorxiv.org/content/10.110…
English
2
13
51
7.7K
Sam Neaves retweetledi
F. Perry Wilson, MD MSCE
F. Perry Wilson, MD MSCE@fperrywilson·
Data keeps emerging that suggests GLP-1RAs like #Ozempic curb all sorts of appetites... not just appetite for food. Brief thread on some new findings...
English
45
195
1.2K
675.1K
Sam Neaves retweetledi
Ryan Dhindsa
Ryan Dhindsa@RyanDhindsa·
Excited to share our latest paper, where we describe ITSN1 as a novel risk gene for Parkinson's disease! We found that rare loss-of-function variants are associated with a 10-fold increased odds of PD. As far as we know, this is the largest effect size reported for sporadic PD to date medrxiv.org/content/10.110…
Ryan Dhindsa tweet media
English
5
30
113
23.7K
Sam Neaves retweetledi
Parmita Mishra
Parmita Mishra@parmita·
GO annotations are associations between gene products and GO terms. These come with evidence codes indicating the basis for the association, such as experimental evidence, computational prediction, or expert curation of scientific literature.
Parmita Mishra tweet media
English
1
1
5
358
Sam Neaves retweetledi
Bill Yuchen Lin
Bill Yuchen Lin@billyuchenlin·
A week ago, I posted that I was cooking a logical reasoning benchmark as a side project. Now it's finally ready! Introducing 🦓 𝙕𝙚𝙗𝙧𝙖𝙇𝙤𝙜𝙞𝙘, designed for evaluating LLMs with Logic Puzzles. ⬇️ Quick summary: - Each example is a Zebra Puzzle (a type of Logic Grid Puzzles), which requires multiple high-order thinking skills (see an example next). - Claude Sonnet 3.5 (@AnthropicAI) is the best, while it can only solve 12% of the Hard puzzles. - 🐳 DeepSeek V2 - 0628 (@deepseek_ai) is the best Open-weight LLM, much better than Llama-3-72b. - GPT-4o-mini (@OpenAI) is particularly strong! - Gemini 1.5 Pro (@GoogleDeepMind) doesn't show expected results. - Smaller LMs under 10B struggle to solve these puzzles; most of them cannot even solve 1% of hard puzzles. More details are in the blog and the below thread: ⬇️ 📰 Blog: hf.co/blog/yuchenlin… 🤗 Leaderboard: hf.co/spaces/allenai… 🦓 Data: hf.co/datasets/allen… 💻 Code (eval): github.com/yuchenlin/Zero… [1/n]
Bill Yuchen Lin tweet media
English
12
62
320
104K