The increased use and reliance on artificial intelligence (AI) systems have come with its share of benefits and risks. More specifically, AI systems are considered vulnerable to cyber-attacks, often resulting in harmful repercussions. This is mainly because their construction is complex, their internal processes are not transparent, and they are regularly targeted by adversarial attacks…
Theorem proving is an indispensable component in the realms of formal mathematics and computer science. Despite its significance, constructing proofs is a demanding task that is not just time-consuming but also liable to errors due to its complex nature. Mathematicians and researchers, therefore, end up investing substantial amounts of time and energy in this process.…
Theorem proving is an essential process in formal mathematics and computer science, involving the verification of mathematical theorems by deriving logical inferences. However, it is also a notoriously complicated and laborious process, often fraught with errors. There have been several attempts to develop tools to streamline the theorem proving process, but most tools currently available…
The alarming phenomenon of AI model collapse, which occurs when AI models are trained on datasets that contain their outputs, has been a major concern for researchers. As such large-scale models are trained on ever-expanding web-scale datasets, concerns have been raised about the degradation of model performance over time, potentially making newer models ineffective and…
Precision psychiatry combines psychiatry, precision medicine, and pharmacogenomics to devise personalized treatments for psychiatric disorders. The rise of Artificial Intelligence (AI) and machine learning technologies has made it possible to identify a multitude of biomarkers and genetic locations associated with these conditions.
AI and machine learning have strong potential in predicting the responses of patients to…
The recent release of scores by the LMSys Chatbot Arena has ignited discussions among AI researchers. According to the results, GPT-4o Mini outstrips Claude 3.5 Sonnet, frequently hailed as the smartest Large Language Model (LLM) currently available.
To understand the exceptional performance of GPT-4o Mini, a random selection of one thousand real user prompts were evaluated.…
Researchers from IBM Research Europe, the Institute of Computational Life Sciences at Zürich University of Applied Sciences, and Yale School of Medicine have evaluated the progress of computational models which predict TCR (T cell receptor) binding specificity, identifying potential for improvement in immunotherapy development.
TCR binding specificity is key to the adaptive immune system. T cells…
Sparse Autoencoders (SAEs) are a type of neural network that efficiently learns data representations by enforcing sparsity, capturing only the most essential data characteristics. This process reduces dimensionality and improves generalization to unseen information.
Language model (LM) activations can be approximated using SAEs. They do this by sparsely decomposing the activations into linear components using…
In our fast-paced digital era, personalized experiences are integral to all customer-based interactions, from customer support and healthcare diagnostics to content recommendations. Consumers necessitate technology to be tailored towards their specific needs and preferences. However, creating a personalized experience that can adapt and remember past interactions tends to be an uphill task for traditional AI…