8 papers · ranked by Valyu relevance
Carlos A. Gandarilla-Perez, S. San José Pinilla, Anne‐Florence Bitbol, Martin Weigt
'Martin Weigt'] Predicting protein-protein interactions from sequences is an important goal of computational biology. Various sources of information can be used to this end. Starting from the sequences of two interacting protein families, one can use phylogeny or residue coevolution to infer which paralogs are specific…
Umberto Lupo, Damiano Sgarbossa, Anne‐Florence Bitbol
Predicting which proteins interact together from amino-acid sequences is an important task. We develop a method to pair interacting protein sequences which leverages the power of protein language models trained on multiple sequence alignments, such as MSA Transformer and the EvoFormer module of AlphaFold. We formulate…
Andonis Gerardos, Nicola Dietler, Anne‐Florence Bitbol
Inferring protein-protein interactions from sequences is an important task in computational biology. Recent methods based on Direct Coupling Analysis (DCA) or Mutual Information (MI) allow to find interaction partners among paralogs of two protein families. Does successful inference mainly rely on correlations from…
Oren Sultan, Dafna Shahaf
Analogy-making gives rise to reasoning, abstraction, flexible categorization and counterfactual inference – abilities lacking in even the best AI systems today. Much research has suggested that analogies are key to non-brittle systems that can adapt to new domains. Despite their importance, analogies received little…
Jose A. Bird
CASCADE is an agentic framework that predicts downstream transcriptional effects of gene perturbation from precomputed ARACNe regulatory networks, exposed via MCP. Prior work validates such tools by checking whether predicted genes are known cancer genes (membership); we instead test whether the predicted direction of…
Sankha S. Basu, Sayantan Roy
Paraconsistency is commonly defined and/or characterized as the failure of a principle of explosion. The various standard forms of explosion involve one or more logical operators or connectives, among which the negation operator is the most frequent. In this article, we ask whether a negation operator is essential for…
Kamaledin Ghiasi-Shirazi
How do you translate the English sentence "If both switches A and B are on, then the light L is on" into propositional logic? According to the teachings of logic [4, 10, 8], you would define the propositions "p: switch A is on", "q: switch B is on", and "r: light L is on", and translate this sentence as (p∧q) → r. Now…
Hiroyuki Kido
This paper gives a generative model of the interpretation of formal logic for data-driven logical reasoning. The key idea is to represent the interpretation as likelihood of a formula being true given a model of formal logic. Using the likelihood, Bayes' theorem gives the posterior of the model being the case given the…